h1

 

Research

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen since December 2015. Since October 2017, I am a doctoral researcher within the Research Training Group

My research interests include:

• Analysis of dynamic fault trees, called DFTs
• Verifiying fault trees for railway safety
• Model checking of parametric probabilistic systems

Tool support

I am actively involved in the development of the following tools:

• The probabilistic model checker Storm and its python bindings stormpy
• The python bindings pycarl for the arithmetic library CArL
• The parameter synthesis framework for parametric Markov chains PROPhESY

Bachelor/Master Theses

I am always looking forward to work with students. If you are looking for a thesis in one of the areas above, do not hesitate to contact me. Some ideas are also given in our list of open topics.

In the past, I have been supervising the following theses:

• Dustin Jungen, Repairs in Dynamic Fault Trees, 2017, Bachelor thesis together with Sebastian Junges
• Michael Deutschen, GSPN Semantics for Dynamic Fault Trees, 2017, Master thesis together with Sebastian Junges
• Ronja Nocon, Pattern-based detection of Monotonicity in Dynamic Fault Trees, 2016, Bachelor thesis together with Sebastian Junges

Teaching

I am currently involved in the following teaching activities:

• Theoretical Foundations of the UML
• Programming Language Design and Implementation, Seminar

Past teaching activities:

• Compiler Construction, SS 17
• Verification and Static Analysis of Software, Seminar, SS 17
• Advanced Model Checking, WS 16/17
• Advances in Model Checking, Seminar, WS 16/17
• Compiler Construction, SS 16
• Theoretical Foundations of Programming Languages, Seminar, SS 16

Awards

Our paper “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” joint work with Saba Aflaki, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann won the Prof. C.V. Ramamoorthy Best Paper Award at the 36th IEEE Int. Symposium on Reliable Distributed Systems in Hongkong. The paper presents automated techniques to find the probability distribution that achieves minimum average recovery time for randomized distributed self-stabilizing algorithms.

 

Publikationen im Rahmen von UnRAVeL

Quelle	Autor(en)
[Buchbeitrag, Beitrag zu einem Tagungsband] Synergizing Reliability Modeling Languages: BDMPs without Repairs and DFTs In: 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) : [Proceedings], 266-275, 2019 [DOI: 10.1109/PRDC47002.2019.00057]	Khan, Shahid Katoen, Joost-Pieter Volk, Matthias Bouissou, Marc
[Buchbeitrag, Beitrag zu einem Tagungsband] Formal Verification of Rewriting Rules for Dynamic Fault Trees In: Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), 513-531, 2019 [DOI: 10.1007/978-3-030-30446-1_27]	Elderhalli, Yassmeen Volk, Matthias Hasan, Osman Katoen, Joost-Pieter Tahar, Sofiène
[Buchbeitrag, Beitrag zu einem Tagungsband] A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas In: Formal methods for industrial critical systems ; 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019 : proceedings / Kim Guldstrand Larsen, Tim Willemse (eds.), 40-58, 2019 [DOI: 10.1007/978-3-030-27008-7_3]	Volk, Matthias Weik, Norman Katoen, Joost-Pieter Nießen, Nils
[Fachzeitschriftenartikel] Safety analysis for vehicle guidance systems with dynamic fault trees In: Reliability engineering & system safety, 186, 37-50, 2019 [DOI: 10.1016/j.ress.2019.02.005]	Ghadhab, Majdi Junges, Sebastian Katoen, Joost-Pieter Kuntz, Matthias Volk, Matthias
[Buchbeitrag, Beitrag zu einem Tagungsband] One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs In: Application and Theory of Petri Nets and Concurrency 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings / Editors: Khomenko, Victor, Roux, Olivier H. (Eds.), 272-293, 2018 [DOI: 10.1007/978-3-319-91268-4_14]	Junges, Sebastian Katoen, Joost-Pieter Stoelinga, Marielle Volk, Matthias
[Fachzeitschriftenartikel] Fast Dynamic Fault Tree Analysis by Model Checking Techniques In: IEEE transactions on industrial informatics, 14 (1), 370-379, 2017 [DOI: 10.1109/TII.2017.2710316]	Volk, Matthias Junges, Sebastian Katoen, Joost-Pieter
[Preprint] A storm is Coming: A Modern Probabilistic Model Checker, 14 Seiten : Tabellen, Diagramme, 2017	Dehnert, Christian Junges, Sebastian Katoen, Joost-Pieter Volk, Matthias
[Buchbeitrag, Beitrag zu einem Tagungsband] A Storm is Coming: A Modern Probabilistic Model Checker In: Computer aided verification : 29th International Conference, CAV 2017 : Heidelberg, Germany, July 24-28, 2017 : proceedings / Rupak Majumdar, Viktor Kunčak (eds.). - Part 2, 592-600, 2017 [DOI: 10.1007/978-3-319-63390-9_31]	Dehnert, Hans Christian Junges, Sebastian Katoen, Joost-Pieter Volk, Matthias
[Buchbeitrag, Beitrag zu einem Tagungsband] Model-based Safety Analysis for Vehicle Guidance Systems In: Computer safety, reliability, and security : 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017 : proceedings / Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch (eds.), 3-19, 2017 [DOI: 10.1007/978-3-319-66266-4_1]	Ghadhab, Majdi Junges, Sebastian Katoen, Joost-Pieter Kuntz, Matthias Volk, Matthias
[Buchbeitrag, Beitrag zu einem Tagungsband] Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms In: 2017 IEEE 36th International Symposium on Reliable Distributed Systems : SRDS 2017 : 26-29 September 2017, Hong Kong : proceedings / sponsored by: IEEE, IEEE Computer Society, Technical Committee on Distributed Processing (TCDP) ; organized by The Hong Kong Polytechnic University, Department of Computing ; symposium general co-chairs: Jiannong Cao (The Hong Kong Polytechnic University, Hong Kong), Michael R. Lyu (The Chinese University of Hong Kong, Hong Kong), 94-103, 2017 [DOI: 10.1109/SRDS.2017.22]	Aflaki, Saba Volk, Matthias Bonakdarpour, Borzoo Katoen, Joost-Pieter Storjohann, Arne