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.
Artikel
- Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, und Remke, Anne. . „RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.“ In Performance Evaluation Methodologies and Tools, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika, und Remke, Anne. . „Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.“ In Theoretical Aspects of Software Engineering, Lecture Notes in Computer Science, herausgegeben von Cristina David und 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, und Willemsen, Lisa. . „ARCH-COMP22 Category Report: Stochastic Models.“ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Bd. 90 aus EPiC Series in Computing, herausgegeben von Goran Frehse, Matthias Althoff, Erwin Schoitsch und 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, und Zuliani, Paolo. . „ARCH-COMP21 Category Report: Stochastic Models.“ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bd. 80 aus EPiC Series in Computing doi: 10.29007/dprv.
- Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, und 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, und Zuliani, Paolo. . „ARCH-COMP20 Category Report: Stochastic Models.“ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Bd. 74 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. online: EasyChair. doi: 10.29007/mqzc.
- Hüls., Jannik, Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, und Remke, Anne. . „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ In Quantitative Evaluation of Systems, Bd. 11785 aus LNCS, herausgegeben von David Parker und Verena Wolf. Cham: Springer. doi: 10.1007/978-3-030-30281-8_11.
Lehre
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Pauline Blohm, Anne Remke und Jonas Stübbe) - Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Pauline Blohm, Anne Remke und Jonas Stübbe) - Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Jonas Stübbe, Mathis Niehage, Pauline Blohm und Anne Remke) - Vorlesung: Diskrete Strukturen [108087]
(zusammen mit Anne Remke) - V/Ü: Methoden und Anwendungen für randomisierte Systeme [108089]
(zusammen mit Anne Remke und Mathis Niehage) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [108088]
(zusammen mit Phil Steinhorst und Anne Remke) - Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106033]
(zusammen mit Anne Remke und Mathis Niehage) - Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [106034]
(zusammen mit Anne Remke und Mathis Niehage) - Vorlesung: Diskrete Strukturen [104033]
(zusammen mit Carina da Silva und Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104034]
(zusammen mit Anne Remke und Mathis Niehage) - V/Ü: Computernetze und ihre Leistung [102033]
(zusammen mit Anne Remke) - Projektseminar: Projektseminar: Effizientes Model Checking von stochastischen hybriden Systemen in mehreren Dimensionen [102032]
(zusammen mit Stefan Alexander Schupp und Anne Remke) - Vorlesung: Diskrete Strukturen [100031]
(zusammen mit Carina da Silva und Anne Remke) - Seminar: Varianten von Hybriden Automaten [100041]
(zusammen mit Mathis Niehage, Carina da Silva und Anne Remke) - Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100032]
(zusammen mit Carina da Silva und Anne Remke)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]