Model Checking Infinite-State Markov Chains. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (TACAS, 2005)

A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (QEST, 2006)

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. - Anne Remke; Boudewijn R. Haverkort (FORMATS, 2007)

CSL model checking algorithms for QBDs. - Anne Remke; Boudewijn R. Haverkort; Lucia Cloth (Theor. Comput. Sci., 2007)

Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. - Anne Remke; Boudewijn R. Haverkort; Geert J. Heijenk; Lucia Cloth (ASMTA, 2008)

A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. - Anne Remke; Boudewijn R. Haverkort (FORMATS, 2008)

A Massively Scalable Architecture For Instant Messaging & Presence. - Jorrit Schippers; Anne Remke; Henk Punt; Maarten Wegdam; Boudewijn R. Haverkort (PASM@MASCOTS, 2009)

Evaluating repair strategies for a water-treatment facility using Arcade. - Boudewijn R. Haverkort; Matthias Kuntz; Anne Remke; S. Roolvink; Mariëlle Stoelinga (DSN, 2010)

Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. - Marco Gribaudo; Anne Remke (HASE, 2010)

Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. - Anne Remke; Boudewijn R. Haverkort; Geert J. Heijenk; Jesper Bax (MMB/DFT, 2010)

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 (EPEW, 2011)

Time-bounded reachability in tree-structured QBDs by abstraction. - Daniel Klink; Anne Remke; Boudewijn R. Haverkort; Joost-Pieter Katoen (Perform. Evaluation, 2011)

Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. - Alberto Avritzer; Felicita Di Giandomenico; Anne Remke; Martin Riedl 001 (Resilience Assessment and Evaluation of Computing Systems, 2012)

Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort; Marco Gribaudo (FORMATS, 2012)

Simulative and Analytical Evaluation for ASD-Based Embedded Software. - Ramin Sadre; Anne Remke; Sjors Hettinga; Boudewijn R. Haverkort (MMB/DFT, 2012)

Applying Mean-Field Approximation to Continuous Time Markov Chains. - Anna Kolesnichenko; Valerio Senni; Alireza Pourranjbar; Anne Remke (ROCKS, 2012)

An analytical model for beaconing in VANETs. - Martijn van Eenennaam; Anne Remke; Geert J. Heijenk (VNC, 2012)

A logic for model-checking mean-field models. - Anna Kolesnichenko; Pieter-Tjerk de Boer; Anne Remke; Boudewijn R. Haverkort (DSN, 2013)

WirelessHART modeling and performance evaluation. - Anne Remke; Xian Wu (DSN, 2013)

Performance Evaluation for Collision Prevention Based on a Domain Specific Language. - Freek van den Berg; Anne Remke; Arjan J. Mooij; Boudewijn R. Haverkort (EPEW, 2013)

Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort (PRDC, 2013)

Analysis of a sewage treatment facility using hybrid Petri nets. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort (VALUETOOLS, 2013)

A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. - Freek van den Berg; Anne Remke; Boudewijn R. Haverkort (MCPS, 2014)

Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. - Björn F. Postema; Anne Remke; Boudewijn R. Haverkort; Hamed Ghasemieh (MMB/DFT, 2014)

Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. - Geert J. Heijenk; Martijn van Eenennaam; Anne Remke (QEST, 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)

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 (PASM, 2014)

Energy Resilience Modelling for Smart Houses. - Hamed Ghasemieh; Boudewijn R. Haverkort; Marijn R. Jongerden; Anne Remke (DSN, 2015)

Computing Response Time Distributions Using Iterative Probabilistic Model Checking. - Freek van den Berg; Jozef Hooman; Arnd Hartmanns; Boudewijn R. Haverkort; Anne Remke (EPEW, 2015)

iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. - Freek van den Berg; Anne Remke; Boudewijn R. Haverkort (EPEW, 2015)

Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort; Gianfranco Ciardo (VALUETOOLS, 2015)

Hybrid Petri nets with multiple stochastic transition firings. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort (EAI Endorsed Trans. Self Adapt. Syst., 2015)

A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange. - Michael Biech; Timo Bigdon; Christian Dielitz; Georg Fromme; Anne Remke (ASMTA, 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 (DRCN, 2016)

Improving SCADA security of a local process with a power grid model. - Justyna J. Chromik; Anne Remke; Boudewijn R. Haverkort (ICS-CSR, 2016)

Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability. - Jannik Huels; Anne Remke (MASCOTS, 2016)

Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process. - Jannik Hüls; Anne Remke (VALUETOOLS, 2016)

Preface. - Boudewijn R. Haverkort; William J. Knottenbelt; Anne Remke; Nigel Thomas (PASM, 2016)

Survivability analysis of a sewage treatment facility using hybrid Petri nets. - Hamed Ghasemieh; Anne Remke; Boudewijn R. Haverkort (Perform. Evaluation, 2016)

Hybrid Petri nets with general one-shot transitions. - Marco Gribaudo; Anne Remke (Perform. Evaluation, 2016)

Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. - Carina Pilch; Anne Remke (DSN, 2017)

Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. - Adrian Godde; Anne Remke (EPEW, 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 (SmartGridComm, 2017)

Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. - Jannik Hüls; Stefan Schupp; Anne Remke; Erika Ábrahám (VALUETOOLS, 2017)

HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. - Carina Pilch; Fabian Edenfeld; Anne Remke (VALUETOOLS, 2017)

HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. - Carina Pilch; Mathis Niehage; Anne Remke (MASCOTS, 2018)

Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models. - Benedikt Ferling; Justyna J. Chromik; Marco Caselli; Anne Remke (MMB, 2018)

A Modular Environment to Test SCADA Solutions for Wind Parks. - Jannik Hüls; Anne Remke (MMB, 2018)

A Tool for Generating Automata of IEC60870-5-104 Implementations. - Max Kerkers; Justyna J. Chromik; Anne Remke; Boudewijn R. Haverkort (MMB, 2018)

An integrated testbed for locally monitoring SCADA systems in smart grids. - Justyna J. Chromik; Anne Remke; Boudewijn R. Haverkort (Energy Inform., 2018)

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; et al. (ARCH@CPSIoTWeek, 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 (DSN (Industry Track), 2019)

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. - Jannik Hüls; Anne Remke (FORTE, 2019)

State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. - Jannik Hüls; Carina Pilch; Patricia Schinke; Joanna Delicaris; Anne Remke (QEST, 2019)

Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids. - Robert Flosbach; Justyna Joanna Chromik; Anne Remke (SRDS, 2019)

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; et al. (ARCH, 2020)

Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. - Carina Pilch; Arnd Hartmanns; Anne Remke (HSCC, 2020)

hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. - Jannik Hüls; Henner Niehaus; Anne Remke (NFM, 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 (NFM, 2020)

Simulating Hybrid Petri nets with general transitions and non-linear differential equations. - Mathis Niehage; Carina Pilch; Anne Remke (VALUETOOLS, 2020)

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; et al. (ARCH@ADHS, 2021)

Learning optimal decisions for stochastic hybrid systems. - Mathis Niehage; Arnd Hartmanns; Anne Remke (MEMOCODE, 2021)

Securing SCADA networks for smart grids via a distributed evaluation of local sensor data. - Verena Menzel; Johann L. Hurink; Anne Remke (SmartGridComm, 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)

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; et al. (ARCH@SAFECOMP, 2022)

Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. - Mathis Niehage; Anne Remke (FORMATS, 2022)

Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. - Julius Adelt; Paula Herber; Mathis Niehage; Anne Remke (ISoLA (1), 2022)

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; et al. (ARCH, 2023)

Evaluating a Process-Aware IDS for Smart Grids on Distributed Hardware. - Verena Menzel; Kai Oliver Großhanten; Anne Remke (CSR, 2023)

SMT: Something You Must Try. - Erika Ábrahám; József Kovács; Anne Remke (iFM, 2023)

Comparing Two Approaches to Include Stochasticity in Hybrid Automata. - Lisa Willemsen; Anne Remke; Erika Ábrahám (QEST, 2023)

Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. - Joanna Delicaris; Stefan Schupp; Erika Ábrahám; Anne Remke (TASE, 2023)

RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. - Joanna Delicaris; Jonas Stübbe; Stefan Schupp; Anne Remke (VALUETOOLS, 2023)

The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. - Mathis Niehage; Anne Remke (VALUETOOLS, 2023)

Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. - Julius Adelt; Sebastian Bruch 002; Paula Herber; Mathis Niehage; Anne Remke (AISoLA, 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., 2023)

(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. - Lisa Willemsen; Anne Remke; Erika Ábrahám (Principles of Verification (3), 2024)

Developing a Robust Communication Infrastructure for a Distributed Smart Grid IDS. - Verena Menzel; Jan Speckamp; Anne Remke (CSR, 2024)

Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. - Pauline Blohm; Paula Herber; Anne Remke (IFM, 2024)

Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. - Pauline Blohm; Paula Herber; Anne Remke (PhD@IFM, 2024)

Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. - Pauline Blohm; Martin Fränzle; Paula Herber; Paul Kröger; Anne Remke (ISoLA (3), 2024)

Interfacing process-aware Intrusion Detection for distributed energy sources with DEMKit. - Verena Menzel; Paul Dirksen; Anne Remke (e-Energy, 2025)

Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models. - Lisa Willemsen; Anne Remke; Johann L. Hurink (e-Energy, 2025)

Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. - Mathis Niehage; Carina da Silva; Anne Remke; Arnd Hartmanns (NFM, 2025)

Symbolic state-space exploration meets statistical model checking. - Mathis Niehage; Anne Remke (Perform. Evaluation, 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)

Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. - Pauline Blohm; Felix Schulz; Lisa Willemsen; Anne Remke; Paula Herber (CoRR, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)

Real-world case studies for a process-aware IDS. - Verena Menzel; Johann L. Hurink; Anne Remke (Energy Inform., 2025)