Hasso-Plattner-Institut
  
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Degree: Dipl.-Inform.

System Analysis and Modeling Group

Hasso-Plattner-Institute for Software Systems 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]
List of publications: