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
Author: Matthias Volk
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