Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Vorträge

Oktober 2016Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems. International Conference on Formal Aspects of Component Software (FACS 2016). Besançon, France. 19. - 21. Oktober, 2016.
Folien
April 2016Self-Awareness: A Game Changing Topic for Cyber-Physical Systems? Game Changing and Controversial Topics in Cyber-Physical Systems (CPS 2016). Budapest, Ungarn. 15.-16. April 2016.
Folien
April 2016Toward Self-Adaptive Software Employing Model Predictive Control (zusammen mit Thomas Vogel), Controlled Adaptation of Self-Adaptive Systems (CASaS). Shonan Village, Japan. 25. April 2016
Folien
November 2015Invariant Checking for Graph Transformation: Applications & Open Challenges (zusammen mit Leen Lambers), Dagstuhl Seminar 15451 on Verification of Evolving Graph Structures, 2. - 6. November 2015
Folien
Mai 2015Model-Driven Engineering for Cyber-Physical Systems. Kolloquiumsvortrag, Department Elektrotechnik und Informatik, Universität Siegen, 8. Mai 2015.
Folien
April 2015Towards Smart Systems of Systems, Fundamentals of Software Engineering (FSEN) 2015, Tehran, Iran. 24. April 2015
Folien
Januar 2015Software Engineering for Self-Adaptive Systems & Self-Aware Computing, Dagstuhl Seminar 15041, 18.-23. Januar 2015
Folien
November 2014Are we Ready to Unleash the Full Potential of Future Embedded Systems?, UTC IASE 2014, 10. November, Storrs, Connecticut, United States
Folien

März 2013

Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior, GT-VMT 2013, 24. März, Rom, Italien,

Dezember 2011

Models at Runtime for Adaptive and Self-managing Software, Dagstuhl Seminar 11481 , Workshop Models@runtime,
Dagstuhl, 27.11.2011-02.12.2011
Folien

November 2011

Service-oriented Systems & Self-Adaptive Systems – Vortrag für die S-Cube Research Roadmap Workshop on Service-oriented Systems.
22.11.2011. Barcelona, Spanien
Folien

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
Folien

Januar 2011

Model-Driven Software Engineering of Self-Adaptive Systems – Vortrag an der NTH Braunschweig, Niedersachsen, Deutschland
28.01.2011
Folien

November 2010

Model-Driven Software Engineering of Self-Adaptive Systems – Vortrag am Royal Institute of Technology, Stockholm, Schweden.
25.11.2010
Folien

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 
Folien 
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 
Folien 
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 
Folien 
November 2009 Architectural Models at Runtime - Vortrag auf dem Workshop "Architectural Concepts and Programming Languages" -Technische Universität, München, Germany , 08.11.2009 
Folien 
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 
Folien 
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 
 Softwareintensive Systems, Dagstuhl Seminar 07451, Model-Based Engineering of Embedded Real-Time Systems, Dagstuhl, 04.11. - 09.11.2007 
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