Prof. Dr. Anne Remke, Institut für Informatik

Private Homepagehttps://www.uni-muenster.de/Informatik.AGRemke
Current PublicationsBlohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. Leveraging Applications of Formal Methods, Verification and ValidationLecture Notes in Computer Science Vol. 15221, 2025 online
Blohm, Pauline; Herber, Paula; Remke, Anne Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. Integrated Formal Methods. iFM 2024Lecture Notes in Computer ScienceLecture notes in computer science Vol. 15234, 2025 online
Niehage, Mathis; Remke, Anne Symbolic state-space exploration meets statistical model checking. Performance Evaluation Vol. 167 (102449), 2025 online
Niehage, Mathis; Remke, Anne The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, ProceedingsLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications EngineeringLecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, 2024, pp 61-81 online
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
da Silva, Carina; Schupp, Stefan; Remke, Anne Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. ACM Transactions on Modeling and Computer Simulation Vol. 33 (4), 2023 online
Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, ProceedingsLecture Notes in Computer ScienceLecture notes in computer science, 2023, pp 94-118 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
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
E-Mailremkea@uni-muenster.de
Phone+49 251 83-32726
Room219
Secretary   Sekretariat Sichma
Frau Katharina Sichma
Telefon +49 251 83-32700
Zimmer 604b
AddressProf. 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