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

Talks

October 2016Formal 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 2016Self-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 2016Toward 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 2015Invariant 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 2015Model-Driven Engineering for Cyber-Physical Systems. Colloquium talk, Department Elektrotechnik und Informatik, Universität Siegen, 8th May 2015.
Slides
April 2015Towards Smart Systems of Systems, Fundamentals of Software Engineering (FSEN) 2015. Tehran, Iran. April 24, 2015
Slides
January 2015Software Engineering for Self-Adaptive Systems & Self-Aware Computing, Dagstuhl seminar 15041, January 18-23,  2015
Slides
November 2014Are 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 2011Towards 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