The paper Distribution of Behaviour into Parallel Communicating Subsystems by Omar Alduhaiby and Jan Friso Groote has been accepted for Express 2019.
The paper “Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra” by Zaitsev, Shmeleva and Groote has been published in IEEE/CAA Automata Sinica. The paper explains how communication grids in the form of hyper toruses can be verified using both Petri Nets and mCRL2 in an efficient manner.
On April 15 Ferry Timmers started in the Arrowheads project together with ASML. The goal of this project is to show that newly developed control software for wafer scanners can completely be verified before the software is tested and deployed.
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.
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, Iran.
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 group. As he wants to strengthen the ties between industry and academia, he indicated that he will remain a regular …continue reading
Rick Erkens started to work 1 september 2018 as a teaching PhD student in the FSA group.
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 describes our experience in learning models from actual software at Philips Healthcare.
Prof. Dmitry Zaitsev and dr. Tatiana Shmeleva from the International Humanitarian University, Odessa, Ukraine are visiting during the month of July, 2018.