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
Author: Tim Willemse
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
Two new FSA members per 1 October
On 1 October, Tom Franken started as a PhD student working on the NWO-funded TOP project AVVA. At the same time, we welcomed back Thomas Neele, who started working as an Assistant Professor in our group per 1 October.
IPA Dissertation Award for Thomas Neele
Thomas Neele, who obtained his PhD under the supervision of Tim Willemse and Jan Friso Groote, won the award for the best dissertation of 2020 of the Dutch Research School IPA for his dissertation “Reductions for Parity Games and Model Checking”. In his thesis, Thomas explores symbolic techniques for simplifying and solving parameterised Boolean equation …continue reading
Paper on process decomposition accepted for ICE 2021
The paper Decomposing Monolithic Processes in a Process Algebra with Multi-actions by Maurice Laveaux and Tim Willemse was accepted for presentation at ICE 2021, a workshop co-located with DisCoTec 2021. The interactive style of reviewing employed by the ICE workshop was both interesting and a pleasurable experience.
Two Assistant Professor and/or Support Positions in FSA
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.
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.