Prof. Dr. Holger Giese

Current Projects

  • ICT COST Action: Multi-Paradigm Modelling for Cyber-Physical Systems
    Multi-Paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). MPM is seen as an effective answer to the challenges of designing Cyber-Physical Systems (CPS).
    Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology.
  • HPI Research School
    The HPI Research School for "Service-Oriented Systems Engineering" is the HPI graduate school, founded in 2005. The branches of the graduate school are in Cape Town, Haifa and Nanjing.
  • Cyber-Physical Systems Laboratory
    In the cyber-physical systems laboratory, we working, among other, on the composition and system integration, the online reconfiguration as well as the coexistens of hard and soft real-time behavior in embedded robotic systems.
  • CorMorant: Correct Model Transformations
    Up to now, except for some own preliminary work, there is not a lot of work available presenting methods for the formal verification of correctness of a transformation described by model transformations based on graph transformation. We further use graph transformation to specify the model semantics such that we can work with a single formal model for the verification of model transformations.
  • QUANTUM: Quantitative analysis of service-oreinted real-time systems with structure dynamics 
    The goal of the Project is to develop new quantitative models and quantitative analysis techniques for service-oriented real-time systems that provide the required combinations of probabilistic behavior, real-time behavior and structure dynamics that are particularly important in the domain of service-oriented real-time systems.
  • MDE Lab: Tools for Model-Driven Engineering
    In the Model-Driven Engineering Lab we are working on tools for model-driven engineering languages and systems. Among these tools, there are an editor and interpreter for Story Diagrams.
  • Model Management 
    A project about management of models.
  • Models@run.time
    In this project we are working on concepts and frameworks for engineering self-adaptive software systems with runtime models.
  • Design Thinking Research: The Design Thinking Methodology at Work
    The methodology of Design Thinking (DT) suggests a repertoire of methods and techniques to solve wicked problems in terms of innovative solutions. In this research proposal, we suggest to investigate how to capture and visualize employed DT methodologies at work to understand them in detail.

Finished Projects