Anne Remke

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 48

Top Topics

Stochastic Models

Hybrid Automata

Top Venues

Publications

Verena Menzel, Kai Oliver Großhanten, Anne Remke
Evaluating a Process-Aware IDS for Smart Grids on Distributed Hardware. CSR (2023)
Lisa Willemsen, Anne Remke, Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. CoRR (2023)
Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke
RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. VALUETOOLS (2023)
Lisa Willemsen, Anne Remke, Erika Ábrahám
Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST (2023)
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
ARCH-COMP23 Category Report: Stochastic Models. ARCH (2023)
Carina da Silva, Stefan Schupp, Anne Remke
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. ACM Trans. Model. Comput. Simul. 33 (4) (2023)
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR (2023)
Erika Ábrahám, József Kovács, Anne Remke
SMT: Something You Must Try. iFM (2023)
Mathis Niehage, Anne Remke
The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. VALUETOOLS (2023)
Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA (2023)
Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE (2023)
Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) (2022)
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
ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP (2022)
Mathis Niehage, Anne Remke
Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. FORMATS (2022)
Verena Menzel, Johann L. Hurink, Anne Remke
Securing SCADA networks for smart grids via a distributed evaluation of local sensor data. SmartGridComm (2021)
Mathis Niehage, Arnd Hartmanns, Anne Remke
Learning optimal decisions for stochastic hybrid systems. MEMOCODE (2021)
Carina Pilch, Stefan Schupp, Anne Remke
Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. QEST (2021)
Alessandro Abate, Henk 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 Thorpe, Vlad Turcuman, Paolo Zuliani
ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS (2021)
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Trans. Model. Comput. Simul. 31 (3) (2021)
Jannik Hüls, Henner Niehaus, Anne Remke
hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. NFM (2020)
Mathis Niehage, Carina Pilch, Anne Remke
Simulating Hybrid Petri nets with general transitions and non-linear differential equations. VALUETOOLS (2020)
Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. NFM (2020)
Alessandro Abate, Henk 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
ARCH-COMP20 Category Report: Stochastic Models. ARCH (2020)
Carina Pilch, Arnd Hartmanns, Anne Remke
Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC (2020)
Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
State-space construction of Hybrid Petri nets with multiple stochastic firings. CoRR (2020)
Jannik Hüls, Anne Remke
Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. FORTE (2019)
Robert Flosbach, Justyna Joanna Chromik, Anne Remke
Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids. SRDS (2019)
Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. QEST (2019)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist
A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. DSN (Industry Track) (2019)
Alessandro Abate, Henk 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
ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek (2019)
Benedikt Ferling, Justyna J. Chromik, Marco Caselli, Anne Remke
Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models. MMB (2018)
Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB (2018)
Jannik Hüls, Anne Remke
A Modular Environment to Test SCADA Solutions for Wind Parks. MMB (2018)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. 1 (1) (2018)
Carina Pilch, Mathis Niehage, Anne Remke
HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. MASCOTS (2018)
Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm (2017)
Carina Pilch, Anne Remke
Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. DSN (2017)
Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS (2017)
Adrian Godde, Anne Remke
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. EPEW (2017)
Carina Pilch, Fabian Edenfeld, Anne Remke
HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. VALUETOOLS (2017)
Michael Biech, Timo Bigdon, Christian Dielitz, Georg Fromme, Anne Remke
A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange. ASMTA (2016)
Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
Preface. Electron. Notes Theor. Comput. Sci. 327 (2016)
Jannik Huels, Anne Remke
Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability. MASCOTS (2016)
Jannik Hüls, Anne Remke
Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process. VALUETOOLS (2016)
Marco Gribaudo, Anne Remke
Hybrid Petri nets with general one-shot transitions. Perform. Evaluation 105 (2016)
Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer
Fitting a code-red virus spread model: An account of putting theory into practice. DRCN (2016)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation 97 (2016)
Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
Improving SCADA security of a local process with a power grid model. ICS-CSR (2016)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS (2015)
Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW (2015)
Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW (2015)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Hybrid Petri nets with multiple stochastic transition firings. EAI Endorsed Trans. Self Adapt. Syst. 1 (3) (2015)
Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke
Energy Resilience Modelling for Smart Houses. DSN (2015)
Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
Survivability Evaluation of Gas, Water and Electricity Infrastructures. Electron. Notes Theor. Comput. Sci. 310 (2015)
Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports 4 (1) (2014)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS (2014)
Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh
Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MMB/DFT (2014)
Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS (2014)
Geert J. Heijenk, Martijn van Eenennaam, Anne Remke
Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. QEST (2014)
Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW (2013)
Anne Remke, Xian Wu
WirelessHART modeling and performance evaluation. DSN (2013)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS (2013)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC (2013)
Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort
A logic for model-checking mean-field models. DSN (2013)
Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort
Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT (2012)
Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo
Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS (2012)
Martijn van Eenennaam, Anne Remke, Geert J. Heijenk
An analytical model for beaconing in VANETs. VNC (2012)
Anna Kolesnichenko, Valerio Senni, Alireza Pourranjabar, Anne Remke
Applying Mean-Field Approximation to Continuous Time Markov Chains. ROCKS (2012)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation 68 (2) (2011)
Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort
Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW (2011)
Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
Evaluating repair strategies for a water-treatment facility using Arcade. DSN (2010)
Marco Gribaudo, Anne Remke
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. HASE (2010)
Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort
A Massively Scalable Architecture For Instant Messaging & Presence. Electron. Notes Theor. Comput. Sci. 261 (2010)
Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax
Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. MMB/DFT (2010)
Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST (2009)
Anne Remke, Boudewijn R. Haverkort
A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS (2008)
Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth
Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA (2008)
Anne Remke, Boudewijn R. Haverkort
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS (2007)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
CSL model checking algorithms for QBDs. Theor. Comput. Sci. 382 (1) (2007)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST (2006)
Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
Model Checking Infinite-State Markov Chains. TACAS (2005)