Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

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