| 2025 | SYNASC | Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks. | Jonas Stbbe, Anne Remke, Erika brahm |
| 2024 | IFM | Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | IFM | Combining Quantitative and Qualitative Analysis for Safe and Resilient Intelligent Hybrid Systems. | Pauline Blohm, Paula Herber, Anne Remke |
| 2024 | ISoLA | Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems. | Pauline Blohm, Martin Frnzle, Paula Herber, Paul Krger, Anne Remke |
| 2023 | IFM | SMT: Something You Must Try. | Erika brahm, Jzsef Kovcs, Anne Remke |
| 2023 | TASE | Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks. | Joanna Delicaris, Stefan Schupp, Erika brahm, Anne Remke |
| 2023 | VECoS | Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. | Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke |
| 2022 | ISoLA | Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty. | Julius Adelt, Paula Herber, Mathis Niehage, Anne Remke |
| 2021 | MEMOCODE | Learning optimal decisions for stochastic hybrid systems. | Mathis Niehage, Arnd Hartmanns, Anne Remke |
| 2019 | DSN | 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 |
| 2019 | FORTE | Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes. | Jannik Hls, Anne Remke |
| 2019 | SRDS | Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids. | Robert Flosbach, Justyna Joanna Chromik, Anne Remke |
| 2018 | MASCOTS | HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems. | Carina Pilch, Mathis Niehage, Anne Remke |
| 2017 | DSN | Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions. | Carina Pilch, Anne Remke |
| 2016 | MASCOTS | Energy Storage in Smart Homes: Grid-Convenience Versus Self-Use and Survivability. | Jannik Huels, Anne Remke |
| 2015 | DSN | Energy Resilience Modelling for Smart Houses. | Hamed Ghasemieh, Boudewijn R. Haverkort, Marijn R. Jongerden, Anne Remke |
| 2013 | DSN | A logic for model-checking mean-field models. | Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke, Boudewijn R. Haverkort |
| 2013 | DSN | WirelessHART modeling and performance evaluation. | Anne Remke, Xian Wu |
| 2013 | PRDC | Survivability Evaluation of Fluid Critical Infrastructures Using Hybrid Petri Nets. | Hamed Ghasemieh, Anne Remke, Boudewijn R. Haverkort |
| 2010 | DSN | Evaluating repair strategies for a water-treatment facility using Arcade. | Boudewijn R. Haverkort, Matthias Kuntz, Anne Remke, S. Roolvink, Marille Stoelinga |
| 2005 | TACAS | Model Checking Infinite-State Markov Chains. | Anne Remke, Boudewijn R. Haverkort, Lucia Cloth |