Publikationen
- . . ‘RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems.’ In Performance Evaluation Methodologies and Tools, edited by , 170–182. Cham: Springer. doi: 10.1007/978-3-031-48885-6_11.
- . . ‘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. Cham: Springer. doi: 10.1007/978-3-031-48885-6_5.
- In Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings, edited by , 94–118. Cham: Springer. doi: 10.1007/978-3-031-46002-9_6. . ‘Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink.’
- . . ‘Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks.’ In Theoretical Aspects of Software Engineering, edited by , 164–182. Cham: Springer. doi: 10.1007/978-3-031-35257-7_10.
- . . ‘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: https://doi.org/10.1145/3607197.
- . . ‘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. Rhodes, Greece: 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. Warsaw, Poland: 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. München: 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. Virtual Event, China: 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. Cham: 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, USA: 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. Cham: 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, USA: 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. online: 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.: 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. Montreal,: 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. Cham: 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.: 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. Milwaukee: 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.
- 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. (Eds.): .
- . . ‘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. Denver: 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. Dresden: 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, USA: 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.
- ‘Survivability analysis of a sewage treatment facility using hybrid Petri nets.’ Performance Evaluation 97, Nr. null: 36–56. doi: 10.1016/j.peva.2015.11.004. .
- ‘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. .
- ‘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. .
- ‘Hybrid Petri nets with general one-shot transitions.’ Performance Evaluation 105, Nr. null: 22–50. doi: 10.1016/j.peva.2016.09.002. .
- ‘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. .
- ‘Does your domestic photovoltaic energy system survive grid outages?’ Energies 9, Nr. 9. doi: 10.3390/en9090736. .
- ‘Assessing the cost of energy independence.’ Contributed to the 2016 IEEE International Energy Conference, ENERGYCON 2016, bel. doi: 10.1109/ENERGYCON.2016.7514139. .
- ‘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. .
- . ‘Hybrid Petri nets with multiple stochastic transition firings.’ EAI Endorsed Transactions on Self-Adaptive Systems 1(3):e1.
- 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. (Eds.): .
- ‘Survivability evaluation of gas, water and electricity infrastructures.’ Electronic Notes in Theoretical Computer Science 310, Nr. null: 5–25. doi: 10.1016/j.entcs.2014.12.010. .
- ‘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. .
- ‘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. .
- ‘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. .
- 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. .
- 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. (Eds.): .
- ‘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. .
- ‘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. .
- ‘Applying mean-field approximation to continuous time markov chains.’ Contributed to the ROCKS 2012, Vahrn, Italy. .