The paper “Verification of parametric Markov Automata under time-bounded reachability” by Kevin van de Glind, Matthias Volk and Tim Willemse has been accepted for publication at QEST+FORMATS 2026. The paper introduces parametric Markov automata (pMA) in which transition rates and transition probabilities can be represented by parameters. The paper presents an analysis technique for pMA …continue reading
Author: Matthias Volk
Kevin van de Glind joins FSA
Kevin van de Glind, who graduated from Radboud University, started as a PhD student in FSA under the supervision of Matthias Volk. A warm welcome to Kevin!
ROCKS 2025 in Eindhoven
The ROCKS Meeting 2025 is taking place in Eindhoven from April 2nd – 4th. The ROCKS Meeting on “Rigorous dependability analysis using model checking techniques for stochastic systems” is a recurring event which connects researchers and fosters collaborations in the field of stochastic system verification. This year’s ROCKS Meeting gathers 80 researchers from 18 universities …continue reading
VENI grants for Thomas Neele and Matthias Volk
Our group members Thomas Neele and Matthias Volk have both been awarded VENI grants. The VENI is a personal scientific grant as part of the NWO Talent Programme and is aimed at excellent researchers at the start of their career. Thomas will develop methods that are capable of analysing the behaviour of software, while also …continue reading
Paper published in Formal Methods Syst. Des.
The paper Parameter synthesis for Markov models: covering the parameter space by Sebastian Junges, Erika Ábrahám, Christian Hensel, Nils Jansen, Joost-Pieter Katoen, Tim Quatmann and Matthias Volk was published in Formal Methods in System Design. The paper considers analysis algorithms for parametric Markov chains. The transition probabilities in parametric Markov chains are represented by functions over …continue reading
Two papers accepted at TACAS 2024
Two papers submitted by members of the FSA group have been accepted for publication at TACAS 2024, which will take place in Luxembourg. The following papers will be presented there: “OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust” by Nils Husung, Clemens Dubslaff, Maximilian A. Köhl, and Holger Hermanns “CTMCs with …continue reading