| January 2019 | Challenges for Engineering Smart Cyber-Physical Systems. GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS 2019), Schloss Dagstuhl, Germany, January 6, 2019. |
| December 2018 | Multi-Paradigm Modeling for Cyber-Physical Systems: Implications for Multidirectional Transformations and Synchronizations. Dagstuhl Seminar 18491 on Multidirectional Transformations and Synchronisations, 2.-7. December 2018
Slides |
| November 2018 | The Challenge of Model-Based Integration for Cyber-Physical Systems. Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) Conference. Pisa, Italy, 18.-23. November 2018.
Slides |
| March 2018 | How Models lead from Software Evolution to Self-Adaptive Software and Runtime Models. 4th IEEE Intern. Conference on Big Data Computing Service and Applications, 6th IEEE Intern. Conference on Mobile Cloud Computing, Services, and Engineering 12th IEEE Intern. Symposium on Service Oriented System Engineering, Bamberg, Germany, Mar 26, 2018. |
| May 2017 | A Multi-paradigm Approach Supporting the Modular Execution of Reconfigura-ble Hybrid Systems. International Workshop “Towards Holistic ComputationalEngineering”, Darmstadt, Germany, May 30, 2017. |
| October 2016 | Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems. International Conference on Formal Aspects of Component Software (FACS 2016). Besançon, France. October 19 - 21, 2016.
Slides |
| April 2016 | Self-Awareness: A Game Changing Topic for Cyber-Physical Systems? Game Changing and Controversial Topics in Cyber-Physical Systems (CPS 2016). Budapest, Hungary. April 15 - 16, 2016.
Slides |
| April 2016 | Toward Self-Adaptive Software Employing Model Predictive Control (together with Thomas Vogel), Controlled Adaptation of Self-Adaptive Systems (CASaS). Shonan Village, Japan. 25th April 2016
Slides |
| November 2015 | Invariant Checking for Graph Transformation: Applications & Open Challenges (jointly with Leen Lambers), Dagstuhl Seminar 15451 on Verification of Evolving Graph Structures, November 2 - 6, 2015
Slides |
| May 2015 | Model-Driven Engineering for Cyber-Physical Systems. Colloquium talk, Department Elektrotechnik und Informatik, Universität Siegen, 8th May 2015.
Slides |
| April 2015 | Towards Smart Systems of Systems, Fundamentals of Software Engineering (FSEN) 2015. Tehran, Iran. April 24, 2015
Slides |
| January 2015 | Software Engineering for Self-Adaptive Systems & Self-Aware Computing, Dagstuhl seminar 15041, January 18-23, 2015
Slides |
| November 2014 | Are we Ready to Unleash the Full Potential of Future Embedded Systems?, UTC IASE 2014, 10. November, Storrs, Connecticut, United States
Slides |
March
2013
| Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior, GT-VMT 2013, 24. March, Rome, Italy, |
December 2011 | Models at Runtime for Adaptive and Self-managing Software, Dagstuhl Seminar 11481, Workshop Models@runtime,
Dagstuhl, 27.12.2011–02.12.2011
Slides |
November 2011 | Service-oriented Systems & Self-Adaptive Systems – Invited Talk at S-Cube Research Roadmap Workshop on Service-oriented Systems.
Nov 22, 2011. Barcelona, Spain
Slides |
| November 2011 | Towards Verifying CPS with Structural Dynamism, Dagstuhl Seminar 11441 Science and Engineering of Cyber-Physical Systems,
Dagstuhl, 01.11.2011–04.11.2011
Slides |
| January 2011 | Model-Driven Software Engineering of Self-Adaptive Systems – Invited talk at NTH Braunschweig, Lower-Saxony, Germany
01.28.2011
Slides |
| November 2010 | Model-Driven Software Engineering of Self-Adaptive Systems – Invited talk at Royal Institute of Technology, Stockholm, Sweden.
11.25.2010
Slides |
| May 2010 | Model-Driven Software Development and Graph Transformationsystems - Invited talk at a seminar of the TFS Research Colloquium at the Technical University in Berlin - Technical University, Berlin, Germany, 31.05.2010 |
| May 2010 | Self-Awareness and Self - Consciousness via Software: An Engineering Perspective - Expert Talk First CHIST-ERA conference EUR - CHIST-ERA conference, Rom, Italy, 28 May 2010
Slides |
| February 2010 | Model-Driven Engineering of Self-Adpative Systems - Invited talk at a seminar of the Distributed Systems Research Group at the Charles University in Prague - Charles University, Prague, Czech Republic, 16.02.2010
Slides |
| November 2009 | Architectural Models at Runtime - Invited talk at the Workshop "Architectural Concepts and Programming Languages" -Technische Universität, Munich, Germany , 08.11.2009
Slides |
| October 2009 | What does Informatics offer for Modeling and Analysis of Complex Systems? - invited talk within the scope of the Bioinformatics Affinity Seminars - Max Planck Institute of Molecular Plant Physiology, Potsdam, Germany, 14.10.2009 |
| October 2009 | Adaptive and Self-Managed Software and responsibility: Who is responsible, if Software decides wrong? - invited talk at DGRI-annual meeting - Dorint Hotel Sanssouci, Potsdam, Germany, 01.10.2009 - 03.10.2009 |
|
| June 2009 | Architecting Self-Adaptive Critical Systems: Contradiction or Panacea? - invited talk at WADS - Estoril, Lisboa, Portugal - 29.06.2009
Slides |
| May 2009 | On the Role of Models for Self-Healing and Self-Adaptive System, Dagstuhl Seminar 09201, Self-Healing and Self-Adaptive System, Dagstuhl 10.05.2009 - 15.05.2009 |
| January 2008 | Architectural Patterns for Self-Optimizing Mechatronic Systems, Dagstuhl Seminar 08031, Software Engineering for Self-Adaptive Systems, Dagstuhl 13.01.2008 - 18.01.2008 |
| January 2008 | Verification of Self-Adaptive and Self-Coordinating Systems, Dagstuhl Seminar 08031, Software Engineering for Self-Adaptive Systems, Dagstuhl 13.01.2008 - 18.01.2008 |
|
| November 2007 | Abstraction and the Model-Based Engineering of Advanced
Softwareintensive Systems, Dagstuhl Seminar 07451, Model-Based Engineering of Embedded Real-Time Systems, Dagstuhl, 04.11. - 09.11.2007 |
| June 2007 | Dependability, Certification, and the Model-Driven Development of Advanced Softwareintensive Systems: Obstacles, Possibilities, and Challenges, Dagstuhl Seminar 07241, Tools for the Model-based Development of Certifiable, Dependable Systems, Dagstuhl, 10.06. - 15.06.2007 |
| November 2006 | Sicherheit mechatronischer Systeme aus Sicht der Softwaretechnik Workshop Design for Safety: Freitag 24. November 2006, VDE-Haus, Frankfurt/MVDI/VDE GMA Fachausschusse 4.15 Mechatronik |
| April 2006 | Multi-Paradigm Modelling and Mechatronic UML (Auf Einladung) Workshop on Computer Automated Multi-Paradigm Modelling (CAMPaM) McGill University´s Bellairs Campus, St. James, Barbados, 23-29 April 2006 |
| March 2006 | Reusable Services for Automotive Software (Auf Einladung) Advanced Automotive Software and Systems Development 2006: Model-Driven Development of Reliable Automotive Services San Diego, CA,USA, 15-17 March 2006 |
| March 2006 | Model-Driven Tool Integration for Mechatronic Systems: State of the Art (Presentation as PhD Opponent) Division of Mechatronics, KTH - Royal Institute of Technology Stockholm, Sweden, 03 March 2006 |
| March 2006 | Model-Driven Development of Self-Optimizing, Networked, Embedded Systems (Open Seminar) Department of Computer Science, University College London London, UK, 02 March 2006 |
| September 2005 | Towards the Design and Verification of Adaptable Networked Mechatronic Systems (Eingeladener Vortrag) 2005 Monterey Workshop Laguna Beach, CA, USA, 22-24 September 2005 |
| July 2005 | Model-Driven Development of Dependable Mechatronic Multi-Agent Systems, Kolloquium des Transregio Automatic Verification and Analysis of Complex Systems (AVACS) OFFIS, Universität Oldenburg, 01 July 2005 |
| May 2005 | Panel: Software Engineering for Context-Aware MAS (Leitung) 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2005), in conjunction with ICSE 2005, St. Louis, USA, 15-16 May 2005 |
| June 2004 | Mechatronic UML: Integrating Software Engineering and Control Engineering Nicht öffentliche Presentation vor Vertretern von MathWorks Inc. während der International Automotive Conference, Stuttgart |
| May 2004 | Agent Dependability in Open Architectures: Safety is different Paneldiskussion ,,Agent Dependability in Open Architectures" im Rahmen des Workshops on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2004) International Conference on Software Engineering (ICSE 2004) Edinburgh, Scotland, 24-25 Mai 2004 |
| September 2003 | Scenario-Based Synthesis for Real-Time UML Designs Workshop on Scenarios: Models, Transformations and Tools Dagstuhl Seminar 03371, Dagstuhl, 07.09.-12.09 2003 |
| July 2001 | Ein Typsystem für Kontrakte in offenen verteilten Systemen Lehrstuhl IV: Software & Systems Engineering (Prof. Dr. M. Broy) Technische Universität München |
| June 2001 | Typsichere Verhaltenskontrakte für offene verteilte Systeme Fachgruppe Programmiersprachen (Prof. Dr. W. Merzenich) Universität Siegen |
| September 2000 | Architectural Object-Oriented Design for Distributed Systems IBM T. J. Watson Research Center, NY, USA |
