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
Author: Valentina Castiglioni
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).