Weitere Zugehörigkeit an der Universität Münster
Preise
- Best paper award – Conference Program Committee of the European Alliance for Innovation (EAI)
Lehre
Vorlesung
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
(zusammen mit Joanna Delicaris, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Fr | M B 5 (M 5) | Joanna Delicaris]
[ - | | wöchentlich | Di | M B 5 (M 5) | Joanna Delicaris]
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [108091]
[wöchentlich | Prof. Dr. Anne Remke]
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [108119]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [108118]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
[ - | | wöchentlich | Mi | M B 4 (M 4) | Prof. Dr. Sergei Gorlatch]
Sonstige Lehrveranstaltung
- Übungen zur Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108087]
(zusammen mit Joanna Delicaris, Jonas Stübbe, Pauline Blohm)
[ - | | wöchentlich | Do | SRZ 202 | Joanna Delicaris]
Vorlesung
- Vorlesung: Diskrete Strukturen [106127]
(zusammen mit Jonas Stübbe, Pauline Blohm)
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [106129]
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [106114]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Dr. Carina da Silva, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [106115]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Prof. Dr. Ralph-Günther Holz, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Sonstige Lehrveranstaltungen
- Übungen zur Vorlesung "Diskrete Strukturen" [106128]
(zusammen mit Jonas Stübbe, Pauline Blohm) - Modellierung mit Automaten und Wahrscheinlichkeiten (MAUS) [106130]
(zusammen mit Mathis Niehage)
Seminar
- Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen"
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [104560]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz)
Kolloquium
- Kolloquium: Informatik-Kolloquium [104561]
(zusammen mit Prof. Dr. Sergei Gorlatch, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Jun.-Prof. Tanya Braun, Prof. Dr. Ralph-Günther Holz, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Vorlesungen
- Vorlesung: Mastervorlesung: Ausgewählte Kapitel aus den sicherheitskritischen Systemen [102062]
(zusammen mit Mathis Niehage) - Vorlesung: Diskrete Strukturen [102059]
(zusammen mit Jonas Stübbe)
Seminare
- Projektseminar: Projektseminar: Speicheroptimierung im Wassernetz [102068]
(zusammen mit Pauline Blohm) - Oberseminar: Oberseminar "Sicherheitskritische Systeme - Aktuelle Forschungsthemen" [102061]
(zusammen mit Mathis Niehage, Joanna Delicaris, Jonas Stübbe, Pauline Blohm)
Übung
- Anleitung zum wissenschaftlichen Arbeiten: Betreuung von Abschlussarbeiten der Informatik [102090]
(zusammen mit Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Lars Linsen, Prof. Dr. Paula Herber, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Dr. Dietmar Lammers, Prof. Dr. Jan Vahrenhold, Jun.-Prof. Tanya Braun, Dr. Ludger Becker)
Kolloquium
- Kolloquium: Informatik-Kolloquium [102091]
(zusammen mit Prof. Dr. Sergei Gorlatch, Jun.-Prof. Dominik Köppl, Prof. Dr. Paula Herber, Prof. Dr. Lars Linsen, Jun.-Prof. Tanya Braun, Prof. Dr. Xiaoyi Jiang, Prof. Dr. Malte Schilling, Prof. Dr. Markus Müller-Olm, Prof. Dr. Jan Vahrenhold)
Sonstige Lehrveranstaltung
- Übungen zur Vorlesung "Diskrete Strukturen" [102060]
(zusammen mit Jacqueline Strob, Jonas Stübbe, Pauline Blohm)
- Vorlesung: Modellierung und Analyse von Dynamischen Systemen [108086]
Projekt
- ROCKS – Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" ( – )
Wissenschaftliche Veranstaltung: Teilnahmebeiträge/Tagungsgebühren
- ROCKS – Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" ( – )
Publikationen
- . . ‘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 , 61–81. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_5.
- . . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by , 170–182. Heidelberg: Springer. doi: 10.1007/978-3-031-48885-6_11.
- In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, edited by , 94–118. Heidelberg: Springer. doi: 10.1007/978-3-031-46002-9_6. . ‘Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.’
- . . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ ACM Transactions on Modeling and Computer Simulation 33, Nr. 4: 1–27. doi: 10.1145/3607197.
- . . ‘Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.’ In Theoretical Aspects of Software Engineering, edited by , 164–182. Heidelberg: Springer. doi: 10.1007/978-3-031-35257-7_10.
- . . ‘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 , 299–319. Heidelberg: Springer. doi: 10.1007/978-3-031-19849-6_18.
- . . ‘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 , 298–306. Heidelberg: Springer. doi: 10.1007/978-3-031-15839-1_17.
- . . ‘ARCH-COMP22 Category Report: Stochastic Models.’ In Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), edited by , 113–141. Bramhall: EasyChair. doi: 10.29007/lsvc.
- . . ‘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.
- . . ‘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 , 44–55. New York, NY: ACM Press. doi: 10.1145/3487212.3487339.
- . . ‘Optimizing Reachability Probabilities for a Restricted Class of Stochastic Hybrid Automata via Flowpipe-Construction.’ In Quantitative Evaluation of Systems. QEST 2021, edited by , 435–456. Heidelberg: Springer. doi: 10.1007/978-3-030-85172-9_23.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ ACM Transactions on Modeling and Computer Simulation 31, Nr. 3: 1–37. doi: 10.1145/3449353.
- . . ‘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 , 88–95. New York, NY: ACM Press. doi: 10.1145/3388831.3388842.
- . . ‘A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.’ In NASA Formal Methods, edited by , 381–400. Heidelberg: Springer. doi: 10.1007/978-3-030-55754-6_23.
- . . ‘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 , 1–11. New York, NY: ACM Press. doi: 10.1145/3365365.3382198.
- . . ‘ARCH-COMP20 Category Report: Stochastic Models.’ In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), edited by , 76–106. Bramhall: EasyChair. doi: 10.29007/mqzc.
- . . ‘Architecture and prototype implementation for process-aware intrusion detection in electrical grids.’ In 38th International Symposium on Reliable Distributed Systems 2019, 1–10. New York City: Wiley-IEEE Computer Society Press.
- . . ‘ARCH-COMP19 Category Report: Stochastic Modelling.’ In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, edited by , 62–102. Bramhall: EasyChair. doi: 10.29007/f2vb.
- . . ‘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.
- . . ‘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.
- . . ‘State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings.’ In Quantitative Evaluation of Systems, edited by , 182–199. Heidelberg: Springer. doi: 10.1007/978-3-030-30281-8_11.
- . . ‘Bro in SCADA: dynamic intrusion detection policies based on a system model.’ In 5th Int. Symp. for ICS & SCADA Cyber Security Research, 1–10. N/A: Selbstverlag / Eigenverlag. doi: 10.14236/ewic/ICS2018.13.
- . . ‘An integrated testbad for locally monitoring SCADA systems in Smart grids.’ Energy Informatics 1, Nr. 65: 1–29. doi: 10.1186/s42162-018-0058-7.
- . . ‘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 , 157–169. New York City: Wiley-IEEE Press. doi: 10.1109/MASCOTS.2018.00024.
- . . ‘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.
- . . ‘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.
- . . ‘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.
- 40. Aufl. Düsseldorf: Springer VDI Verlag. doi: 10.1007/978-3-030-02227-3. (Eds.): . Computer Performance Engineering - 15th European Workshop, {EPEW} 2018, Paris, France, October 29-30, 2018, Proceedings.
- . . ‘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 , 475–486. New York City: Wiley-IEEE Press. doi: 10.1109/DSN.2017.41.
- . . ‘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.
- . . ‘Context-aware local Intrusion Detection in SCADA systems: A testbed and two showcases.’ In IEEE International Conference on Smart Grid Communications (SmartGridComm), edited by , 467–472. New York City: Wiley-IEEE Press. doi: 10.1109/SmartGridComm.2017.8340672.
- . . ‘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 , 186–191. New York, NY: ACM Press. doi: 10.1145/3150928.3150956.
- . . ‘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.
- 10.1016/j.peva.2015.11.004. . ‘Survivability analysis of a sewage treatment facility using hybrid Petri nets.’ Performance Evaluation 97, Nr. null: 36–56. doi:
- 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. . ‘What's under the hood? Improving SCADA security with process awareness.’
- 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. . ‘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.’
- 10.1016/j.peva.2016.09.002. . ‘Hybrid Petri nets with general one-shot transitions.’ Performance Evaluation 105, Nr. null: 22–50. doi:
- 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. . ‘Energy storage in smart homes: Grid-convenience versus self-use and survivability.’
- 10.3390/en9090736. . ‘Does your domestic photovoltaic energy system survive grid outages?’ Energies 9, Nr. 9. doi:
- Contributed to the 2016 IEEE International Energy Conference, ENERGYCON 2016, bel. doi: 10.1109/ENERGYCON.2016.7514139. . ‘Assessing the cost of energy independence.’
- 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. . ‘A smart neighbourhood simulation tool for shared energy storage and exchange.’
- . ‘Hybrid Petri nets with multiple stochastic transition firings.’ EAI Endorsed Transactions on Self-Adaptive Systems 1(3):e1.
- 10.1007/978-3-319-18579-8. (Eds.): . Analytical and Stochastic Modelling Techniques and Applications - 22nd International Conference, {ASMTA} 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings. Düsseldorf: Springer VDI Verlag. doi:
- 10.1016/j.entcs.2014.12.010. . ‘Survivability evaluation of gas, water and electricity infrastructures.’ Electronic Notes in Theoretical Computer Science 310, Nr. null: 5–25. doi:
- Contributed to the 12th European Performance Engineering Workshop, EPEW 2015, esp. doi: 10.1007/978-3-319-23267-6_15. . ‘IDSL: Automated performance prediction and analysis of medical imaging systems.’
- Contributed to the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2015, bra. doi: 10.1109/DSN.2015.31. . ‘Energy Resilience Modelling for Smart Houses.’
- Contributed to the 12th European Performance Engineering Workshop, EPEW 2015, esp. doi: 10.1007/978-3-319-23267-6_14. . ‘Computing response time distributions using iterative probabilistic model checking.’
- 10.1007/978-3-319-18579-8. . 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-662-45489-3. (Eds.): . 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. Düsseldorf: Springer VDI Verlag. doi:
- Contributed to the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, Florence, ita. doi: 10.1007/978-3-319-10696-0_12. . ‘Performance comparison of IEEE 802.11 DCF and EDCA for beaconing in vehicular networks.’
- 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. . ‘Fluid survival tool: A model checker for hybrid Petri nets.’
- Contributed to the ROCKS 2012, Vahrn, Italy. . ‘Applying mean-field approximation to continuous time markov chains.’
Betreute Promotionen
da Silva, Carina Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Ghasemieh, Hamed Analysis of Hybrid Petri Nets with Random Discrete Events Kolesnischenko, Anna Model-checking Mean-field Models: Algorithms and Applications
Professor Dr. Anne Remke
Einsteinstr. 62
48149 Münster