Matthias Volk -

Registered user since Tue 10 Mar 2026

Name:Matthias Volk

Country:Netherlands

Affiliation:Eindhoven University of Technology

Personal website: https://volkm.github.io/

Contributions

2026

FM

Session Chair of Session 10: Distributed Systems & Fault Tolerance (part of Research Track)
Author of Probabilistic Model Checking Taken by Storm within the Tutorials-track
Committee Member in Program Committee within the Research Track-track

2025

ECMFA

Keynote Speaker of Formal Modeling and Verification of Safety-Critical Systems within the ECMFA 2025-track

2023

FTSCS

Author of Solving Queries for Boolean Fault Tree Logic via Quantified SAT within the FTSCS 2023-track