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"

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