We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.
Author: Tim Willemse
Visitors: Nobuko Yoshida and Sung-Shik Jongmans
On Thursday, 13 October, Nobuko Yoshida (Oxford) and Sung-Shik Jongmans (OU/CWI) will be visiting the FSA group.
Kevin Jilissen joins FSA
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.
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
Visitor: Rance Cleaveland
Rance Cleaveland (Maryland University) will be our guest from 11-15 July. He’ll mainly be working with Jeroen Keiren.
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