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

News Archive

Treffer pro Seite:

Zeige: 1 - 10 von 55


23.01.2017

Holger Giese joins the Program Committee of the Workshop On Self-Aware Computing (SeAC 2017)

The 2017 Workshop On Self-Aware Computing (SeAC 2017) is part of the 14th IEEE International … > more

14.01.2017

Holger Giese joins the Program Committee at the conference Software Engineering for Autonomous and Intelligent Systems (SE4AIS 2017)

The conference Software Engineering for Autonomous and Intelligent Systems (SE4AIS 2017) is a … > more

07.12.2016

Holger Giese joins the Program Committee of the 3rd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2017)

Link to the workshop SEsCPS 2017. The workshop is part of the 39th International Conference on … > more

19.10.2016

Invited Talk by Holger Giese at the international Conference for Formal Aspects of Component Software (FACS 2016)

Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems. Web site of the Conference  … > more

25.04.2016

Talk by Holger Giese and Thomas Vogel at the "NII Shonan Meeting on Controlled Adaptation of Self-Adaptive Systems (CASaS)"

Toward Self-Adaptive Software Employing Model Predictive Control. Download slides Webseite of the … > more

16.04.2016

Invited Talk by Holger Giese at the international conference "Game Changing and Controversial Topics in Cyber-Physical Systems" (CPS 2016)

Self-Awareness: A Game Changing Topic for Cyber-Physical Systems?. Web site of the Conference  … > more

04.01.2016

Open Positions in the context of Model-Based Software Engineering and Quality Assurance

Open Positions. PhD stipend and student position in the context of Model-Based Software-Engineering … > more

22.12.2015

Several Vacant PhD positions in Data and Process Management for Biomedical Applications

The DFG-funded graduate school "SOAMED - Service-oriented Architectures for Software System … > more

05.11.2015

Talk by Holger Giese and Leen Lambers at the Dagstuhl Seminar "Verification of Evolving Graph Structures"

Invariant Checking for Graph Transformation: Applications & Open Challenges. Graph transformation … > more

Treffer pro Seite:

Zeige: 1 - 10 von 55