Anne Remke - RankMe

109 papers A 6B 5C 5Misc 3Journal 18Unranked 63

Year	Rank	Type	Title / Venue / Authors
2026	C	`ed.`	Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings FMICS Anne Remke, Bernhard Steffen
2025	J	`jnl`	ARCH-COMP25 Category Report: Stochastic Models. CoRR 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, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025	—	`ed.`	Computer Performance Engineering - 20th European Workshop, EPEW 2024, Venice, Italy, June 14, 2024, Revised Selected Papers EPEW Josu Doncel, Anne Remke, Daniele Di Pompeo
2025	—	`conf`	Interfacing process-aware Intrusion Detection for distributed energy sources with DEMKit. e-Energy Verena Menzel, Paul Dirksen, Anne Remke
2025	J	`jnl`	Maximizing reachability probabilities in rectangular automata with random events. Sci. Comput. Program. Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe
2025	—	`conf`	Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. QEST+FORMATS Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2025	J	`jnl`	Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata. CoRR Pauline Blohm, Felix Schulz, Lisa Willemsen, Anne Remke, Paula Herber
2025	—	`conf`	Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions. NFM Mathis Niehage, Carina da Silva, Anne Remke, Arnd Hartmanns
2025	J	`jnl`	Real-world case studies for a process-aware IDS. Energy Inform. Verena Menzel, Johann L. Hurink, Anne Remke
2025	—	`conf`	Running.Christel: A Stochastic Hybrid Case-Study Optimizing Battery Pack Usage. Principles of Formal Quantitative Analysis Lisa Willemsen, Anne Remke, Boudewijn R. Haverkort, Johann L. Hurink
2025	J	`jnl`	Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. CoRR Jonas Stübbe, Anne Remke, Erika Ábrahám
2025	J	`jnl`	Symbolic state-space exploration meets statistical model checking. Perform. Evaluation Mathis Niehage, Anne Remke
2025	—	`conf`	Towards Accurately Explaining Battery Behavior: Learning the Parameters of Analytical Battery Models. e-Energy Lisa Willemsen, Anne Remke, Johann L. Hurink
2024	—	`conf`	(de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems. Principles of Verification (3) Lisa Willemsen, Anne Remke, Erika Ábrahám
2024	—	`conf`	Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. PhD@IFM Pauline Blohm, Paula Herber, Anne Remke
2024	Misc	`conf`	Developing a Robust Communication Infrastructure for a Distributed Smart Grid IDS. CSR Verena Menzel, Jan Speckamp, Anne Remke
2024	—	`conf`	Safe Battery Use and Grid-Convenience in an Intelligent Energy Control System. VALUETOOLS Julius Adelt, Paula Herber, Johann L. Hurink, Mathis Niehage, Anne Remke, Lisa Willemsen
2024	—	`conf`	Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. ISoLA (3) Pauline Blohm, Martin Fränzle, Paula Herber, Paul Kröger, Anne Remke
2024	B	`conf`	Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. IFM Pauline Blohm, Paula Herber, Anne Remke
2023	—	`conf`	ARCH-COMP23 Category Report: Stochastic Models. ARCH 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
2023	—	`conf`	Comparing Two Approaches to Include Stochasticity in Hybrid Automata. QEST Lisa Willemsen, Anne Remke, Erika Ábrahám
2023	J	`jnl`	Comparing Two Approaches to Include Stochasticity in Hybrid Automata. CoRR Lisa Willemsen, Anne Remke, Erika Ábrahám
2023	Misc	`conf`	Evaluating a Process-Aware IDS for Smart Grids on Distributed Hardware. CSR Verena Menzel, Kai Oliver Großhanten, Anne Remke
2023	Misc	`conf`	Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. TASE Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023	J	`jnl`	Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. CoRR Joanna Delicaris, Stefan Schupp, Erika Ábrahám, Anne Remke
2023	J	`jnl`	Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe Construction. ACM Trans. Model. Comput. Simul. Carina da Silva, Stefan Schupp, Anne Remke
2023	—	`conf`	RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems. VALUETOOLS Joanna Delicaris, Jonas Stübbe, Stefan Schupp, Anne Remke
2023	B	`conf`	SMT: Something You Must Try. iFM Erika Ábrahám, József Kovács, Anne Remke
2023	—	`conf`	Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. AISoLA Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke
2023	—	`conf`	The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability. VALUETOOLS Mathis Niehage, Anne Remke
2022	—	`conf`	ARCH-COMP22 Category Report: Stochastic Models. ARCH@SAFECOMP 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
2022	—	`conf`	Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty. FORMATS Mathis Niehage, Anne Remke
2022	—	`ed.`	Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. SNR Anne Remke, Dung Hoang Tran
2022	—	`conf`	Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. ISoLA (1) Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke
2021	—	`conf`	ARCH-COMP21 Category Report: Stochastic Models. ARCH@ADHS 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
2021	C	`conf`	Learning optimal decisions for stochastic hybrid systems. MEMOCODE Mathis Niehage, Arnd Hartmanns, Anne Remke
2021	—	`conf`	Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction. QEST Carina Pilch, Stefan Schupp, Anne Remke
2021	—	`conf`	Securing SCADA networks for smart grids via a distributed evaluation of local sensor data. SmartGridComm Verena Menzel, Johann L. Hurink, Anne Remke
2021	J	`jnl`	State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. ACM Trans. Model. Comput. Simul. Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2020	—	`conf`	A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata. NFM Carina Pilch, Maurice Krause, Anne Remke, Erika Ábrahám
2020	—	`conf`	ARCH-COMP20 Category Report: Stochastic Models. ARCH 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
2020	—	`conf`	Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings. HSCC Carina Pilch, Arnd Hartmanns, Anne Remke
2020	C	`ed.`	Distributed Applications and Interoperable Systems - 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings DAIS Anne Remke, Valerio Schiavoni
2020	—	`ed.`	Quantitative Evaluation of Systems - 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings QEST Marco Gribaudo, David N. Jansen, Anne Remke
2020	—	`conf`	Simulating Hybrid Petri nets with general transitions and non-linear differential equations. VALUETOOLS Mathis Niehage, Carina Pilch, Anne Remke
2020	J	`jnl`	State-space construction of Hybrid Petri nets with multiple stochastic firings. CoRR Jannik Hüls, Carina Pilch, Patricia Schinke, Henner Niehaus, Joanna Delicaris, Anne Remke
2020	—	`conf`	hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions. NFM Jannik Hüls, Henner Niehaus, Anne Remke
2019	—	`conf`	A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications. DSN (Industry Track) Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort, Gerard Geist
2019	—	`conf`	ARCH-COMP19 Category Report: Stochastic Modelling. ARCH@CPSIoTWeek 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
2019	B	`conf`	Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids. SRDS Robert Flosbach, Justyna Joanna Chromik, Anne Remke
2019	C	`conf`	Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. FORTE Jannik Hüls, Anne Remke
2019	—	`conf`	State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings. QEST Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
2018	—	`conf`	A Modular Environment to Test SCADA Solutions for Wind Parks. MMB Jannik Hüls, Anne Remke
2018	—	`conf`	A Tool for Generating Automata of IEC60870-5-104 Implementations. MMB Max Kerkers, Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2018	J	`jnl`	An integrated testbed for locally monitoring SCADA systems in smart grids. Energy Inform. Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2018	—	`ed.`	Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings EPEW Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
2018	B	`conf`	HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. MASCOTS Carina Pilch, Mathis Niehage, Anne Remke
2018	—	`conf`	Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models. MMB Benedikt Ferling, Justyna J. Chromik, Marco Caselli, Anne Remke
2017	—	`conf`	Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro. VALUETOOLS Jannik Hüls, Stefan Schupp, Anne Remke, Erika Ábrahám
2017	—	`conf`	Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases. SmartGridComm Justyna J. Chromik, Carina Pilch, Pascal Brackmann, Christof Duhme, Franziska Everinghoff, Artur Giberlein, Thomas Teodorowicz, Julian Wieland, Boudewijn R. Haverkort, Anne Remke
2017	—	`conf`	HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper. VALUETOOLS Carina Pilch, Fabian Edenfeld, Anne Remke
2017	—	`conf`	Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra. EPEW Adrian Godde, Anne Remke
2017	A	`conf`	Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. DSN Carina Pilch, Anne Remke
2016	—	`ed.`	8th International Workshop on Practical Application of Stochastic Modeling, PASM 2016, Münster, Germany, April 2016 PASM Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016	—	`conf`	A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange. ASMTA Michael Biech, Timo Bigdon, Christian Dielitz, Georg Fromme, Anne Remke
2016	—	`conf`	Coordinated charging strategies for plug-in electric vehicles to ensure a robust charging process. VALUETOOLS Jannik Hüls, Anne Remke
2016	B	`conf`	Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability. MASCOTS Jannik Huels, Anne Remke
2016	—	`conf`	Fitting a code-red virus spread model: An account of putting theory into practice. DRCN Anna Kolesnichenko, Boudewijn R. Haverkort, Anne Remke, Pieter-Tjerk de Boer
2016	J	`jnl`	Hybrid Petri nets with general one-shot transitions. Perform. Evaluation Marco Gribaudo, Anne Remke
2016	—	`conf`	Improving SCADA security of a local process with a power grid model. ICS-CSR Justyna J. Chromik, Anne Remke, Boudewijn R. Haverkort
2016	—	`ed.`	Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems - 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings MMB/DFT Anne Remke, Boudewijn R. Haverkort
2016	—	`conf`	Preface. PASM Boudewijn R. Haverkort, William J. Knottenbelt, Anne Remke, Nigel Thomas
2016	J	`jnl`	Survivability analysis of a sewage treatment facility using hybrid Petri nets. Perform. Evaluation Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2015	—	`ed.`	Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings ASMTA Marco Gribaudo, Daniele Manini, Anne Remke
2015	—	`conf`	Approximate Analysis of Hybrid Petri Nets with Probabilistic Timed Transitions. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Gianfranco Ciardo
2015	—	`conf`	Computing Response Time Distributions Using Iterative Probabilistic Model Checking. EPEW Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke
2015	A	`conf`	Energy Resilience Modelling for Smart Houses. DSN Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke
2015	J	`jnl`	Hybrid Petri nets with multiple stochastic transition firings. EAI Endorsed Trans. Self Adapt. Syst. Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2015	—	`conf`	iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems. EPEW Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	A Domain Specific Language for Performance Evaluation of Medical Imaging Systems. MCPS Freek van den Berg, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. MMB/DFT Björn F. Postema, Anne Remke, Boudewijn R. Haverkort, Hamed Ghasemieh
2014	—	`conf`	Hybrid Petri nets with multiple stochastic transition firings. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2014	—	`conf`	Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks. QEST Geert J. Heijenk, Martijn van Eenennaam, Anne Remke
2014	J	`jnl`	Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). Dagstuhl Reports Erika Ábrahám, Alberto Avritzer, Anne Remke, William H. Sanders
2014	—	`ed.`	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems - International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures ROCKS Anne Remke, Mariëlle Stoelinga
2014	—	`conf`	Survivability Evaluation of Gas, Water and Electricity Infrastructures. PASM Alberto Avritzer, Laura Carnevali, Hamed Ghasemieh, Lucia Happe, Boudewijn R. Haverkort, Anne Koziolek, Daniel S. Menasché, Anne Remke, Sahra Sedigh Sarvestani, Enrico Vicario
2013	A	`conf`	A logic for model-checking mean-field models. DSN Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort
2013	—	`conf`	Analysis of a sewage treatment facility using hybrid Petri nets. VALUETOOLS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2013	—	`conf`	Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
2013	C	`conf`	Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. PRDC Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort
2013	A	`conf`	WirelessHART modeling and performance evaluation. DSN Anne Remke, Xian Wu
2012	—	`conf`	An analytical model for beaconing in VANETs. VNC Martijn van Eenennaam, Anne Remke, Geert J. Heijenk
2012	—	`conf`	Applying Mean-Field Approximation to Continuous Time Markov Chains. ROCKS Anna Kolesnichenko, Valerio Senni, Alireza Pourranjbar, Anne Remke
2012	—	`ch.`	Assessing Dependability and Resilience in Critical Infrastructures: Challenges and Opportunities. Resilience Assessment and Evaluation of Computing Systems Alberto Avritzer, Felicita Di Giandomenico, Anne Remke, Martin Riedl
2012	—	`conf`	Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition. FORMATS Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort, Marco Gribaudo
2012	—	`conf`	Simulative and Analytical Evaluation for ASD-Based Embedded Software. MMB/DFT Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort
2011	—	`conf`	Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study. EPEW Anna Kolesnichenko, Anne Remke, Pieter-Tjerk de Boer, Boudewijn R. Haverkort
2011	J	`jnl`	Time-bounded reachability in tree-structured QBDs by abstraction. Perform. Evaluation Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2010	A	`conf`	Evaluating repair strategies for a water-treatment facility using Arcade. DSN Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Mariëlle Stoelinga
2010	—	`conf`	Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. HASE Marco Gribaudo, Anne Remke
2010	—	`conf`	Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks. MMB/DFT Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Jesper Bax
2009	—	`conf`	A Massively Scalable Architecture For Instant Messaging & Presence. PASM@MASCOTS Jorrit Schippers, Anne Remke, Henk Punt, Maarten Wegdam, Boudewijn R. Haverkort
2009	—	`conf`	Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. QEST Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen
2008	—	`conf`	A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks. FORMATS Anne Remke, Boudewijn R. Haverkort
2008	—	`conf`	Bottleneck Analysis for Two-Hop IEEE 802.11e Ad Hoc Networks. ASMTA Anne Remke, Boudewijn R. Haverkort, Geert J. Heijenk, Lucia Cloth
2007	—	`conf`	CSL Model Checking Algorithms for Infinite-State Structured Markov Chains. FORMATS Anne Remke, Boudewijn R. Haverkort
2007	J	`jnl`	CSL model checking algorithms for QBDs. Theor. Comput. Sci. Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
2006	—	`conf`	A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. QEST Anne Remke, Boudewijn R. Haverkort, Lucia Cloth
2005	A	`conf`	Model Checking Infinite-State Markov Chains. TACAS Anne Remke, Boudewijn R. Haverkort, Lucia Cloth