Content available in repository
Content available in repository
Personal profile
Research profile
Matthias Volk is an Assistant Professor in the Formal System Analysis group at Eindhoven University of Technology (TU/e). His research goal is to improve the safety and reliability of complex, safety-critical systems using formal methods. In his research, Matthias Volk develops rigorous, automated techniques for modelling and analysing safety-critical systems, with a focus on probabilistic model checking. He is interested in providing optimised implementations in mature tools for use by other researchers, as well as applying the approaches in industrial collaborations.
Academic background
Matthias Volk received his B.Sc. and M.Sc. degrees in Computer Science from RWTH Aachen University. He received his Ph.D. from RWTH Aachen University under the supervision of Joost-Pieter Katoen. He then worked as a postdoctoral researcher at the University of Twente. Since 2023, he is an assistant professor in the Formal System Analysis group at Eindhoven University of Technology.
Fingerprint
Dive into the research topics where Matthias Volk is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Modeling and Safety Analysis of Automated Vehicle Teleoperation with Dynamic Fault Trees
Hasan, S. (Corresponding author), Volk, M., Ali, N., Sher, F., Wallin, P. & Sjoberg, K., 11 Mar 2026, 2025 9th International Conference on System Reliability and Safety, ICSRS 2025. Institute of Electrical and Electronics Engineers, p. 44-53 10 p. 11422084Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
1 Link opens in a new tab Citation (Scopus) -
Probabilistic Model Checking Taken by Storm: A Tutorial on the Probabilistic Model Checker Storm
Volk, M. (Corresponding author), Heck, L., Junges, S., Katoen, J.-P. & Quatmann, T., 18 May 2026, Formal Methods: 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings. Sampaio, A. & Stoelinga, M. (eds.). Cham: Springer, Vol. II. p. 524-549 26 p. (Lecture Notes in Computer Science (LNCS); vol. 16557).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile5 Downloads (Pure) -
Formal Modeling and Analysis of Slot Machines
Groote, J. F., Van Heesch, S. & Volk, M. (Corresponding author), Dec 2025, In: IEEE Transactions on Games. 17, 4, p. 1070 - 1083 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile49 Downloads (Pure) -
Optimal spare management via statistical model checking: a case study in research reactors
Soltani, R. (Corresponding author), Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M., Jun 2025, In: International Journal on Software Tools for Technology Transfer. 27, 3, p. 361-376 16 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Link opens in a new tab Citations (Scopus)54 Downloads (Pure) -
Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
Jansen, N. (Editor), Junges, S. (Editor), Kaminski, B. L. (Editor), Matheja, C. (Editor), Noll, T. (Editor), Quatmann, T. (Editor), Stoelinga, M. (Editor) & Volk, M. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 15262)Research output: Book/Report › Book editing › Academic › peer-review
Datasets
-
QComp 2023 Competition Report: Rare Events (experimental reproduction package)
Budde, C. E. (Creator), Hartmanns, A. (Creator), Ruijters, E. (Creator), Volk, M. (Creator), Taylor, L. (Creator), Israelsen, B. (Creator) & Zhang, Z. (Creator), Figshare, 1 Oct 2023
DOI: 10.6084/m9.figshare.23818395
Dataset
-
Artifact for "Modular criticality analysis for dynamic fault trees"
Sher, F. (Creator), Stoelinga, M. (Creator) & Volk, M. (Creator), Zenodo, 7 Nov 2024
Dataset
-
mCRL2org/mCRL2: mCRL2 202507.0
Wesselink, J. W. (Creator), Groote, J. F. (Creator), Laveaux, M. (Creator), Keiren, J. J. A. (Creator), Neele, T. (Creator), Bunte, O. (Creator), Jansen, D. N. (Creator), Johannes Altmanninger (Creator), Booy, J. J. (Creator), de Vink, E. P. (Creator), Ferry Timmers (Creator), Thom Castermans (Creator), Willemse, T. A. C. (Creator), Wijs, A. J. (Creator), Jilissen, K. H. J. (Creator), Willem Rietdijk (Creator), van Ieperen, N. G. (Creator), Volk, M. (Creator), Spronck, M. S. C. (Creator), Luttik, S. P. (Creator), Casper Bach (Creator), Paul van Tilburg (Creator) & Rey, T. (Creator), Zenodo, 1 Aug 2025
Dataset: Software
-
Artifact for "CTMCs with Imprecisely Timed Observations"
Badings, T. (Creator), Volk, M. (Creator), Junges, S. (Creator), Stoelinga, M. (Creator) & Jansen, N. (Creator), Zenodo, 28 Dec 2023
DOI: 10.5281/zenodo.10438985, https://zenodo.org/records/10438985
Dataset
Prizes
-
UNcertainty In COntinuous-time maRkov chaiNs (UNICORN)
Volk, M. (Recipient), 2024
Prize: NWO › Veni › Scientific
Courses
-
-
Software Specification
Volk, M., Keiren, J. J. A., Bunte, O., Laveaux, M., Liem, E., Erkens, R., van de Glind, K. & Miulescu, M. 1/09/15 → 31/08/27
Course