| Private Homepage | https://www.uni-muenster.de/Informatik.AGRemke |
| Current Publications | • Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. Performance Evaluation Methodologies and ToolsLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, 2024 online • Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. Theoretical Aspects of Software EngineeringLecture Notes in Computer Science, 2023 online • 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; Willemsen, Lisa ARCH-COMP22 Category Report: Stochastic Models. Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)EPiC Series in Computing, 2022 online • 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, Zuliani Paolo ARCH-COMP21 Category Report: Stochastic Models. 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21)EPiC Series in Computing, 2021, pp 55-89 online • Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Transactions on Modeling and Computer Simulation Vol. 31 (3), 2021 online • 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; Zuliani, Paolo ARCH-COMP20 Category Report: Stochastic Models. ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)EPiC Series in Computing, 2020 online • Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. Quantitative Evaluation of SystemsLNCS, 2019, pp 182-199 online | joannadelicaris@uni-muenster.de |
| Phone | +49 251 83-32773 |
| Room | 201 a |
| Secretary | Sekretariat Sichma Frau Katharina Sichma Telefon +49 251 83-32700 Zimmer 604b |
| Address | Frau Joanna Delicaris Institut für Informatik Fachbereich Mathematik und Informatik der Universität Münster Einsteinstrasse 62 48149 Münster Deutschland |
| Diese Seite editieren |
