We are proud to announce that Tim Willemse has won the GEWIS Best Teacher Award. Students chose Tim for his commitment to making complex theoretical concepts simple and accessible to everyone, and for his willingness to help them when they were struggling. To make this event even more special, this was one of the rare …continue reading
Author: Valentina Castiglioni
Paper accepted for TCS
The paper “Non Finite Axiomatisability of Weak Bisimulation-Based Congruences”, by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, and Bas Luttik, has been accepted for publication in Theoretical Computer Science. In this paper we study the axiomatisability of CCS parallel composition operator modulo weak bisimulation-based congruences.Specifically, we prove that all congruences that are coarser than rooted branching …continue reading
Two papers accepted for STTT
We had two papers accepted for publication in the Special Issue of the International Journal on Software Tools for Technology Transfer with a selection of papers from FMICS 2025:
Poker of papers at CONCUR 2025
We are glad to announce that four papers submitted by members of FSA have been accepted for publication at CONCUR 2025:
Paper accepted for TCS
The paper “Axiomatising Weak Bisimulation Congruences over CCS with Left Merge and Communication Merge” by Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir and Bas Luttik has been accepted for publication in Theoretical Computer Science. The paper studies the role of auxiliary operators in the finite equational characterisation of CCS parallel composition modulo four weak bisimulation-based congruences: …continue reading
And the winner is…
…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!
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