Anne Remke

According to our database, Anne Remke authored at least 82 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Maximizing reachability probabilities in rectangular automata with random events.

Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe

Sci. Comput. Program., 2025

Symbolic state-space exploration meets statistical model checking.

Mathis Niehage, Anne Remke

Perform. Evaluation, 2025

2024

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.

Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems.

Pauline Blohm, Paula Herber, Anne Remke

Proceedings of the PhD Symposium at the 19th International Conference on integrated Formal Methods in Manchester 2024 (iFM 2024), 2024

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.

Pauline Blohm, Paula Herber, Anne Remke

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

Developing a Robust Communication Infrastructure for a Distributed Smart Grid IDS.

Verena Menzel, Jan Speckamp, Anne Remke

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2024

2023

Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction.

Carina da Silva, Stefan Schupp, Anne Remke

ACM Trans. Model. Comput. Simul., October, 2023

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.

Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Bridging the Gap Between AI and Reality, 2023

The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability.

Mathis Niehage, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.

Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke

Proceedings of the Performance Evaluation Methodologies and Tools, 2023

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.

Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke

Proceedings of the Theoretical Aspects of Software Engineering, 2023

Comparing Two Approaches to Include Stochasticity in Hybrid Automata.

Lisa Willemsen, Anne Remke, Erika Ábrahám

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

SMT: Something You Must Try.

Erika Ábrahám, József Kovács, Anne Remke

Proceedings of the iFM 2023 - 18th International Conference, 2023

Evaluating a Process-Aware IDS for Smart Grids on Distributed Hardware.

Verena Menzel, Kai Oliver Großhanten, Anne Remke

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

ARCH-COMP23 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.

Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.

Mathis Niehage, Anne Remke

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

ARCH-COMP22 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Birgit van Huijgevoort, Abolfazl Lavaei, Hao Ma, Mathis Niehage, Anne Remke, Oliver Schön, Stefan Schupp, Sadegh Soudjani, Lisa Willemsen

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

2021

State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke

ACM Trans. Model. Comput. Simul., 2021

Securing SCADA networks for smart grids via a distributed evaluation of local sensor data.

Verena Menzel, Johann L. Hurink, Anne Remke

Proceedings of the IEEE International Conference on Communications, 2021

Learning optimal decisions for stochastic hybrid systems.

Mathis Niehage, Arnd Hartmanns, Anne Remke

Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Simulating Hybrid Petri nets with general transitions and non-linear differential equations.

Mathis Niehage, Carina Pilch, Anne Remke

Proceedings of the VALUETOOLS 2020: 13th EAI International Conference on Performance Evaluation Methodologies and Tools, 2020

A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.

Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions.

Jannik Hüls, Henner Niehaus, Anne Remke

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings.

Carina Pilch, Arnd Hartmanns, Anne Remke

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids.

Robert Flosbach, Justyna Joanna Chromik, Anne Remke

Proceedings of the 38th Symposium on Reliable Distributed Systems, 2019

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.

Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.

Jannik Hüls, Anne Remke

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications.

Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

ARCH-COMP19 Category Report: Stochastic Modelling.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Kurt Degiorgio, Martin Fränzle, Ernst Moritz Hahn, Sofie Haesaert, Hao Ma, Meeko Oishi, Carina Pilch, Anne Remke, Mahmoud Salamati, Sadegh Soudjani, Birgit van Huijgevoort, Abraham P. Vinod

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

An integrated testbed for locally monitoring SCADA systems in smart grids.

Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort

Energy Inform., 2018

A Tool for Generating Automata of IEC60870-5-104 Implementations.

Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

A Modular Environment to Test SCADA Solutions for Wind Parks.

Jannik Hüls, Anne Remke

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models.

Benedikt Ferling, Justyna J. Chromik, Marco Caselli, Anne Remke

Proceedings of the Measurement, Modelling and Evaluation of Computing Systems, 2018

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.

Carina Pilch, Mathis Niehage, Anne Remke

Proceedings of the 26th IEEE International Symposium on Modeling, 2018

2017

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.

Carina Pilch, Fabian Edenfeld, Anne Remke

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.

Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám

Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, 2017

Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.

Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke

Proceedings of the 2017 IEEE International Conference on Smart Grid Communications, 2017

Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra.

Adrian Godde, Anne Remke

Proceedings of the Computer Performance Engineering - 14th European Workshop, 2017

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.

Carina Pilch, Anne Remke

Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2017

2016

Hybrid Petri nets with general one-shot transitions.

Marco Gribaudo, Anne Remke

Perform. Evaluation, 2016

Survivability analysis of a sewage treatment facility using hybrid Petri nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Perform. Evaluation, 2016

Preface.

Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas

Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process.

Jannik Hüls, Anne Remke

Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016

Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability.

Jannik Huels, Anne Remke

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

Improving SCADA security of a local process with a power grid model.

Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 4th International Symposium for ICS & SCADA Cyber Security Research 2016, 2016

Fitting a code-red virus spread model: An account of putting theory into practice.

Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer

Proceedings of the 12th International Conference on the Design of Reliable Communication Networks, 2016

A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange.

Michael Biech, Timo Bigdon, Christian Dielitz, Georg Fromme, Anne Remke

Proceedings of the Analytical and Stochastic Modelling Techniques and Applications, 2016

2015

Hybrid Petri nets with multiple stochastic transition firings.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

EAI Endorsed Trans. Self Adapt. Syst., 2015

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo

Proceedings of the VALUETOOLS'15: Proceedings of the 9th EAI International Conference on Performance Evaluation Methodologies and Tools, 2015

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems.

Freek van den Berg, Anne Remke, Boudewijn R. Haverkort

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Computing Response Time Distributions Using Iterative Probabilistic Model Checking.

Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke

Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015

Energy Resilience Modelling for Smart Houses.

Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

2014

Survivability Evaluation of Gas, Water and Electricity Infrastructures.

Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario

Proceedings of the Seventh International Workshop on the Practical Application of Stochastic Modelling, 2014

Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031).

Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders

Dagstuhl Reports, 2014

Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks.

Geert J. Heijenk, Martijn van Eenennaam, Anne Remke

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.

Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2014

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems.

Freek van den Berg, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 5th Workshop on Medical Cyber-Physical Systems, 2014

2013

Analysis of a sewage treatment facility using hybrid Petri nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, 2013

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Performance Evaluation for Collision Prevention Based on a Domain Specific Language.

Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

WirelessHART modeling and performance evaluation.

Anne Remke, Xian Wu

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

A logic for model-checking mean-field models.

Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort

Proceedings of the 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2013

2012

An analytical model for beaconing in VANETs.

Martijn van Eenennaam, Anne Remke, Geert J. Heijenk

Proceedings of the 2012 IEEE Vehicular Networking Conference, 2012

Applying Mean-Field Approximation to Continuous Time Markov Chains.

Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke

Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

Simulative and Analytical Evaluation for ASD-Based Embedded Software.

Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition.

Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities.

Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl

Proceedings of the Resilience Assessment and Evaluation of Computing Systems, 2012

2011

Time-bounded reachability in tree-structured QBDs by abstraction.

Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen

Perform. Evaluation, 2011

Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study.

Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort

Proceedings of the Computer Performance Engineering, 2011

2010

Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks.

Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax

Proceedings of the Measurement, 2010

Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures.

Marco Gribaudo, Anne Remke

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

Evaluating repair strategies for a water-treatment facility using Arcade.

Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

A Massively Scalable Architecture For Instant Messaging & Presence.

Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

2008

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.

Anne Remke, Boudewijn R. Haverkort

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks.

Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth

Proceedings of the Analytical and Stochastic Modeling Techniques and Applications, 2008

2007

CSL model checking algorithms for QBDs.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Theor. Comput. Sci., 2007

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.

Anne Remke, Boudewijn R. Haverkort

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

2005

Model Checking Infinite-State Markov Chains.

Anne Remke, Boudewijn R. Haverkort, Lucia Cloth

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005