EATCS best paper award at ETAPS

The paper “The inconsistent labelling problem of stutter-preserving partial-order reduction” by Thomas Neele, Antti Valmari and Tim Willemse, published at FoSSaCS 2020 (part of ETAPS), has been awarded with the EATCS award for the best ETAPS paper in theoretical computer science. The ETAPS award ceremony will take place online, on July 2. The details can …continue reading

Two papers on partial-order reduction accepted at FoSSaCS, TACAS

The papers “Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Wieger Wesselink and “The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction” by Thomas Neele, Antti Valmari and Tim Willemse were accepted for presentation at TACAS 2020 and FoSSaCS 2020, respectively. These conferences are part …continue reading

Paper accepted in FACS2018 special issue

The paper “Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems” by Thomas Neele, Tim Willemse and Jan Friso Groote was accepted for publication in the FACS2018 special issue of Science of Computer Programming. This paper extends “Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting”, which was awarded the Best Paper award at …continue reading

Paper accepted at FACS 2018

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 Systems (FACS) that will be held in October 2018, in Pohang, Korea.