System Analysis and Modeling

Hasso-Plattner-Institut

Prof. Dr. Holger Giese

schließen

schließen

schließen

schließen

Dr. Maria Maximova

Degree: Dr. rer. nat.

System Analysis and Modeling Group

Hasso Plattner Institute for Digital Engineering
University of Potsdam
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam, Germany

Phone: +49 331 5509 525

E-Mail: maria.maximova(at)hpi.de

Room: A-2.10

Research Interests

Formal models (categorical transformation systems)
Formal verification (tool-based qualitative analysis)
Quantitative analysis (probabilistic timed service-oriented systems)

Current Research Projects

Quantitative Analysis of Service-Oriented Real-Time Systems with Structure Dynamics (QUANTUM II)
[project description]

Finished Research Projects

Quantitative Analysis of Service-Oriented Real-Time Systems with Structure Dynamics (QUANTUM)
[project description]

Scientific Activities

Subreviewer ICGT 2023
Subreviewer ICGT 2020
Subreviewer Modellierung 2018
Subreviewer ICGT 2017
Subreviewer ICMT 2017
Subreviewer ICGT 2016
Subreviewer MODELS 2016
Subreviewer WF-IoT 2016

Awards

EASST Award "Best Software Science Paper" at the 10th International Conference on Graph Transformation (ICGT 2017) for the paper "Probabilistic Timed Graph Transformation Systems"

Publications

Contact

Prof. Dr. Holger Giese

System Analysis and Modeling Group

Tel.: +49 (0)331 5509 -366
E-Mail: holger.giese(at)hpi.de

Office: Kerstin Miers

Tel.: +49 (0)331 5509 -314
E-Mail: office-giese(at)hpi.de

Hasso Plattner Institute for Digital Engineering

Campus I, Building A, 2nd floor
Prof.-Dr.-Helmert-Str. 2-3, 14482 Potsdam (Getting there)

Labs and Projects

upcoming scientific events

26.04.2025 | NSE 2025

1st International Workshop on Neuro-Symbolic Software Engineering co-located with ICSE 2025 Ottawa, Ontario, Canada > Go to article

26.04.2025 | SEAMS 2025

20th International Conference on Software Engineering for Adaptive and Self-Managing Systems > Go to article