Doctorate
Doctorate: 7th October 2021
PhD thesis title: Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables
Research interests
- Dependability evaluation for safety-critical systems
- Development of tools for the analysis and simulation of hybrid Petri nets with random variables
(HPnGs)
- Discrete-event simulation
- Statistical model checking
- Non-linear continuous behavior
- Non-deterministic systems, Finding optimal schedulers
- Transformation of hybrid Petri nets to hybrid automata
- Time-bounded reachability analysis
Publications
- . . ‘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.
- . . „SMC und zeitlich begrenzte Erreichbarkeitsanalyse für HPnGs.“ In Ausgezeichnete Informatikdissertationen 2021, herausgegeben von , 11–20. Bonn: Köllen.
- . . Statistical Model Checking and Time-Bounded Reachability Analysis for Hybrid Petri Nets with Multiple Stochastic Variables Dissertation thesis, Westfälische Wilhelms-Universität Münster. Münster: Universität Münster.
- . . ‘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, № 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.
- . . ‘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.
- . . ‘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.
- . . ‘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.
- . . ‘Student research paper: Evaluation of the dependability of critical infrastructures using hybrid Petri nets with random variables and stochastic simulation.’ In 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), edited by , 160–163. New York City: Wiley-IEEE Press. doi: 10.1109/DSN-W.2017.21.
- . . ‘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.
- . . ‘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.
- . . Development of an event-based simulator for model checking hybrid Petri nets with random variables.
- . . Entwicklung eines Software-Prototypen zur Zusammenführung von 3D CAD Strukturen mit Stücklistenelementen der GE Wind Energy GmbH. Osnabrück: Hochschule Osnabrück.