Rance Cleaveland (Maryland University) is our guest from 16-20 January.
Author: Tim Willemse
Visitor: Valentina Castiglioni
Valentina Castiglioni (Reykjavik University, Iceland) will be visiting the FSA research group from 22-24 November, 2022.
Clemens Dubslaff joins FSA!
We are very pleased to announce that on 1 November, Clemens Dubslaff starts as an assistant professor in the FSA group.
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.