FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
Dezember 2011 | Models at Runtime for Adaptive and Self-managing Software, Dagstuhl Seminar 11481 , Workshop Models@runtime, |
November 2011 | Service-oriented Systems & Self-Adaptive Systems – Vortrag für die S-Cube Research Roadmap Workshop on Service-oriented Systems. |
November 2011 | Towards Verifying CPS with Structural Dynamism, Dagstuhl Seminar 11441, Science and Engineering of Cyber-Physical Systems, |
Januar 2011 | Model-Driven Software Engineering of Self-Adaptive Systems – Vortrag an der NTH Braunschweig, Niedersachsen, Deutschland |
November 2010 | Model-Driven Software Engineering of Self-Adaptive Systems – Vortrag am Royal Institute of Technology, Stockholm, Schweden. |
Mai 2010 | Modellgetriebene Softwareentwicklung und Graphtransformationssysteme - Vortrag in einem Seminar der Forschungskolloquium TFS an der Technischen Universität in Berlin - Technische Universität, Berlin, Deutschland, 31.05.2010 |
Mai 2010 | Self-Awareness and Self - Consciousness via Software: An Engineering Perspective - Experten Gespräch Erste CHIST-ERA Konferenz EUR - CHIST-ERA Konferenz, Rom, Italien, 28 Mai 2010 |
Februar 2010 | Model-Driven Engineering of Self-Adpative Systems - Vortrag in einem Seminar der Forschungsgruppe "Verteilte Systeme" an der Charles Universität in Prag - Charles Universität, Prag, Tschechische Republik, 16.02.2010 |
November 2009 | Architectural Models at Runtime - Vortrag auf dem Workshop "Architectural Concepts and Programming Languages" -Technische Universität, München, Germany , 08.11.2009 |
Oktober 2009 | Was bietet die Informatik heutzutage für die Modellierung und Analyse komplexer Systeme? - Vortrag im Rahmen des Bioinformatics Affinity Seminars - Max-Planck-Institut für Molekulare Pflanzenphysiologie, Potsdam, Deutschland, 14.10.2009 |
Oktober 2009 | Adaptive und Self-Managed Software und Haftung: Wer ist verantwortlich, wenn die Software falsch entscheidet? - eingeladener Vortrag auf der DGRI-Jahrestagung - Dorint Hotel Sanssouci, Potsdam, Deutschland, 01.10.2009 - 03.10.2009 |
Juni 2009 | Architecting Self-Adaptive Critical Systems: Contradiction or Panacea? - eingeladener Vortrag auf der WADS - Estoril, Lisboa, Portugal - 29.06.2009 |
Mai 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 |
Januar 2008 | Architectural Patterns for Self-Optimizing Mechatronic Systems, Dagstuhl Seminar 08031, Software Engineering for Self-Adaptive Systems, Dagstuhl 13.01.2008 - 18.01.2008 |
Januar 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 |
Juni 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 |