The weekly FSA colloquium is postponed until further notice due to the precautionary measures to contain the Corona outbreak.
Author: Tim Willemse
Paper on Variability Parity Games accepted at FASE 2020
The paper “Family-Based SPL Model Checking Using Parity Games with Variability” by Maurice ter Beek, Sjef van Loo, Erik de Vink and Tim Willemse has been accepted for presentation at FASE, part of ETAPS 2020, …continue reading
Jeroen Keiren joins FSA
We’re very pleased to welcome Jeroen Keiren, who started as an assistant professor in our group on 1 February! Before joining FSA, he worked as an assistant professor at the Open University and Delft University …continue reading
Paper on ABAC policies accepted in Springer’s Cybersecurity
The paper “A Framework for the Extended Evaluation of ABAC Policies” by Morisset, Willemse and Zannone has been accepted for publication in Springer’s Cybersecurity journal.
Bas Luttik and Tim Willemse Receive Best Paper Award at FMICS
Maarten Bartholomeus (ProRail), Bas Luttik and Tim Willemse received a Best Paper award for their paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset”, presented at the 23rd International Conference on Formal …continue reading
New group member: Olav Bunte
Olav Bunte started as a PhD candidate in the VOICE-B project in our group. The VOICE-B project, led by Tim Willemse and Louis van Gool (Océ) aims to formalise the OIL language used at Océ …continue reading
Paper accepted at GandALF 2018
The paper “A Comparison of BDD-Based Parity Game Solvers” by Lisette Sanchez, Wieger Wesselink and Tim Willemse has been accepted for presentation at the International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) that will …continue reading
Paper on counterexample generation accepted for presentation at ARQNL
The paper “Evidence Extraction from Parameterised Boolean Equation Systems” by Wieger Wesselink and Tim Willemse was accepted for presentation at ARQNL (part of FLoC 2018, Oxford, UK). It provides the theoretical and practical foundations for …continue reading
Paper accepted at SACMAT
The paper “Efficient Extended ABAC Evaluation” by Charles Morisset (Newcastle University), Tim Willemse and Nicola Zannone (TU/e) has been accepted for presentation at the ACM Symposium on Access Control Models and Technologies (SACMAT 2018) in Indianapolis, IN, …continue reading
New group member: Maurice Laveaux
Maurice Laveaux started as a PhD candidate in the AVVA project in our group. He will be exploring ways of using parallelism for accelerating verification and use verification to prove the correctness of highly parallel …continue reading