| 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 |
