The paper “Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting” by Thomas Neele, Tim Willemse and Jan Friso Groote has been accepted for presentation at the International Conference on Formal Analysis of Component …continue reading
The paper “Dynamic Performance Analysis of IEEE 802.15.4 Networks under Intermittent Wi-Fi Interference” by Mahmoud Talebi, Chara Papatsimpa and Jean-Paul Linnartz has been accepted for presentation at the IEEE International Symposium on Personal, Indoor and Mobile …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 …continue reading
Prof. Dmitry Zaitsev and dr. Tatiana Shmeleva from the International Humanitarian University, Odessa, Ukraine are visiting during the month of July, 2018.
The paper “Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 toolset” by Maarten Bartholomeus, Bas Luttik and Tim Willemse has been accepted for presentation at FMICS 2018, to be held at Maynooth University, Ireland on …continue reading
The paper Deadlock Detection for Actor-based Coroutines by Keyvan Azadbakht, Frank De Boer and Erik de Vink has been accepted for presentation at FM 2018. The Formal Methods symposium will be held as part of …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 …continue reading
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
The paper “Formal Micro-Architectural Analysis of On-Chip Ring Networks” by Perry van Wesel and Julien Schmaltz has been accepted to the 2018 Design Automation Conference. Congratulations to Perry and Julien !
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