System Analysis and Modeling

Hasso-Plattner-Institut

Prof. Dr. Holger Giese

schließen

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)
[project description]

Scientific Activities

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
Room: A-2.5

Office: Kerstin Miers
Tel.: +49 (0)331 5509-314
E-Mail: office-giese(at)hpi.de
Room: A-2.6

Hasso Plattner Institute for Digital Engineering
Building A, 2nd floor
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam
Getting there

Conferences and Workshops

24.06.2021 | ICGT 2021

14th International Conference on Graph Transformation > Go to article

27.03.2021 | FASE 2021

24th International Conference on Fundamental Approaches to Software Engineering > Go to article