Professor Dr. Anne Remke

Aktuelle Zugehörigkeiten

Professur für Praktische Informatik (Prof. Remke)
Zentrum für Interdisziplinäre Nachhaltigkeitsforschung (ZIN)

Publikationen

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 (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation. Crete: Springer. Forschungsartikel in Sammelband (Konferenz)
Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024. Switzerland: Springer Nature. Forschungsartikel in Sammelband (Konferenz)
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449). Forschungsartikel (Zeitschrift)
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 (Hrsg.), NASA Formal Methods. Cham: Springer. Forschungsartikel in Sammelband (Konferenz)
Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata Blohm, Pauline; Schulz, Felix; Willemsen, Lisa; Remke, Anne; Herber, Paula (2025) In: Prabhakar, Pavithra; Vandin, Andrea (Hrsg.), International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems. Switzerland: Springer Nature. Forschungsartikel in Sammelband (Konferenz)

Alle Publikationen anzeigen

Projekte

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

Laufzeit: 25.09.2017 - 26.09.2017

Gefördert durch: Teilnahmebeiträge/Tagungsgebühren

Art des Projekts: Wissenschaftliche Veranstaltung

Preise

Best paper award 2023
Verliehen von: Conference Program Committee of the European Alliance for Innovation (EAI)
Verliehen an: Niehage, Mathis; Remke, Anne
Bekannt gegeben am: 07.09.2023 | Verleihung erfolgte am: 07.09.2023
Art der Preisverleihung: Preis für beste Veröffentlichung

Promotionen

Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovendin: Kenter, Sebastian \| Betreuerinnen: Müller-Olm, Markus \| Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Promovendin: Pilch, Carina \| Betreuerinnen: Remke, Anne Zeitraum: bis 07.10.2021 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Analysis of Hybrid Petri Nets with Random Discrete Events Promovendin: Ghasemieh, Hamed \| Betreuerinnen: Remke, Anne; Haverkort, Boudewijn Zeitraum: 01.10.2011 - 03.02.2017 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster)
Model-checking Mean-field Models: Algorithms and Applications Promovendin: Kolesnischenko, Anna \| Betreuerinnen: Haverkort, Boudewijn R. De Boer, Pieter-Tjerk Zeitraum: bis 17.12.2014 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster)

Lock-Sensitive Reachability Analysis for Parallel Recursive Programs with Dynamic Creation of Threads and Locks Promovendin: Kenter, Sebastian \| Betreuerinnen: Müller-Olm, Markus \| Gutachter*innen: Müller-Olm, Markus; Remke, Anne Zeitraum: 02.04.2012 - 11.07.2022 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Promovendin: Pilch, Carina \| Betreuerinnen: Remke, Anne Zeitraum: bis 07.10.2021 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an der Universität Münster
Analysis of Hybrid Petri Nets with Random Discrete Events Promovendin: Ghasemieh, Hamed \| Betreuerinnen: Remke, Anne; Haverkort, Boudewijn Zeitraum: 01.10.2011 - 03.02.2017 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster)
Model-checking Mean-field Models: Algorithms and Applications Promovendin: Kolesnischenko, Anna \| Betreuerinnen: Haverkort, Boudewijn R. De Boer, Pieter-Tjerk Zeitraum: bis 17.12.2014 Promotionsverfahren erfolgt(e) an: Promotionsverfahren an anderer Universität (NICHT Universität Münster)