The paper Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 by Danny van Dortmont, Jeroen Keiren and Tim Willemse has been published at ABZ 2024. The paper describes the modelling and analysis of the …continue reading
News
ACM TOCL paper published
The paper Extensible Proof Systems for Infinite-State Systems by Rance Cleaveland and Jeroen Keiren has appeared in ACM Transactions on Computational Logic. The paper revisits soundness and completeness of proof systems for proving that sets …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 …continue reading
FSA@FMICS
Three papers were accepted for FMICS, the 29th International Conference on Formal Methods for Industrial Critical Systems: Fault Tree inference using Multi-Objective Evolutionary Algorithms and Confusion Matrix-based metrics, by Lisandro A. Jimenez-Roa, Nicolae Rusnac, Matthias …continue reading
Paper accepted for CMSB 2024
The paper Bio-STARK, by Valentina Castiglioni, Michele Loreti, and Simone Tini, has been accepted for publication at CMSB 2024, the 22nd International Conference on Computational Methods in Systems Biology. Bio-STARK enriches the STARK tool with …continue reading
EASST Best Paper Award @ ETAPS
The TACAS 2024 paper “OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust” by Nils Husung, Clemens Dubslaff, Maximilian A. Köhl, and Holger Hermanns has been awarded the EASST Best Paper Award. …continue reading
FSA goes to MARS
Three papers, submitted to the MARS workshop, a workshop on modelling real systems, were accepted for publication: a paper on the IEEE 1394 Link Layer by Hubert Garavel and Bas Luttik, a paper on Tunnel …continue reading
Open PhD Positions
The formal system analysis group has several open PhD positions, targeting various topics that range from pure theory to applied formal methods. Please contact us, in case you consider to strive towards a PhD and …continue reading
Simone Tini visits FSA
Simone Tini (University of Insubria) will visit our group from February 26th to March 1st. He will deliver a guest talk at the FSA colloquium on February 29th, entitled “Measuring Robustness in Cyber-Physical Systems under …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 …continue reading