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.
The weekly FSA colloquium is postponed until further notice due to the precautionary measures to contain the Corona outbreak.
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.
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.
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.
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.
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
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
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.
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