The paper “Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra” by Zaitsev, Shmeleva and Groote has been accepted for the IEEE/CAA journal of Automatica Sinica.
Author: Jan Friso Groote
Two papers accepted at FSEN 2019
The papers “Verifying System-Wide Properties of Industrial Component-Based Software” by Neele, Rol and Groote and “Active Learning of Industrial software with data” by Sanchez, Groote and Schiffelers have both been accepted at FSEN 2019, Teheran, …continue reading
Julien Schmaltz left FSA
On November 1, 2018, Julien Schmaltz left the FSA group to take up a new position at the company ICT. We congratulate Julien and wish to thank him for all he has done for our …continue reading
New group member: Rick Erkens
Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.
Paper accepted at ISoLA 2018
The paper “Pitfalls in Applying Model Learning to Industrial Legacy Software” by Omar al Duhaiby, Arjan Mooij, Hans van Wezep and Jan Friso Groote has been accepted for presentation at ISoLA 2018, Cyprus. The paper …continue reading
Visitor from the Ukraine
Prof. Dmitry Zaitsev and dr. Tatiana Shmeleva from the International Humanitarian University, Odessa, Ukraine are visiting during the month of July, 2018.