Research interests
My research is focused on the reachability analysis and the computation of optimal reachability probabilities in stochastic hybrid automata, esp. with continuous nondeterminism, e.g. rectangular automata with random clocks. Additionally I am interested in hybrid Petri nets (with general transitions) and their extensions, as well as the cohesion of hybrid Petri nets and hybrid automata, esp. with regards to the interplay of stochastic and nondeterministic behavior.
Currently, we are developing the tool RealySt, which focuses on computing reachability probabilities in stochastic hybrid automata with continuous nondeterminism.
Publications
- . . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by , 170–182. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- . . ‘Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.’ In Theoretical Aspects of Software Engineering, edited by , 164–182. Cham: Springer. doi: 10.1007/978-3-031-35257-7_10.
- . . ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by , 113–141. München: EasyChair. doi: 10.29007/lsvc.
- . . ‘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
- Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm) - Übung: Tutorial Discrete Structures [108088]
(in cooperation with Prof. Dr. Anne Remke, Phil Steinhorst) - V/Ü: Methods and Applications for Randomised Systems [108089]
(in cooperation with Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Discrete Structures [108087]
(in cooperation with 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)
- Oberseminar: Advanced Seminar "Parallel and Distributed Systems" [102061]