Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Akademischer Grad: Dipl.-Inform.

Fachgebiet Systemanalyse und Modellierung

Hasso-Plattner-Institut für Digital Engineering
Universität Potsdam
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam

Tel: +49 331 5509 525

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

Raum: A-2.10

Forschungsthemen

  • Formale Modelle (kategorielle Transformationssysteme)
  • Formale Verifikation (toolunterstütze qualitative Analyse)
  • Quantitative Analyse (probabilistische zeitbehaftete Service-orientierte Systeme)

Aktuelle Forschungsprojekte

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

Wissenschaftliche Aktivitäten

  • Subreviewer Modellierung 2018
  • Subreviewer ICGT 2017
  • Subreviewer ICMT 2017
  • Subreviewer ICGT 2016
  • Subreviewer MODELS 2016
  • Subreviewer WF-IoT 2016

Auszeichnungen

  • EASST Award "Best Software Science Paper" auf der 10. internationalen Konferenz für Graph Transformation (ICGT 2017) für das Papier "Probabilistic Timed Graph Transformation Systems"
Publikationsliste: