Kevin Jilissen recently started working as a PhD student in our group. He will be investigating the use of Formal Methods to verify standards for critical infrastructures such as tunnels, in collaboration with Rijkswaterstaat.
Author: Tim Willemse
Farewell Event for Hans Zantema
On Friday 9 September, we had a farewell event for Hans Zantema, with presentations by Herman Geuvers, Jan Willem Klop, Jan Friso Groote, and Hans Zantema himself. The text of Hans’ presentation is available here.
Farewell Symposium for Hans Zantema
On Friday 9 September, a symposium will be held on the occasion of Hans Zantema’s retirement. The symposium will start at 13.30 and end at 16.30 in LUNA (room Corona), TU/e. There will be contributions by Herman Geuvers, Jan Willem Klop, Jan Friso Groote and Hans Zantema himself. The event will be followed by a …continue reading
Best Artefact award at FORTE 2022
The software tool for analysing policies specified in XACML, which, under the hood, uses mCRL2, won the best Artefact award at FORTE. The tool is described in the paper ‘Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2’ by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse.
Paper on XACML in FORTE 2022
A paper by Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe and Tim Willemse, dealing with mCRL2-powered analysis of access control policies, specified in XACML, has been accepted for FORTE 2022.
Paper accepted for presentation at TACAS 2022
The paper “On-The-Fly Solving for Symbolic Parity Games“, by Maurice Laveaux, Wieger Wesselink and Tim Willemse, has been accepted for the ETAPS 2022 conference TACAS. The paper describes how to use on-the-fly solving techniques during the exploration process of a parity game, and shows that this can help to decide the winner of a designated …continue reading
Vacancy for Assistant Professor
The FSA group has a vacancy for an assistant professor (tenure-track/tenured) under the Irène Curie Fellowship programme, which offers a substantial start-up package. We are particularly keen on strengthening our expertise in automated reasoning, SAT solving and SMT solving, but also warmly welcome strong candidates with a different specialisation in Formal Methods. Note that the …continue reading
Two new FSA members per 1 October
On 1 October, Tom Franken started as a PhD student working on the NWO-funded TOP project AVVA. At the same time, we welcomed back Thomas Neele, who started working as an Assistant Professor in our group per 1 October.
IPA Dissertation Award for Thomas Neele
Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions for Parity Games and Model Checking”. In his thesis, Thomas explores symbolic techniques for simplifying and solving parameterised Boolean equation …continue reading
Paper on process decomposition accepted for ICE 2021
The paper Decomposing Monolithic Processes in a Process Algebra with Multi-actions by Maurice Laveaux and Tim Willemse was accepted for presentation at ICE 2021, a workshop co-located with DisCoTec 2021. The interactive style of reviewing employed by the ICE workshop was both interesting and a pleasurable experience.