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
Author: Thomas Neele
Papers accepted for ARQNL2022 and STTT
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
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
Tool paper on mCRL2 accepted at TACAS2019
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.
Thomas Neele, Tim Willemse and Jan Friso Groote Receive Best Paper Award at FACS2018
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.
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.