…Rick Erkens! Rick won the GEWIS Best Teacher Award. Among other amazing qualities, students chose Rick for his passion and commitment, his guidance, and his capability of transforming complex formal theories into simple understandable concepts. Congratulations Rick!
Author: Valentina Castiglioni
Paper accepted at ABZ 2025
The paper “On The Road Again (Safely): Modelling and Analysis of Autonomous Driving with STARK”, by Sebastian Betancourt and Valentina Castiglioni, has been accepted at ABZ 2025, that will take place in Dusseldorf, 10-13 June 2025.
Paper accepted for TCS
The following paper has been accepted for publication in Theoretical Computer Science: Robustness for biochemical networks: Step-by-step approach by Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Desiree Manicardi, and Simone Tini. The paper will be published as part of the Special Issue of ICTCS 2023.
RobTL: Robustness Temporal Logic for CPS @ CONCUR
The paper ‘RobTL: Robustness Temporal Logic for CPS’, by Valentina Castiglioni, Michele Loreti and Simone Tini , recently accepted for presentation at CONCUR (September 2024, Calgary, Canada) is now available, see LIPIcs, volume 311 [doi]
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 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
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 Sensor Attacks”.
PhD-TA position available
We offer a 5 years long PhD-TA (PhD-Teaching Assistant) position to work the application of formal methods to the analysis and verification of Cyber-Physical Systems operating under uncertainties. For more information, please refer to the vacancy webpage.
Paper accepted for JLAMP
The following paper has been accepted for publication in the Journal of Logical and Algebraic Methods in Programming: Back to the Format: A Survey on SOS for Probabilistic Processes, by Valentina Castiglioni, Ruggero Lanotte (University of Insubria, Italy), and Simone Tini (University of Insubria, Italy).