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. Heidelberg: 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. Heidelberg: 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. Bramhall: 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.’ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), edited by , 76–106. Bramhall: EasyChair. doi: 10.29007/mqzc.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by , 182–199. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.
Lehre
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Fr | M B 5 (M 5) | Joanna Delicaris]
[ - | | wöchentlich | Di | M B 5 (M 5) | Joanna Delicaris] - Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Do | SRZ 202 | Joanna Delicaris]
[ | wöchentlich | Do | M A 503 (SR 5) | Joanna Delicaris] - Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke, Jonas Stübbe, Pauline Blohm) - Vorlesung: Diskrete Strukturen [108087]
(zusammen mit Prof. Dr. Anne Remke) - Übungen zur Vorlesung "Diskrete Strukturen" [108088]
(zusammen mit Prof. Dr. Anne Remke, Phil Steinhorst) - Methoden und Anwendungen für randomisierte Systeme [108089]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106033]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106034]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [104033]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke) - Übungen zur Vorlesung "Diskrete Strukturen" [104034]
(zusammen mit Mathis Niehage, Prof. Dr. Anne Remke) - Projektseminar: Projektseminar: Effizientes Model Checking von stochastischen hybriden Systemen in mehreren Dimensionen [102032]
(zusammen mit Dr. Stefan Alexander Schupp, Prof. Dr. Anne Remke) - Computernetze und ihre Leistung [102033]
(zusammen mit Prof. Dr. Anne Remke) - Vorlesung: Diskrete Strukturen [100031]
(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) - Übungen zur Vorlesung "Diskrete Strukturen" [100032]
(zusammen mit Dr. Carina da Silva, Prof. Dr. Anne Remke)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]