The book ‘Understanding behaviour of distributed systems using mCRL2‘, written by Muhammad Atif and Jan Friso Groote has appeared in the Systems, Decision and Control series of Springer. It gives an introduction into mCRL2 with …continue reading
News
FSA Vacancies
Our department has 25 (assistant) professor vacancies; some such positions may end up in our group. We encourage those with a Formal Methods background (broadly construed) to apply for a position (ASAP). For details, see …continue reading
Journal paper on decomposing monolithic processes accepted for JLAMP
The journal article “Decomposing monolithic processes in a process algebra with multi-actions” by Maurice Laveaux and Tim A.C. Willemse has been accepted for publication at JLAMP as part of a special issue of ICE. The …continue reading
Paper accepted for FOSSACS 2023
The paper, compositional learning for interleaving parallel automata, by Labbai, Groote, Hojjat and Mousavi has been accepted for FOSSACS 23. It describes an algorithm to learn behaviour of parallel components, without knowing the parallel structure.
Book: Tales of Electrologica is available.
This book describes the history of the most iconic computer ever developed in The Netherlands, the Electrologica X8. It contains a number of stories by the original contributers to the soft- and hardware of this …continue reading
Visitor: Rance Cleaveland
Rance Cleaveland (Maryland University) is our guest from 16-20 January.
Paper on Compositional Automata Learning accepted at FASE’23
The paper “Compositional Automata Learning of Synchronous Systems” by Thomas Neele and Matteo Sammartino was accepted for presentation at FASE’23, which will take place in Paris, France. This paper proposes an extension for the classic …continue reading
Visitor: Valentina Castiglioni
Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.
Clemens Dubslaff joins FSA!
We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.
Visitors: Nobuko Yoshida and Sung-Shik Jongmans
On Thursday, 13 October, Nobuko Yoshida (Oxford) and Sung-Shik Jongmans (OU/CWI) will be visiting the FSA group.