Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

System Analysis and Modeling Group

The System Analysis and Modeling group at the HPI focuses on the use of models for software-intensive systems at development-time and run-time. This subsumes the specification of dynamic and flexible systems, learning models and adaptation policies, analyze and formally verify such models, and model synthesis. The considered systems are typically distributed systems, embedded real-time systems as well as systems that are capable to adapt and coordinate themselves (self-managed). Therefore, the group does further research on model queries, model transformations, model and code generation, and model integration during development-time and run-time. 

Details on distinct topics can be found in our research section.

Fachgebiet Systemanalyse und Modellierung

Das Fachgebiet Systemanalyse und Modellierung des HPI arbeitet im Wesentlichen an der Nutzung von Modellen für software-intensive Systeme zur Entwicklungszeit und Laufzeit. Dies beinhaltet die Spezifikation von dynamischen und flexiblen Systemen, das Lernen von Modellen und Anpassungsstrategien, die Analyse und formale Verifikation von Modellen und die Synthese von Modellen. Die dabei betrachteten Systeme sind typischerweise verteilte Systeme, eingebettete Echtzeitsysteme sowie Systeme, die die Fähigkeit sich selbst anzupassen und zu koordinieren besitzen (Selbstanpassung). Dafür erforscht das Fachgebiet auch Modellanfragen, Modelltransformationen, Modell- und Codegenerierung und Modellintegration zur Entwicklungszeit und Laufzeit.

Details zu spezifischen Themen können auf unserer Seite zu Forschung finden.

Hinweis: Alle weiteren Informationen außer dieser Startseite zu unserer Gruppe, Lehre, Forschung, Veröffentlichungen etc. bieten wir nur in Englisch an.

News

03.09.2024

1st International Workshop on Neuro-Symbolic Software Engineering (NSE)

1st International Workshop on Neuro-Symbolic Software Engineering co-located with International Conference on Software Engineering (ICSE) - Ottawa, Ontario, … > Zum Artikel

03.09.2024

Paper at AI4AS at ACSOS 2024

Paper accepted at AI4AS workshop at ACSOS 2024 > Zum Artikel

03.09.2024

Paper at NFMCP 2024

Paper has been accepted for presentation at the12th Workshop on New Frontiers in Mining Complex Patterns (NFMCP 2024) collocated with the European Conference of … > Zum Artikel

25.05.2024

Two papers accepted at ICGT 2024

Two full research papers from researchers at the System Analysis and Modeling group have been accepted at the 17th International Conference on Graph … > Zum Artikel

19.01.2024

Accepted paper at ICPE 2024

Two full research papers from researchers at the System Analysis and Modeling group have been accepted at the 27th International Conference on Fundamental … > Zum Artikel

22.12.2023

Two papers accepted at FASE 2024

Two full research papers from researchers at the System Analysis and Modeling group have been accepted at the 27th International Conference on Fundamental … > Zum Artikel

24.11.2023

PhD Defense of Sona Ghahremani

Sona Ghahremani completed her PhD thesis titled "Incremental Self-Adaptation of Dynamic Architectures Attaining Optimality and Scalability". > Zum Artikel

14.03.2023

Keynote Talk at Adesso - AI in Software Engineering

AI-based tools like GitHub CoPilot and OpenAI ChatGPT created new opportunities and challenges for the automation of software engineering tasks. Based on our … > Zum Artikel

25.10.2022

Paper presented at MODELS 2022 Educators Symposium

Our accepted paper on "Tool Support for the Teaching of State-Based Behavior Modeling" was successfully presented at the Educators Symposium at MODELS 2022 in … > Zum Artikel

07.07.2022

Bachelor Project presents Leadership Simulation Training for Emergeny Personnel

After working on their bachelor project "A Digital Leadership Simulation for the Training of Emergency Medical Personnel" for two semesters, the student team … > Zum Artikel