The paper ‘Monitoring under uncertainty with DisTL‘ by Sebastián Betancourt, Valentina Castiglioni, and Simone Tini has been accepted for the Runtime Verification 2026 (RV 2026) conference, which will take place in Kingston, Canada, from October …continue reading
Category: Research
News about research
Canonicity and Minimality for Simulation Equivalences at CONCUR’26
The paper ‘Minimal and Canonical Quotients for Simulation Equivalences’ by Eduardo Costa Martins and Tim Willemse was accepted at CONCUR’26. The paper deals with the problem of quotienting transition systems modulo coupled simulation equivalence and …continue reading
Vacancy for an Assistant Professor in FSA
We have an Assistant Professor vacancy in our group on the topic of Formal Methods and Neuro-Symbolic AI. The offered position is part of a broader department-wide mission-driven research collaboration on Zero-touch systems at the …continue reading
Paper accepted at QEST+FORMATS 2026
The paper “Verification of parametric Markov Automata under time-bounded reachability” by Kevin van de Glind, Matthias Volk and Tim Willemse has been accepted for publication at QEST+FORMATS 2026. The paper introduces parametric Markov automata (pMA) …continue reading
Dutch Formal Methods Day @ TU/e
Big turn out at the Dutch Formal Methods Day at the TU/e today, co-organised by our own Jore Booy. And a great set of speakers!
Mohammad Reza Mousavi visits FSA
We have the pleasure of Mohammad Mousavi (King’s College, UK), former professor in the FSA group, visiting our group on the occasion of Tom Franken’s defence. Mohammad will give a talk about testing for quantum …continue reading
FSA at CAV’26
The paper “Scalable Deductive Verification of Data-Level Parallel Programs” by Lars B. van den Haak, Marieke Huisman and Anton Wijs has been accepted for publication at CAV 2026. This paper introduces several techniques that improve …continue reading
FSA at FORTE 2026
The paper “Control Flow-Based Symmetry Reduction for Parametrised Boolean Equation Systems” by Menno Bartels, Maurice Laveaux, Thomas Neele and Tim Willemse has been accepted for publishing in the proceedings of FORTE 2026! This work defines …continue reading
FSA going to Japan!
The paper “A Method for Testing Partial-Order Reduction Theories in Alloy” by Mara Miulescu and Thomas Neele has been accepted for publication in the proceedings of ABZ 2026. In this work, we present a method …continue reading
Research agenda on automata learning published
The paper A research agenda for active automata learning (DOI) by Thomas Neele and co-authors has recently been published under open access in the STTT journal. The paper aims to appeal to a broad public. …continue reading