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 Volk and Marielle Stoelinga Formalising the Industrial Language SMMT in mCRL2, by Olav Bunte, Jordi Van Laarhoven (Canon), Louis Van …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 a time-point module that allows us to model the stochastic behaviour of biological systems, and to verify their robustness against …continue reading