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.
Articles
- Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, and Remke, Anne. . “RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.” in Performance Evaluation Methodologies and Tools, Vol. 539 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, edited by Evangelia Kalyvianaki and Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika, and Remke, Anne. . “Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.” in Theoretical Aspects of Software Engineering, Lecture Notes in Computer Science, edited by Cristina David and Meng Sun. Cham: Springer. doi: 10.1007/978-3-031-35257-7_10.
- Abate, Alessandro, Blom, Henk, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, van Huijgevoort, Birgit, Lavaei, Abolfazl, Ma, Hao, Niehage, Mathis, Remke, Anne, Schön, Oliver, Schupp, Stefan, Soudjani, Sadegh, and Willemsen, Lisa. . “ARCH-COMP22 Category Report: Stochastic Models.” in Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Vol. 90 of EPiC Series in Computing, edited by Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet. München: EasyChair. doi: 10.29007/lsvc.
- Abate, Alessandro, Blom, Henk, Bouissou, Marc, Cauchi, Nathalie, Chraibi, Hassane, Delicaris, Joanna, Haesaert, Sofie, Hartmanns, Arnd, Khaled, Mahmoud, Lavaei, Abolfazl, Ma, Hao, Mallik, Kaushik, Niehage, Mathis, Remke, Anne, Schupp, Stefan, Shmarov, Fedor, Soudjani, Sadegh, Thorpe, Adam, Turcuman, Vlad, and Zuliani, Paolo. . “ARCH-COMP21 Category Report: Stochastic Models.” in 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Vol. 80 of EPiC Series in Computing doi: 10.29007/dprv.
- Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” ACM Transactions on Modeling and Computer Simulation 31 (3): 1–37. doi: 10.1145/3449353.
- Abate, Alessandro, Blom, Henk, Cauchi, Nathalie, Delicaris, Joanna, Hartmanns, Arnd, Khaled, Mahmoud, Lavaei, Abolfazl, Pilch, Carina, Remke, Anne, Schupp, Stefan, Shmarov, Fedor, Soudjani, Sadegh, Vinod, Abraham, Wooding, Ben, Zamani, Majid, and Zuliani, Paolo. . “ARCH-COMP20 Category Report: Stochastic Models.” in ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Vol. 74 of EPiC Series in Computing, edited by Goran Frehse and Matthias Althoff. online: EasyChair. doi: 10.29007/mqzc.
- Hüls., Jannik, Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, and Remke, Anne. . “State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.” in Quantitative Evaluation of Systems, Vol. 11785 of LNCS, edited by David Parker and Verena Wolf. Cham: Springer. doi: 10.1007/978-3-030-30281-8_11.
Teaching
- Lecture: Modellierung und Analyse von Dynamischen Systemen [108086]
(in cooperation with Pauline Blohm, Anne Remke and Jonas Stübbe) - Practice: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(in cooperation with Pauline Blohm, Anne Remke and Jonas Stübbe) - Advanced seminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(in cooperation with Jonas Stübbe, Mathis Niehage, Pauline Blohm and Anne Remke) - Lecture: Diskrete Strukturen [108087]
(in cooperation with Anne Remke) - V/Ü: Methoden und Anwendungen für randomisierte Systeme [108089]
(in cooperation with Anne Remke and Mathis Niehage) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [108088]
(in cooperation with Phil Steinhorst and Anne Remke) - Lecture: Modellierung und Analyse von Dynamischen Systemen [106033]
(in cooperation with Anne Remke and Mathis Niehage) - Practice: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106034]
(in cooperation with Anne Remke and Mathis Niehage) - Lecture: Diskrete Strukturen [104033]
(in cooperation with Carina da Silva and Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [104034]
(in cooperation with Anne Remke and Mathis Niehage) - V/Ü: Computernetze und ihre Leistung [102033]
(in cooperation with Anne Remke) - Project seminar: Projektseminar: Effizientes Model Checking von stochastischen hybriden Systemen in mehreren Dimensionen [102032]
(in cooperation with Stefan Alexander Schupp and Anne Remke) - Lecture: Diskrete Strukturen [100031]
(in cooperation with Carina da Silva and Anne Remke) - Seminar: Varianten von Hybriden Automaten [100041]
(in cooperation with Mathis Niehage, Carina da Silva and Anne Remke) - Practice: Übungen zur Vorlesung "Diskrete Strukturen" [100032]
(in cooperation with Carina da Silva and Anne Remke)
- Lecture: Modellierung und Analyse von Dynamischen Systemen [108086]