| Private Homepage | https://www.uni-muenster.de/Informatik.AGRemke |
| Current Publications | • Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part ILecture Notes in Computer Science, 2022, pp 299-319 online • Niehage, Mathis; Remke, Anne Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, ProceedingsLecture Notes in Computer Science, 2022 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 • Niehage, Mathis; Hartmanns, Arnd; Remke, Anne Learning optimal decisions for stochastic hybrid systems. MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, 2021, pp 44-55 online • Pilch Carina, Schupp Stefan, Remke Anne Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. , 2021 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 • Niehage Mathis, Pilch Carina, Remke Anne Simulating Hybrid Petri nets with general transitions and non-linear differential equations. , 2020 online • Pilch Carina, Krause Maurice, Remke Anne, Ábrahám Erika A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. , 2020 online | remkea@uni-muenster.de |
| Phone | +49 251 83-32726 |
| FAX | +49 251 83-33755 |
| Room | 219 |
| Secretary | Sekretariat Sichma Frau Katharina Sichma Telefon +49 251 83-32700 Fax +49 251 83-33755 Zimmer 604b |
| Address | Prof. Dr. Anne Remke Institut für Informatik Fachbereich Mathematik und Informatik der Universität Münster Einsteinstrasse 62 48149 Münster Deutschland |
| Diese Seite editieren |
