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.
Author: Jan Friso Groote
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 machine. The editors are Gerard Alberts and Jan Friso Groote. Published by Springer in their History of Computing series.
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 of state space generation and model checking are attainable on multi-core computers.
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 the Netherlands in the early 60′-ies by the company Electrologica.
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.
Paper presented at SigSoft 2022
The paper Constructive Model Inference: Model Learning for Component-based Software Architectures by Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks and Ramon Schiffeler has been presented at SigSoft 2022 in Lissabon, Portugal. The paper outlines how large scale software learning from logs is possible, generating pretty exact models for dozens of ASML software components …continue reading
Tim Willemse group leader
Starting on Juli 1, 2021 Tim Willemse took over the role of cluster leader of FSA from Jan Friso Groote who has been leader for more than 20 years.
Leo van Schooten graduated
On May 10, 2021 Leo van Schooten successfully defended his thesis on translating a DSL in use at Philips to specify and control X-ray capabilities to the language Dezyne, allowing for a less complex software generation process, and enabling the possibility to automatically verify correctness properties.
Proceedings TACAS 2021 are online
The proceedings of TACAS 2021 are online (LNCS 12651 and LNCS 12652). Editors are J.F. Groote and K.G. Larsen. They are open access.
Big software project MERITS finished
The NWO Big Software project MERITS is finished. It investigated whether refactoring of legacy software is possible by automatic learning. The conclusion is that this is a bridge too far, but learning techniques are an effective means to get structural insight in software that is otherwise hard to obtain. Read the the full report.