Professor Dr. Anne Remke

Head of safety-critical systems group.

Since October 2014 I am professor at the group of saftey-critical system which is part of the Faculty of Mathematics and Computer Science at Westfälische Wilhelms-Universität Münster.

I am also affiliated to the Design and Analysis of Communication Systems group, which belongs to the Faculty of Electrical Engineering, Mathematics, and Computer Science at the University of Twente. Since March 2016 as associate professor and before (since June 2010) as assistant professor. I hold a Ph. D. degree (2008) from the University of Twente and a M.Sc degree (2004) from the RWTH Aachen, both in Computer Science.

My research focus is on dependability and security in critical 7x24 infrastructures, such as electrical power systems and their infrastructure and telecommunication and ICT infrastructures. Critical Infrastructures are so-called cyber-physical systems, which control the physical processes and the corresponding hardware using a decentralized control network. My interest is currently focused on the evaluation of (dis-)charging strategies for local energy storage, esp. in the context of smart homes, as well as the security of control networks (i.e. SCADA), esp. in the context of smart grids.

Consultation hour

Please do not hesitate to contact me via eMail.

Regarding questions for extracurricular attendence for lectures please directly conctact Katharina Sichma via eMail.

Vita
In November, 2010 I received a Veni award from the Dutch Science foundation (NWO) for doing research on 'Counting on a reliable water supply' (laymen title) or 'Dependability analysis of fluid critical infrastructures using hybrid stochastic models' (scientific title).

June 20, 2008 I publicly defended my PhD thesis "Model Checking Structured Infinite Markov Chains" at the University of Twente. During my PhD I worked in the NWO project MC=MC under the supervision of Boudewijn Haverkort. My research topics was "Model checking infinite state Markov chains".

During my PhD my research interests were CSL model checking in general, and model checking of infinite-state Markov chains in particular. I am still interested in structured state spaces like quasi-birth death processes (QBDs), tree-structured QBDs and Jackson queueing networks (JQNs) and in the analysis of bottlenecks in multi-hop IEEE 802.11e ad hoc networks.

I completed my diploma thesis, entitled "Model Checking Quasi Birth Death Processes" in the summer of 2004 while staying, as a visiting student, at the University of Twente. I have been awarded the 2006 GI/ITG MMB prize for the best diploma thesis in the area of measurements, modelling and evaluation of computer and communication systems. The prize is awarded jointly by the "Gesellschaft for Informatik" and the "Informationstechnische Gesellschaft im VDE", and was officially handed out at the MMB conference in Nurnberg, Germany.

Born in Muenster, Germany, April 24th 1980, I finished high school in June 1999 and graduated in Computer Science at the RWTH Aachen in 2004 (Dipl. - Inform)

Publications
Publications
- 2024
- 2023
- 2022
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
2024
- Delicaris, Joanna; Stübbe, Jonas; Schupp, Stefan; Remke, Anne. 2024. ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by Kalyvianaki, Evangelia; Paolieri, Marco, 170–182. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- Niehage, Mathis; Remke, Anne. 2024. ‘The Best of Both Worlds: Analytically-Guided Simulation of HPnGs for Optimal Reachability.’ In Performance Evaluation Methodologies and Tools - 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6–7, 2023, Proceedings, edited by Kalyvianaki, Evangelia; Paolieri, Marco, 61–81. Cham: Springer. doi: 10.1007/978-3-031-48885-6_5.
2023
- Adelt J.; Bruch S.; Herber P.; Niehage M.; Remke A. 2023. ‘Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.’ In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, edited by Steffen, Bernhard, 94–118. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.
- Delicaris, Joanna; Schupp, Stefan; Ábrahám, Erika; Remke, Anne. 2023. ‘Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.’ In Theoretical Aspects of Software Engineering, edited by David, Cristina; Sun, Meng, 164–182. Cham: Springer. doi: 10.1007/978-3-031-35257-7_10.
- da Silva, Carina; Schupp, Stefan; Remke, Anne. 2023. ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ ACM Transactions on Modeling and Computer Simulation 33, No. 4: 1–27. doi: https://doi.org/10.1145/3607197.
2022
- Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne. 2022. ‘Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty.’ In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, edited by Margaria, Tiziana; Steffen, Bernhard, 299–319. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
- Niehage, Mathis; Remke, Anne. 2022. ‘Learning that Grid-Convenience Does Not Hurt Resilience in the Presence of Uncertainty.’ In Formal Modeling and Analysis of Timed Systems - 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13–15, 2022, Proceedings, edited by Bogomolov, Sergiy; Parker, David, 298–306. Warsaw, Poland: Springer. doi: 10.1007/978-3-031-15839-1_17.
- Abate, Alessandro; Blom, Henk; Delicaris, Joanna; Haesaert, Sofie; Hartmanns, Arnd; van Huijgevoort, Birgit; Lavaei, Abolfazl; Ma, Hao; Niehage, Mathis; Remke, Anne; Schön, Oliver; Schupp, Stefan; Soudjani, Sadegh; Willemsen, Lisa. 2022. ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by Frehse, Goran; Althoff, Matthias; Schoitsch, Erwin; Guiochet, Jeremie, 113–141. München: EasyChair. doi: 10.29007/lsvc.
2021
- Abate Alessandro, Blom Henk, Bouissou Marc, Cauchi Nathalie, Chraibi Hassane, Delicaris Joanna, Haesaert Sofie, Hartmanns Arnd, Khaled Mahmoud, Lavaei Abolfazl, Ma Hao, Mallik Kaushik, Niehage Mathis, Remke Anne, Schupp Stefan, Shmarov Fedor, Soudjani Sadegh, Thorpe Adam, Turcuman Vlad, Zuliani Paolo. 2021. ‘ARCH-COMP21 Category Report: Stochastic Models.’ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 55–89. doi: 10.29007/dprv.
- Niehage, Mathis; Hartmanns, Arnd; Remke, Anne. 2021. ‘Learning optimal decisions for stochastic hybrid systems.’ In MEMOCODE '21: Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021, edited by Saha, Indranil; Zhang, Lijun, 44–55. Virtual Event, China: ACM Press. doi: 10.1145/3487212.3487339.
- Pilch Carina, Schupp Stefan, Remke Anne. 2021. ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ In Quantitative Evaluation of Systems. QEST 2021, edited by Abate, Alessandro; Marin, Andrea, 435–456. Cham: Springer. doi: 10.1007/978-3-030-85172-9_23.
- Hüls, Jannik; Pilch, Carina; Schinke, Patricia; Niehaus, Henner; Delicaris, Joanna; Remke, Anne. 2021. ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, No. 3: 1–37. doi: 10.1145/3449353.
2020
- Niehage, Mathis; Pilch, Carina; Remke, Anne. 2020. ‘Simulating Hybrid Petri nets with general transitions and non-linear differential equations.’ In Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools, edited by ACM, 88–95. New York, NY, USA: ACM Press. doi: 10.1145/3388831.3388842.
- Pilch, Carina; Krause, Maurice; Remke, Anne; Ábrahám, Erika. 2020. ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ In NASA Formal Methods, edited by Lee, Ritchie; Jha, Susmit; Mavridou, Anastasia, 381–400. Cham: Springer. doi: 10.1007/978-3-030-55754-6_23.
- Pilch, Carina; Hartmanns, Arnd; Remke, Anne. 2020. ‘Classic and Non-Prophetic Model Checking for Hybrid Petri Nets with Stochastic Firings.’ In Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control, edited by ACM, 1–11. New York, NY, USA: ACM Press. doi: 10.1145/3365365.3382198.
- Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Delicaris, Joanna; Hartmanns, Arnd; Khaled, Mahmoud; Lavaei, Abolfazl; Pilch, Carina; Remke, Anne; Schupp, Stefan; Shmarov, Fedor; Soudjani, Sadegh; Vinod, Abraham; Wooding, Ben; Zamani, Majid; Zuliani, Paolo. 2020. ‘ARCH-COMP20 Category Report: Stochastic Models.’ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), edited by Frehse, Goran; Althoff, Matthias, 76–106. online: EasyChair. doi: 10.29007/mqzc.
2019
- Chromik J, Flosbach R, Remke A. 2019. ‘Architecture and prototype implementation for process-aware intrusion detection in electrical grids.’ In 38th International Symposium on Reliable Distributed Systems 2019, 1–10.: Wiley-IEEE Computer Society Press.
- Abate, Alessandro; Blom, Henk; Cauchi, Nathalie; Degiorgio, Kurt; Fränzle, Martin; Hahn, Ernst Moritz ; Haesaert, Sofie; Ma, Hao; Oishi, Meeko ; Pilch, Carina; Remke, Anne; Salamati, Mahmoud; Soudjani, Sadegh; van Huijgevoort, Birgit; Vinod, Abraham. 2019. ‘ARCH-COMP19 Category Report: Stochastic Modelling.’ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by Frehse, Goran; Althoff, Matthias, 62–102. Montreal,: EasyChair. doi: 10.29007/f2vb.
- Chromik JJ, Remke A, Haverkort BR, Geist G. 2019. ‘A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications.’ In 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN (Industry Track) 2019, Portland, OR, USA, June 24-27, 2019, 5–8. doi: 10.1109/DSN-Industry.2019.00008.
- Hüls J, Remke A. 2019. ‘Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes.’ In Formal Techniques for Distributed Objects, Components, and Systems - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings, 148–166. doi: 10.1007/978-3-030-21759-4\_9.
- Hüls. Jannik; Pilch, Carina; Schinke, Patricia; Delicaris, Joanna; Remke, Anne. 2019. ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by Parker, David; Wolf, Verena, 182–199. Cham: Springer. doi: 10.1007/978-3-030-30281-8_11.
2018
- Chromik J, Remke A, Haverkort B. 2018. ‘Bro in SCADA: dynamic intrusion detection policies based on a system model.’ In 5th Int. Symp. for ICS & SCADA Cyber Security Research, 1–10.: Selbstverlag / Eigenverlag. doi: 10.14236/ewic/ICS2018.13.
- Chromik J, Remke A, Haverkort B. 2018. ‘An integrated testbad for locally monitoring SCADA systems in Smart grids.’ Energy Informatics 1, No. 65: 1–29. doi: 10.1186/s42162-018-0058-7.
- Pilch, Carina; Niehage, Mathis; Remke, Anne. 2018. ‘HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems.’ In 2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), edited by IEEE, 157–169. Milwaukee: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.
- Ferling B, Chromik JJ, Caselli M, Remke A. 2018. ‘Intrusion Detection for Sequence-Based Attacks with Reduced Traffic Models.’ In Measurement, Modelling and Evaluation of Computing Systems - 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, 53–67. doi: 10.1007/978-3-319-74947-1\_4.
- Hü}ls J, Remke A. 2018. ‘A Modular Environment to Test SCADA Solutions for Wind Parks.’ In Measurement, Modelling and Evaluation of Computing Systems - 19th International {GI/ITG} Conference, {MMB} 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, 262–272. doi: 10.1007/978-3-319-74947-1\_18.
- Kerkers M, Chromik JJ, Remke A, Haverkort BR. 2018. ‘A Tool for Generating Automata of IEC60870-5-104 Implementations.’ In Measurement, Modelling and Evaluation of Computing Systems - 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings, 307–311. doi: 10.1007/978-3-319-74947-1\_23.
- Bakhshi R, Ballarini P, Barbot B, Castel{-}Taleb H, Remke A (Eds.): 2018. Computer Performance Engineering - 15th European Workshop, {EPEW} 2018, Paris, France, October 29-30, 2018, Proceedings. 40^th Ed. : Springer VDI Verlag. doi: 10.1007/978-3-030-02227-3.
2017
- Pilch, Carina; Remke, Anne. 2017. ‘Statistical Model Checking for Hybrid Petri Nets with Multiple General Transitions.’ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), edited by IEEE, 475–486. Denver: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
- Godde A, Remke A. 2017. ‘Model Checking the {STL} Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra.’ In Computer Performance Engineering - 14th European Workshop, {EPEW} 2017, Berlin, Germany, September 7-8, 2017, Proceedings, 101–116. doi: 10.1007/978-3-319-66583-2\_7.
- Chromik, Justyna J.; Pilch, Carina; Brackmann, Pascal; Duhme, Christof; Everinghoff, Franzika; Giberlein, Artur; Teodorowicz, Thomas; Wieland, Julian; Haverkort, Boudewijn R.; Remke, Anne. 2017. ‘Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.’ In IEEE International Conference on Smart Grid Communications (SmartGridComm), edited by IEEE, 467–472. Dresden: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
- Pilch, Carina; Edenfeld, Fabian; Remke, Anne. 2017. ‘HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper.’ In Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, edited by ACM, 186–191. New York, NY, USA: ACM Press. doi: 10.1145/3150928.3150956.
- Hüls J, Schupp S, Remke A, Ábraham E. 2017. ‘Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro.’ In Proceedings of the 11th {EAI} International Conference on Performance Evaluation Methodologies and Tools, {VALUETOOLS} 2017, Venice, Italy, December 05-07, 2017, 178–185. doi: 10.1145/3150928.3150938.
2016
- Ghasemieh H., Remke A., Haverkort B. 2016. ‘Survivability analysis of a sewage treatment facility using hybrid Petri nets.’ Performance Evaluation 97, No. null: 36–56. doi: 10.1016/j.peva.2015.11.004.
- Chromik J., Remke A., Haverkort B. 2016. ‘What's under the hood? Improving SCADA security with process awareness.’ Contributed to the 2016 IEEE Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids, CPSR-SG 2016, aut. doi: 10.1109/CPSRSG.2016.7684100.
- Remke A., Haverkort B. 2016. ‘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.’ Contributed to the 18th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB and DFT 2016, deu. doi: 10.1007/978-3-319-31559-1.
- Gribaudo M., Remke A. 2016. ‘Hybrid Petri nets with general one-shot transitions.’ Performance Evaluation 105, No. null: 22–50. doi: 10.1016/j.peva.2016.09.002.
- Huels J., Remke A. 2016. ‘Energy storage in smart homes: Grid-convenience versus self-use and survivability.’ Contributed to the 24th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS 2016, gbr. doi: 10.1109/MASCOTS.2016.33.
- Jongerden M., Hüls J., Remke A., Haverkort B. 2016. ‘Does your domestic photovoltaic energy system survive grid outages?’ Energies 9, No. 9. doi: 10.3390/en9090736.
- Jongerden M., Huls J., Haverkort B., Remke A. 2016. ‘Assessing the cost of energy independence.’ Contributed to the 2016 IEEE International Energy Conference, ENERGYCON 2016, bel. doi: 10.1109/ENERGYCON.2016.7514139.
- Biech M., Bigdon T., Dielitz C., Fromme G., Remke A. 2016. ‘A smart neighbourhood simulation tool for shared energy storage and exchange.’ Contributed to the 23rd International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2016, gbr. doi: 10.1007/978-3-319-43904-4_6.
2015
- Ghasemieh, H., Remke, A., Haverkort, B. 2015. ‘Hybrid Petri nets with multiple stochastic transition firings.’ EAI Endorsed Transactions on Self-Adaptive Systems 1(3):e1.
- Gribaudo M, Manini D, Remke A (Eds.): 2015. Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, {ASMTA} 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings. : Springer VDI Verlag. doi: 10.1007/978-3-319-18579-8.
- Avritzer A., Carnevalib L., Ghasemiehf H., Happe L., Haverkort B., Koziolek A., Menasche D., Remke A., Sarvestani S., Vicario E. 2015. ‘Survivability evaluation of gas, water and electricity infrastructures.’ Electronic Notes in Theoretical Computer Science 310, No. null: 5–25. doi: 10.1016/j.entcs.2014.12.010.
- Van Den Berg F., Remke A., Haverkort B. 2015. ‘IDSL: Automated performance prediction and analysis of medical imaging systems.’ Contributed to the 12th European Performance Engineering Workshop, EPEW 2015, esp. doi: 10.1007/978-3-319-23267-6_15.
- Ghasemieh H., Haverkort B., Jongerden M., Remke A. 2015. ‘Energy Resilience Modelling for Smart Houses.’ Contributed to the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, bra. doi: 10.1109/DSN.2015.31.
- Van Den Berg F., Hooman J., Hartmanns A., Haverkort B., Remke A. 2015. ‘Computing response time distributions using iterative probabilistic model checking.’ Contributed to the 12th European Performance Engineering Workshop, EPEW 2015, esp. doi: 10.1007/978-3-319-23267-6_14.
- Gribaudo M., Manini D., Remke A. 2015. Analytical and stochastic modelling techniques and applications 22nd international conference, ASMTA 2015 Albena, Bulgaria, may 26–29, 2015 proceedings.: Springer Verlag. doi: 10.1007/978-3-319-18579-8.
2014
- Remke A, Stoelinga M (Eds.): 2014. 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. : Springer VDI Verlag. doi: 10.1007/978-3-662-45489-3.
- Heijenk G., Van Eenennaam M., Remke A. 2014. ‘Performance comparison of IEEE 802.11 DCF and EDCA for beaconing in vehicular networks.’ Contributed to the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, Florence, ita. doi: 10.1007/978-3-319-10696-0_12.
- Postema B., Remke A., Haverkort B., Ghasemieh H. 2014. ‘Fluid survival tool: A model checker for hybrid Petri nets.’ Contributed to the Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”, Bamberg. doi: 10.1007/978-3-319-05359-2_18.
- Kolesnichenko A., Senni V., Pourranjabar A., Remke A. 2014. ‘Applying mean-field approximation to continuous time markov chains.’ Contributed to the ROCKS 2012, Vahrn, Italy.

Vita

Publications

Publications

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014