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
News
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.
Kevin Jilissen joins FSA
Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.
Parallel Model Checking
The paper “Using the parallel ATerm library for parallel model checking”, by Groote, Jilissen, Laveaux, Spaendonck, and Willemse has been published in Lecture Notes in Computer Science 13560, Springer. It describes how very substantial speedups …continue reading
Paper presented at CONCUR 2022
The paper On the Axiomatisation of Branching Bisimulation Congruence over CCS by Luca Aceto, Valentina Castiglioni, Anna Ingólfsdóttir and Bas Luttik was presented at CONCUR 2022 on September 13, 2022. In the paper, which is …continue reading
Farewell Event for Hans Zantema
On Friday 9 September, we had a farewell event for Hans Zantema, with presentations by Herman Geuvers, Jan Willem Klop, Jan Friso Groote, and Hans Zantema himself. The text of Hans’ presentation is available here.
Tales of Electrologica
The book Tales of Electrologica. Computers, software and people, by Gerard Alberts and Jan Friso Groote is published in Springer’s History of Computing Series. It provides several accounts of the iconic X8 computer, built in …continue reading
Proceedings FMICS 2022 available
The proceedings of Formal Methods for Industrial Critical Systems (FMICS) 2022, Warsaw, Poland, by Jan Friso Groote and Marieke Huisman are now available as LNCS 13487, Springer.