The paper An expressive Timed Modal Mu-Calculus for Timed Automata by Rance Cleaveland, Jeroen Keiren and Peter Fontana, accepted for publication at QEST+FORMATS (Calgary, September 2024) is now available in LNCS vol. 14996.

The paper ‘Progress, Justness and Fairness in modal mu-calculus formulae’, by Myrthe Spronck, Bas Luttik and Tim Willemse , recently accepted for presentation at CONCUR (September 2024, Calgary, Canada) is now available, see LIPIcs, volume 311.

The paper Validation of Supervisory Control Synthesis Tool CIF Using Model Checker mCRL2 by Michel Reniers and Jeroen Keiren has been accepted for IEEE CASE 2024. The paper describes how the mCRL2 model checker can …continue reading

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

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

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

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

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