Person

Matthias Volk

M. Sc. RWTH

Assoziierter Promotionsstudent

Matthias Volk
Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation)

Adresse

Gebäude: 2353 Informatikzentrum E1

Raum: 4205

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21212
Fax: +49 241 80 22217

Sprechstunde

n.V.
 

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:

Past teaching activities:

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 2019 : Kyoto, Japan, 1-3 December 2019 : proceedings / sponsors PRDC 2019: IEEE Computer Society, Tokyo Metropolitan University, Hiroshima University, Kyoto Sangyo University, Nihon University, 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