The paper “Compositional Automata Learning of Synchronous Systems” by Thomas Neele and Matteo Sammartino was accepted for presentation at FASE’23, which will take place in Paris, France. This paper proposes an extension for the classic L* automata learning algorithm, so that systems consisting of multiple communicating automata can be learning in a compositional fashion. This …continue reading

The paper (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems by Thomas Neele was accepted for presentation at ARQNL2022, a workshop affiliated with IJCAR and part of FLoC2022. Furthermore, the paper Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems by Thomas Neele, Antti Valmari, Wieger Wesselink and Tim A. C. Willemse was accepted …continue reading

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

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

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

The paper “The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability” by Olav Bunte, Jan Friso Groote, Jeroen Keiren, Maurice Laveaux, Thomas Neele, Erik de Vink, Wieger Wesselink, Anton Wijs and Tim Willemse has been accepted for publication at TACAS 2019 in Prague, Czech Republic.

The paper “Solving Parameterised Boolean Equation Systems with Infinite-Data Trough Quotienting” by Thomas Neele, Tim Willemse and Jan Friso Groote received the Best Paper Award at the 15th International Conference on Formal Aspects of Component Software.

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.