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. Art der Publikation: 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. Manchester: Springer Nature. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
Symbolic state-space exploration meets statistical model checking Niehage, Mathis; Remke, Anne (2025) In: Performance Evaluation, 167(102449) Art der Publikation: Forschungsartikel (Zeitschrift)
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability Niehage, Mathis; Remke, Anne (2024) In: Kalyvianaki, Evangelia; Paolieri, Marco (Hrsg.), Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings. Cham: Springer. Art der Publikation: Forschungsartikel in Sammelband (Konferenz)
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 (Hrsg.), Performance Evaluation Methodologies and Tools. Cham: Springer. Art der Publikation: 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)