Professorship for practical computer science (Prof. Remke)

Status: Organisation is active

Website: https://www.uni-muenster.de/Informatik.AGRemke/

Address:

Einsteinstr. 62

48149 Münster

Germany

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, 26-47. Crete: Springer. doi:10.1007/978-3-031-75380-0_3 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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, 172-193. Switzerland: Springer Nature. doi:10.1007/978-3-031-76554-4_10 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Research article (journal) \| Peer reviewed \| Published
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: Springer Nature. doi:10.1007/978-3-032-05792-1_21 Research article in edited proceedings (conference) \| Peer reviewed \| Published

Show all publications (61)

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

Preisverleihungen

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

Promotionen

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)

Parent organisational units

University of Münster
- Schools and Faculties
  - FB10 - Faculty of Mathematics and Computer Science
    - Institute of Computer Science

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, 26-47. Crete: Springer. doi:10.1007/978-3-031-75380-0_3 Research article in edited proceedings (conference) \| Peer reviewed \| Published
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, 172-193. Switzerland: Springer Nature. doi:10.1007/978-3-031-76554-4_10 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). doi:10.1016/j.peva.2024.102449 Research article (journal) \| Peer reviewed \| Published
Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions Niehage, Mathis; da Silva, Carina; Remke, Anne; Hartmanns, Arnd (2025) In: Dutle, Aaron; Humphrey, Laura; Titolo, Laura (eds.), NASA Formal Methods, 254-274. Cham: Springer. doi:10.1007/978-3-031-93706-4_15 Research article in edited proceedings (conference) \| Peer reviewed \| Published
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (eds.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 389-408. Switzerland: Springer Nature. doi:10.1007/978-3-032-05792-1_21 Research article in edited proceedings (conference) \| Peer reviewed \| Published

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)