Professor Dr. Anne Remke

Current affiliations

Professorship for practical computer science (Prof. Remke)
Center of Interdisciplinary Sustainability Research (ZIN)

Publications

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (eds.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: Springer. Type of Publication: Research article in edited proceedings (conference)
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (eds.), Integrated Formal Methods. iFM 2024. Manchester: Springer Nature. Type of Publication: Research article in edited proceedings (conference)
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449) Type of Publication: Research article (journal)
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings. Cham: Springer. Type of Publication: Research article in edited proceedings (conference)
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (eds.), Performance Evaluation Methodologies and Tools. Cham: Springer. Type of Publication: Research article in edited proceedings (conference)

Show all publications

Projects

Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" (ROCKS)

Duration: 25/09/2017 - 26/09/2017

Funded by: Participation / conference fees

Type of project: Scientific Event

Prizes

Best paper award 2023
Awarded by: Conference Program Committee of the European Alliance for Innovation (EAI)
Award given to: Niehage, Mathis; Remke, Anne
Announced at: 07/09/2023 | Date of awarding: 07/09/2023
Type of distinction: Best publication award

Doctorates

Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Candidate: Kenter, Sebastian \| Supervisors: Müller-Olm, Markus \| Reviewers: Müller-Olm, Markus; Remke, Anne Period of time: 02/04/2012 - 11/07/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Candidate: Pilch, Carina \| Supervisors: Remke, Anne Period of time: until 07/10/2021 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Analysis of Hybrid Petri Nets with Random Discrete Events Candidate: Ghasemieh, Hamed \| Supervisors: Remke, Anne; Haverkort, Boudewijn Period of time: 01/10/2011 - 03/02/2017 Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)
Model-checking Mean-field Models: Algorithms and Applications Candidate: Kolesnischenko, Anna \| Supervisors: Haverkort, Boudewijn R. De Boer, Pieter-Tjerk Period of time: until 17/12/2014 Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)

Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Candidate: Kenter, Sebastian \| Supervisors: Müller-Olm, Markus \| Reviewers: Müller-Olm, Markus; Remke, Anne Period of time: 02/04/2012 - 11/07/2022 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Candidate: Pilch, Carina \| Supervisors: Remke, Anne Period of time: until 07/10/2021 Doctoral examination procedure finished at: Doctoral examination procedure at University of Münster
Analysis of Hybrid Petri Nets with Random Discrete Events Candidate: Ghasemieh, Hamed \| Supervisors: Remke, Anne; Haverkort, Boudewijn Period of time: 01/10/2011 - 03/02/2017 Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)
Model-checking Mean-field Models: Algorithms and Applications Candidate: Kolesnischenko, Anna \| Supervisors: Haverkort, Boudewijn R. De Boer, Pieter-Tjerk Period of time: until 17/12/2014 Doctoral examination procedure finished at: Doctoral examination procedure at another university (NOT University of Münster)