System Analysis and Modeling
Hasso-Plattner-Institut
Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

schließen

schließen

schließen

schließen

schließen

schließen
  1. Staff
  2.  > 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"
List of publications:

Research Group

Prof. Dr. Holger Giese
System Analysis and Modeling
Tel.: +49 (0)331 5509-366
E-Mail: holger.giese(at)hpi.de


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


Hasso Plattner Institute
building A, 2nd floor
Prof.-Dr.-Helmert-Straße 2-3
D-14482 Potsdam
Getting there

Conferences and Workshops

24.09.2018 | KI 2018

> Go to article

03.09.2018 | SASO 2018

> Go to article

29.08.2018 | SEAA 2018

> Go to article

26.07.2018 | DVMCS 2018

> Go to article

16.07.2018 | VVASS@QRS 2018

> Go to article

25.06.2018 | ICGT 2018

> Go to article

25.06.2018 | ICMT 2018

> Go to article

25.06.2018 | MSE@STAF 2018

> Go to article

25.06.2018 | PNSE'18

> Go to article

05.06.2018 | CfP: DVMCS 2018

> Go to article

29.05.2018 | SESoS'18

> Go to article

27.05.2018 | SEsCPS'18

> Go to article

07.05.2018 | CfP: KI 2018

> Go to article

16.04.2018 | CfP: SASO 2018

> Go to article

16.04.2018 | CfP: MSE@STAF 2018

> Go to article

15.04.2018 | CfP: VVASS@QRS

> Go to article

01.04.2018 | CfP: SEAA 2018

> Go to article

30.03.2018 | CfP: PNSE'18

> Go to article

23.02.2018 | CfP: ICGT 2018

> Go to article

23.02.2018 | CfP: ICMT 2018

> Go to article

05.02.2018 | WF-IOT 2018

> Go to article

05.02.2018 | CfP: SEsCPS'18

> Go to article

31.01.2018 | IRC 2018

> Go to article

16.10.2017 | ITSC 2017

> Go to article

01.10.2017 | CfP: IRC 2018

> Go to article

18.09.2017 | SASO 2017

> Go to article

11.09.2017 | SoftIoT 2017

> Go to article

10.09.2017 | CfP: FM&MDD 2017

> Go to article

05.09.2017 | SE4AIS

> Go to article

04.08.2017 | CfP: WF-IOT 2018

> Go to article

18.07.2017 | ICGT 2017

> Go to article

17.07.2017 | SeAC 2017

> Go to article

17.07.2017 | STAF 2017

> Go to article

17.07.2017 | ICAC 2017

> Go to article

17.07.2017 | ICMT 2017

> Go to article

07.07.2017 | CfP: MDETools 2017

> Go to article

23.06.2017 | CfP: SoftIoT 2017

> Go to article

10.06.2017 | CfP: Modellierung 2018

> Go to article

22.05.2017 | SEAMS 2017

> Go to article

22.04.2017 | GaM 2017

> Go to article

15.04.2017 | CfP: SE4AIS

> Go to article

15.04.2017 | CfP: MoSEBIn17 (short papers)

> Go to article

10.04.2017 | ICRC 2017

> Go to article

06.04.2017 | CfP: MoSEBIn17 (full papers)

> Go to article

22.03.2017 | CfP: MRT 2017

> Go to article

15.03.2017 | ITSC 2017

> Go to article

10.03.2017 | CfP: SASO 2017

> Go to article

24.02.2017 | CfP: ICGT 2017

> Go to article

24.02.2017 | CfP: ICMT 2017

> Go to article

21.02.2017 | ICAC 2017

> Go to article

03.02.2017 | CfP: GaM 2017

> Go to article

17.07.2016 | CfP: OSS4MDE'16

> Go to article

10.07.2016 | CfP: MRT'16

> Go to article

24.06.2016 | CfP: SLE2016

> Go to article

15.06.2016 | CfP: FSE'16 Demo Papers

> Go to article

03.06.2016 | CfP: SERENE 2016

> Go to article

09.05.2016 | CfP: SASO 2016

> Go to article

25.04.2016 | NII Shonan Meeting CASaS

> Go to article

08.04.2016 | CfP: MODELS 2016

> Go to article

16.03.2016 | CfP: MRT'16-ICAC

> Go to article

22.01.2016 | CfP: SEsCPS 2016

> Go to article

21.01.2016 | CfP: ICAC 2016

> Go to article

15.01.2016 | CfP: GaM 2016

> Go to article

29.05.2015 | CfP: CTSE 2015

> Go to article

18.05.2015 | SEAMS 2015

> Go to article

11.04.2015 | Graphs as Models 2015

> Go to article

22.03.2015 | MBEES 2015

> Go to article

15.01.2015 | CfP: MBEES 2015

> Go to article

09.01.2015 | CfP SEAMS 2015

> Go to article

19.10.2014 | GI Dagstuhl Seminar 14433

> Go to article

28.09.2014 | ICSME 2014

> Go to article

28.09.2014 | MRT 2014

9th International Workshop on Models at run.time > Go to article

21.07.2014 | ICGT 2014

> Go to article

21.07.2014 | VOLT 2014

> Go to article

30.05.2014 | MDE 2014

Current trends, challenges, and solutions in Model-Driven Engineering > Go to article

15.12.2013 | Dagstuhl 13511

> Go to article

12.04.2013 | VOLT 2013

> Go to article

05.04.2013 | ICSM 2013

> Go to article

04.03.2013 | MODELS'13

> Go to article

25.01.2013 | ICMT 2013

> Go to article

20.04.2012 | ICGT 2012

> Go to article

26.03.2012 | GraBaTs 2012

> Go to article

19.03.2012 | MoDELS 2012

> Go to article

16.01.2012 | ICMT 2012

> Go to article

16.01.2012 | FMOODS & FORTE 2012

> Go to article

11.12.2011 | GT-VMT 2012

> Go to article

11.12.2011 | models@run.time 2011

> Go to article

11.12.2011 | SEAA 2011

> Go to article

11.12.2011 | FASE 2012

> Go to article

11.12.2011 | FMOODS-FORTE 2011

> Go to article

18.04.2011 | MODELS 2011

> Go to article

18.04.2011 | MoBE-RTES 2011

> Go to article

18.04.2011 | GT-VMT 2011

> Go to article

18.04.2011 | CISIS 2011

> Go to article

18.04.2011 | SecureChangeWS 2011

> Go to article

18.04.2011 | AGTIVE 2011

> Go to article

18.04.2011 | SEAMS 2011

> Go to article

18.04.2011 | ESEC/FSE 2011

> Go to article

25.10.2010 | Dagstuhl seminar "Software Engineering for Self-Adaptive Systems"

Dagstuhl seminar 10431 - meeting from 25th to 29th October 2010, Dagstuhl, Germany > Go to article

24.08.2010 | DADS 2011

> Go to article

24.08.2010 | REV 2010

> Go to article

24.08.2010 | SIMPAR 2010

> Go to article

24.08.2010 | WOSP/SIPEW 2011

> Go to article

24.08.2010 | ECSA 2010

> Go to article

24.08.2010 | SEAA 2010

> Go to article

03.05.2010 | MODELS 2010

> Go to article

15.02.2010 | SOAR 2010

> Go to article

15.02.2010 | MPM 2009

> Go to article

15.02.2010 | SEAMS 2009

> Go to article

15.02.2010 | MiSE 2009

> Go to article

12.02.2010 | RE 2010

> Go to article

12.02.2010 | SEAMS 2010

> Go to article

01.03.2009 | SEKE 2009

> Go to article

20.01.2009 | DEPEND 2009

> Go to article

20.01.2009 | ICSE 09 Research Demonstrations

> Go to article

20.01.2009 | ICAC 09

> Go to article

12.12.2008 | GT-VMT 2009

> Go to article

05.09.2008 | ICSE 09

> Go to article

17.08.2008 | Fujaba Days 2008

> Go to article

16.08.2008 | DADS at SAC'09

> Go to article

04.07.2008 | REV 08

> Go to article

15.06.2008 | ARAMIS 2008

> Go to article

16.05.2008 | MoDELS08

> Go to article

16.05.2008 | MISE 2008

> Go to article

16.05.2008 | AAMAS 2009

> Go to article

16.05.2008 | AOSE 2010

> Go to article

16.05.2008 | SafeCert2008

> Go to article

18.03.2008 | Model-Based Design of a Power Window System: Modeling, Simulation, and Validation

> Go to article

01.03.2008 | SEKE 2008

> Go to article

28.01.2008 | SEAMS 2008

> Go to article