Professor Dr. Anne Remke

• Zentrum für Interdisziplinäre Nachhaltigkeitsforschung (ZIN)

2023

Best paper award – Conference Program Committee of the European Alliance for Innovation (EAI)

Sommersemester 2026

Vorlesung

• Vorlesung: Diskrete Strukturen [104084]
  (zusammen mit Jonas Stübbe)
  • [14.04. – 14.07.2026 | Di., 10:00 – 12:00 Uhr | wöchentlich | M B 2 (M 2)]

Seminare

• Projektseminar: Projektseminar: Optimierung des Stromeinkaufs unter Berücksichtigung von Flexibilität in der Erzeugung [104086]
  (zusammen mit Fabian Gieseke)
  • [Do., 09.04.2026, 12:00 – 16:00 Uhr | Einzeltermin | SRZ 205]
  • [Mo., 13.04.2026, 12:00 – 16:00 Uhr | Einzeltermin | SRZ 205]
  • [20.04. – 20.07.2026 | Mo., 10:00 – 12:00 Uhr | 14-täglich | SRZ 205]
• Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [104087]
  • [wöchentlich]

Übungen

• Übung: Übungen zur Vorlesung "Diskrete Strukturen" [104085]
  (zusammen mit Jonas Stübbe)
  • [17.04. – 17.07.2026 | Fr., 12:00 – 14:00 Uhr | wöchentlich | M A 111 (SR 1C)]
  • [23.04. – 16.07.2026 | Do., 12:00 – 14:00 Uhr | wöchentlich | M A 111 (SR 1C)]
  • [23.04. – 16.07.2026 | Do., 10:00 – 12:00 Uhr | wöchentlich | M A 111 (SR 1C)]
  • [24.04. – 17.07.2026 | Fr., 14:00 – 16:00 Uhr | wöchentlich | SRZ 105]
  • [29.04. – 15.07.2026 | Mi., 14:00 – 16:00 Uhr | wöchentlich | SRZ 105]
• Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104117]
  (zusammen mit Carina da Silva, Jan Vahrenhold, Markus Müller-Olm, Florian Kurpicz, Dietmar Lammers, Ralph-Günther Holz, Zoltan Mann, Tanya Braun, Malte Schilling, Paula Herber, Xiaoyi Jiang und Sergei Gorlatch)

Wintersemester 2025/26

Vorlesung

• V/Ü: Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [102090]
  (zusammen mit Pauline Blohm und Jonas Stübbe)

Seminare

• Projektseminar: Batterieverhalten verstehen und vorhersagen: Modellierung und Simulation auf Basis von analytischen Batteriemodellen [102091]
  (zusammen mit Carina da Silva)
• Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102092]

Übung

• Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102118]
  (zusammen mit Carina da Silva, Jan Vahrenhold, Markus Müller-Olm, Florian Kurpicz, Dietmar Lammers, Ralph-Günther Holz, Tanya Braun, Zoltan Mann, Malte Schilling, Paula Herber, Xiaoyi Jiang und Sergei Gorlatch)

Kolloquium

• Kolloquium: Informatik-Kolloquium [102117]
  (zusammen mit Jan Vahrenhold, Markus Müller-Olm, Florian Kurpicz, Ralph-Günther Holz, Zoltan Mann, Tanya Braun, Malte Schilling, Paula Herber, Xiaoyi Jiang und Sergei Gorlatch)

Sommersemester 2025

Vorlesungen

• Vorlesung: Diskrete Strukturen [100087]
  (zusammen mit Jonas Stübbe)
• V/Ü: Einführung in das Quantitative Model Checking [100089]
  (zusammen mit Pauline Blohm)

Seminare

• Projektseminar: Projektseminar: Entwurf und Analyse sicherheitskritischer eingebetteter Systeme [100062]
  (zusammen mit Pauline Blohm, Julius Adelt und Paula Herber)
• Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [100090]

Übungen

• Übung: Übungen zur Vorlesung "Diskrete Strukturen" [100088]
  (zusammen mit Jonas Stübbe)
• Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [100120]
  (zusammen mit Carina da Silva, Jan Vahrenhold, Markus Müller-Olm, Dietmar Lammers, Ralph-Günther Holz, Tanya Braun, Malte Schilling, Paula Herber, Xiaoyi Jiang, Sergei Gorlatch und Vladimir Molchanov)

Kolloquium

• Kolloquium: Informatik-Kolloquium [100119]
  (zusammen mit Jan Vahrenhold, Markus Müller-Olm, Ralph-Günther Holz, Tanya Braun, Malte Schilling, Paula Herber, Xiaoyi Jiang und Sergei Gorlatch)

Wintersemester 2024/25

Vorlesung

• Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
  (zusammen mit Pauline Blohm, Joanna Delicaris und Jonas Stübbe)

Seminar

• Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [108091]

Übungen

• Übung: Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
  (zusammen mit Pauline Blohm, Joanna Delicaris und Jonas Stübbe)
• Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108119]
  (zusammen mit Carina da Silva, Jan Vahrenhold, Markus Müller-Olm, Dietmar Lammers, Ralph-Günther Holz, Tanya Braun, Malte Schilling, Paula Herber, Xiaoyi Jiang und Sergei Gorlatch)

Kolloquium

• Kolloquium: Informatik-Kolloquium [108118]
  (zusammen mit Jan Vahrenhold, Markus Müller-Olm, Ralph-Günther Holz, Tanya Braun, Paula Herber, Malte Schilling, Xiaoyi Jiang und Sergei Gorlatch)

• Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" – ROCKS (2017)
  Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren

• Blohm, Pauline, Schulz, Felix, Willemsen, Lisa, Remke, Anne, und Herber, Paula. 2025. „Modeling Uncertainty: From Simulink to Stochastic Hybrid Automata.“ In International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Bd. 16143 aus Lecture Notes in Computer Science, herausgegeben von Pavithra Prabhakar und Andrea Vandin. Switzerland: Springer Nature. doi: 10.1007/978-3-032-05792-1_21.
• Blohm, Pauline, Fränzle, Martin, Herber, Paula, Kröger, Paul, und Remke, Anne. 2025. „Towards Probabilistic Contracts for Intelligent Cyber-Physical Systems.“ In Leveraging Applications of Formal Methods, Verification and Validation, Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Crete: Springer. doi: 10.1007/978-3-031-75380-0_3.
• Blohm, Pauline, Herber, Paula, und Remke, Anne. 2025. „Towards Quantitative Analysis of Simulink Models Using Stochastic Hybrid Automata.“ In Integrated Formal Methods. iFM 2024, Lecture Notes in Computer Science, herausgegeben von Nikolai Kosmatov und Laura Kovács. Switzerland: Springer Nature. doi: 10.1007/978-3-031-76554-4_10.
• Niehage, Mathis, und Remke, Anne. 2025. „Symbolic state-space exploration meets statistical model checking.“ Performance Evaluation 167 (102449). doi: 10.1016/j.peva.2024.102449.
• Niehage, Mathis, da Silva, Carina, Remke, Anne, und Hartmanns, Arnd. 2025. „Rare Event Simulation for Stochastic Hybrid Systems Using Symbolic Importance Functions.“ In NASA Formal Methods, Bd. 15682 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Aaron Dutle, Laura Humphrey und Laura Titolo. Cham: Springer. doi: 10.1007/978-3-031-93706-4_15.
• Delicaris, Joanna, Stübbe, Jonas, Schupp, Stefan, und Remke, Anne. 2024. „RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.“ In Performance Evaluation Methodologies and Tools, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
• Niehage, Mathis, und 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, Bd. 539 aus Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, herausgegeben von Evangelia Kalyvianaki und Marco Paolieri. Cham: Springer. doi: 10.1007/978-3-031-48885-6_5.
• Adelt, J., Bruch, S., Herber, P., Niehage, M., und 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, Bd. 14380 aus Lecture Notes in Computer Science, herausgegeben von Bernhard Steffen. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6.
• Delicaris, Joanna, Schupp, Stefan, Ábrahám, Erika, und Remke, Anne. 2023. „Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.“ In Theoretical Aspects of Software Engineering, Lecture Notes in Computer Science, herausgegeben von Cristina David und Meng Sun. Cham: Springer. doi: 10.1007/978-3-031-35257-7_10.
• da Silva, Carina, Schupp, Stefan, und 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 (4): 1–27. doi: 10.1145/3607197.
• Adelt, Julius, Herber, Paula, Niehage, Mathis, und 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, Bd. 13701 aus Lecture Notes in Computer Science, herausgegeben von Tiziana Margaria und Bernhard Steffen. Rhodes, Greece: Springer. doi: 10.1007/978-3-031-19849-6_18.
• Niehage, Mathis, und 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, Bd. 13465 aus Lecture Notes in Computer Science, herausgegeben von Sergiy Bogomolov und David Parker. 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, und Willemsen, Lisa. 2022. „ARCH-COMP22 Category Report: Stochastic Models.“ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), Bd. 90 aus EPiC Series in Computing, herausgegeben von Goran Frehse, Matthias Althoff, Erwin Schoitsch und Jeremie Guiochet. München: EasyChair. doi: 10.29007/lsvc.
• 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, und Zuliani, Paolo. 2021. „ARCH-COMP21 Category Report: Stochastic Models.“ In 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Bd. 80 aus EPiC Series in Computing doi: 10.29007/dprv.
• Niehage, Mathis, Hartmanns, Arnd, und 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, herausgegeben von Indranil Saha und Lijun Zhang. Virtual Event, China: ACM Press. doi: 10.1145/3487212.3487339.
• Pilch, Carina, Schupp, Stefan, und Remke, Anne. 2021. „Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.“ In Quantitative Evaluation of Systems. QEST 2021, herausgegeben von Alessandro Abate und Andrea Marin. Cham: Springer. doi: 10.1007/978-3-030-85172-9_23.
• Hüls, Jannik, Pilch, Carina, Schinke, Patricia, Niehaus, Henner, Delicaris, Joanna, und Remke, Anne. 2021. „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ ACM Transactions on Modeling and Computer Simulation 31 (3): 1–37. doi: 10.1145/3449353.
• Niehage, Mathis, Pilch, Carina, und 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, herausgegeben von ACM. New York, NY, USA: ACM Press. doi: 10.1145/3388831.3388842.
• Pilch, Carina, Krause, Maurice, Remke, Anne, und Ábrahám, Erika. 2020. „A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.“ In NASA Formal Methods, Bd. 12229 aus Lecture Notes in Computer Science (LNCS), herausgegeben von Ritchie Lee, Susmit Jha und Anastasia Mavridou. Cham: Springer. doi: 10.1007/978-3-030-55754-6_23.
• Pilch, Carina, Hartmanns, Arnd, und 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, HSCC '20, herausgegeben von ACM. 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, und Zuliani, Paolo. 2020. „ARCH-COMP20 Category Report: Stochastic Models.“ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Bd. 74 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. online: EasyChair. doi: 10.29007/mqzc.
• Chromik, J, Flosbach, R, und Remke, A. 2019. „Architecture and prototype implementation for process-aware intrusion detection in electrical grids.“ In 38th International Symposium on Reliable Distributed Systems 2019 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, und Vinod, Abraham. 2019. „ARCH-COMP19 Category Report: Stochastic Modelling.“ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Bd. 61 aus EPiC Series in Computing, herausgegeben von Goran Frehse und Matthias Althoff. Montreal,: EasyChair. doi: 10.29007/f2vb.
• Chromik, JJ, Remke, A, Haverkort, BR, und 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 doi: 10.1109/DSN-Industry.2019.00008.
• Hüls, J, und 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 doi: 10.1007/978-3-030-21759-4\_9.
• Hüls., Jannik, Pilch, Carina, Schinke, Patricia, Delicaris, Joanna, und Remke, Anne. 2019. „State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.“ In Quantitative Evaluation of Systems, Bd. 11785 aus LNCS, herausgegeben von David Parker und Verena Wolf. Cham: Springer. doi: 10.1007/978-3-030-30281-8_11.
• Chromik, J, Remke, A, und 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 BCS Learning & Development Ltd.. doi: 10.14236/ewic/ICS2018.13.
• Chromik, J, Remke, A, und Haverkort, B. 2018. „An integrated testbad for locally monitoring SCADA systems in Smart grids.“ Energy Informatics 1 (65): 1–29. doi: 10.1186/s42162-018-0058-7.
• Pilch, Carina, Niehage, Mathis, und 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), herausgegeben von IEEE. Milwaukee: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.
• Ferling, B, Chromik, JJ, Caselli, M, und 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 doi: 10.1007/978-3-319-74947-1\_4.
• Hü}ls, J, und 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 doi: 10.1007/978-3-319-74947-1\_18.
• Kerkers, M, Chromik, JJ, Remke, A, und 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 doi: 10.1007/978-3-319-74947-1\_23.
• Bakhshi, R, Ballarini, P, Barbot, B, Castel{-}Taleb, H, und Remke, A, Hrsg. 2018. Lecture Notes in Computer Science, Bd. 11178, Computer Performance Engineering - 15th European Workshop, {EPEW} 2018, Paris, France, October 29-30, 2018, Proceedings 40. Aufl. Springer VDI Verlag. doi: 10.1007/978-3-030-02227-3.
• Pilch, Carina, und 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), herausgegeben von IEEE. Denver: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
• Godde, A, und 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 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., und 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), herausgegeben von IEEE. Dresden: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
• Pilch, Carina, Edenfeld, Fabian, und 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, herausgegeben von ACM. New York, NY, USA: ACM Press. doi: 10.1145/3150928.3150956.
• Hüls, J, Schupp, S, Remke, A, und Á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 doi: 10.1145/3150928.3150938.
• Ghasemieh, H., Remke, A., und Haverkort, B. 2016. „Survivability analysis of a sewage treatment facility using hybrid Petri nets.“ Performance Evaluation 97 (null): 36–56. doi: 10.1016/j.peva.2015.11.004.
• Chromik, J., Remke, A., und Haverkort, B. 2016. „What's under the hood? Improving SCADA security with process awareness.“ In Bd. null aus IEEE Joint Workshop on Cyber-Physical Security and Resilience in Smart Grids Wiley-IEEE Press. doi: 10.1109/CPSRSG.2016.7684100.
• Remke, A., und 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.“ In Bd. 9629 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-31559-1.
• Gribaudo, M., und Remke, A. 2016. „Hybrid Petri nets with general one-shot transitions.“ Performance Evaluation 105 (null): 22–50. doi: 10.1016/j.peva.2016.09.002.
• Huels, J., und Remke, A. 2016. „Energy storage in smart homes: Grid-convenience versus self-use and survivability.“ In Bd. null aus IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Wiley-IEEE Press. doi: 10.1109/MASCOTS.2016.33.
• Jongerden, M., Hüls, J., Remke, A., und Haverkort, B. 2016. „Does your domestic photovoltaic energy system survive grid outages?“ Energies 9 (9). doi: 10.3390/en9090736.
• Jongerden, M., Huls, J., Haverkort, B., und Remke, A. 2016. „Assessing the cost of energy independence.“ In Bd. null aus IEEE International Energy Conference Wiley-IEEE Press. doi: 10.1109/ENERGYCON.2016.7514139.
• Biech, M., Bigdon, T., Dielitz, C., Fromme, G., und Remke, A. 2016. „A smart neighbourhood simulation tool for shared energy storage and exchange.“ In Bd. 9845 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-43904-4_6.
• Ghasemieh, H., Remke, A., und 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, und Remke, A, Hrsg. 2015. Lecture Notes in Computer Science, Bd. 9081, 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., und Vicario, E. 2015. „Survivability evaluation of gas, water and electricity infrastructures.“ Electronic Notes in Theoretical Computer Science 310 (null): 5–25. doi: 10.1016/j.entcs.2014.12.010.
• Van, Den Berg F., Remke, A., und Haverkort, B. 2015. „IDSL: Automated performance prediction and analysis of medical imaging systems.“ In Bd. 9272 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-23267-6_15.
• Ghasemieh, H., Haverkort, B., Jongerden, M., und Remke, A. 2015. „Energy Resilience Modelling for Smart Houses.“ In Bd. null aus IEEE/IFIP International Conference on Dependable Systems and Networks Wiley-IEEE Computer Society Press. doi: 10.1109/DSN.2015.31.
• Van, Den Berg F., Hooman, J., Hartmanns, A., Haverkort, B., und Remke, A. 2015. „Computing response time distributions using iterative probabilistic model checking.“ In Bd. 9272 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-23267-6_14.
• Gribaudo, M., Manini, D., und Remke, A. 2015. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bd. 9081, 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.
• Remke, A, und Stoelinga, M, Hrsg. 2014. Lecture Notes in Computer Science, Bd. 8453, 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., und Remke, A. 2014. „Performance comparison of IEEE 802.11 DCF and EDCA for beaconing in vehicular networks.“ In Bd. null aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer. doi: 10.1007/978-3-319-10696-0_12.
• Postema, B., Remke, A., Haverkort, B., und Ghasemieh, H. 2014. „Fluid survival tool: A model checker for hybrid Petri nets.“ In Bd. null aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) doi: 10.1007/978-3-319-05359-2_18.
• Kolesnichenko, A., Senni, V., Pourranjabar, A., und Remke, A. 2014. „Applying mean-field approximation to continuous time markov chains.“ In Bd. 8453 aus Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Springer.

• da Silva, Carina (2021): Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
• Ghasemieh, Hamed (2017): Analysis of Hybrid Petri Nets with Random Discrete Events

  Betreuung

  Haverkort, Boudewijn

• Kolesnischenko, Anna (2014): Model-checking Mean-field Models: Algorithms and Applications