- TitleYearType
"Active Learning of Mealy Machines with Timers" accepted at QEST+FORMATS
The paper Active Learning of Mealy Machines with Timers by Véronique Bruyère, Bharat Garhewal, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager has been accepted for publication at QEST+FORMATS 2…"New Fault Domains for Conformance Testing of Finite State Machines" accepted at CONCUR 2025
The paper New Fault Domains for Conformance Testing of Finite State Machines by Frits Vaandrager and Ivo Melse has been accepted for publication at CONCUR 2025. The abstract is included below.
A fau…EVI presentation at the SEN Symposium
On Friday 23rd May, we will be part of the national symposium for Dutch researchers on Systems Engineering, the SEN Symposium, in Amsterdam. Frits Vaandrager will present a lightning talk about the E…EVI project Kick-Off Meeting
On March 28, the very first EVI project meeting took place at Radboud University, in Nijmegen. We shared lunch together and exchanged ideas, discussing potential approaches for the project and our ro…
