The Formal System Analysis group has two vacancies for tenured/tenure track assistant professor and/or support staff positions. More information about these positions can be found here. Screening has started. The application deadline is 30 April, 2021 but screening will continue until the position has been filled.
Author: Tim Willemse
No FSA colloquium due to Corona virus
The weekly FSA colloquium is postponed until further notice due to the precautionary measures to contain the Corona outbreak.
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, in Dublin. The work is based on Sjef’s Master’s thesis.
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 of Technology.
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 Methods for Industrial Critical Systems.
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é with a particular focus on adding verification technology for verifying programs written in OIL. The five-year project is fully sponsored …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 be held in September in Saarbrücken (Germany). The work builds on the FSA seminar assignment carried out by Lisette in …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 constructing counterexamples in mCRL2 when verifying (first-order) modal mu-calculus properties.
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, USA. The paper proposes an efficient, BDD-based method to evaluate extended ABAC policies, addressing attribute hiding attacks. A case study on two …continue reading