Forschungsinteressen
Meine Forschung konzentriert sich auf die Erreichbarkeitsanalyse und die Berechnung von optimalen Erreichbarkeitswahrscheinlichkeiten in stochastischen hybriden Automaten mit insb. kontinuierlichem Nichtdeterminismus, zB. Rechteckautomaten mit Zufallsuhren. Außerdem interessiere ich mich für hybride Petri Netze (mit generellen Transitionen) und ihre Erweiterungen und die Zusammenhänge von hybriden Petri Netzen und hybriden Automaten, insb. unter Berücksichtigung des Zusammenspiels von stochastischem und nichtdeterministischem Verhalten.
Momentan entwickeln wir das Tool RealySt zur Berechnung von Erreichbarkeitswahrscheinlichkeiten in stochastischen hybriden Automaten mit kontinuierlichem Nichtdeterminismus.
Publikationen
- . . ‘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, Nr. 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.
Lehre
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [108088]
(zusammen mit Prof. Dr. Anne Remke, Phil Steinhorst) - V/Ü: Methoden und Anwendungen für randomisierte Systeme [108089]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [108087]
(zusammen mit Prof. Dr. Anne Remke) - Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106034]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106033]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104034]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [104033]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke) - Projektseminar: Effizientes Model Checking von stochastischen hybriden Systemen in mehreren Dimensionen [102032]
(zusammen mit Dr. Stefan Alexander Schupp, Prof. Dr. Anne Remke) - V/Ü: Computernetze und ihre Leistung [102033]
(zusammen mit Prof. Dr. Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100032]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke) - Seminar: Varianten von Hybriden Automaten [100041]
(zusammen mit Mathis Niehage, Dr. Carina da Silva, Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [100031]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke)
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]