

Research interests
- Dependability evaluation for critical infrastructures
- Hybrid Petri nets (with general transitions) and their extensions
- Coherence between Hybrid Petri nets and Hybrid Automata
- Development of tools for the analysis of Hybrid Petri nets
hpnmg (C++)
Publications
- . . ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55-89. doi: 10.29007/dprv.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, No. 3: 1-37. doi: 10.1145/3449353.
- . . ‘ARCH-COMP20 Category Report: Stochastic Models.’ Contributed to the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems, -. doi: 10.29007/mqzc.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ Contributed to the 16th International Conference on Quantitative Evaluation of Systems, QEST 2019, Glasgow, UK, September 10-12, 2019, Glasgow. doi: 10.1007/978-3-030-30281-8_11.
Teaching
- Übung: Tutorial Discrete Structures [108088]
(in cooperation with Prof. Dr. Anne Remke, Phil Steinhorst)[ - | | wöchentlich | Fr. | SRZ 205 | Prof. Dr. Anne Remke]
[08.04.2022 | | wöchentlich | Fr. | SRZ 205 | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do. | M A 401 (SR 4) | Prof. Dr. Anne Remke]
[ - | | wöchentlich | Do. | SRZ 203 | Prof. Dr. Anne Remke] - V/Ü: Methods and Applications for Randomised Systems [108089]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di. | M B 1 (M 1) | Mathis Niehage]
[ - | | wöchentlich | Do. | M B 1 (M 1) | Mathis Niehage]
[ - | | wöchentlich | Di. | M B 4 (M 4) | Mathis Niehage] - Vorlesung: Discrete Structures [108087]
(in cooperation with Prof. Dr. Anne Remke)
[ - | | wöchentlich | Di. | M B 3 (M 3) | Prof. Dr. Anne Remke] - Übung: Tutorial "Modeling and analysis of dynamic systems" [106034]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Modeling and analysis of dynamical systems [106033]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Übung: Tutorial Discrete Structures [104034]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Discrete Structures [104033]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke) - Projektseminar: Efficient model checking of hybrid systems in multiple dimensions [102032]
(in cooperation with Dr. Stefan Alexander Schupp, Prof. Dr. Anne Remke) - V/Ü: Computer Networks and their Performance [102033]
(in cooperation with Prof. Dr. Anne Remke) - Übung: Tutorial Discrete Structures [100032]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke) - Seminar: Variants of Hybrid Automata [100041]
(in cooperation with Mathis Niehage, Dr. Carina da Silva, Prof. Dr. Anne Remke) - Vorlesung: Discrete Structures [100031]
(in cooperation with Dr. Carina da Silva, Prof. Dr. Anne Remke)
- Übung: Tutorial Discrete Structures [108088]