Thomas Neele

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 24

Top Topics

Top Venues

Int. J. Softw. Tools Technol. Transf.

Log. Methods Comput. Sci.

Publications

Tom T. P. Franken, Thomas Neele
AuDaLa is Turing Complete. FORTE (2024)
Thomas Neele, Jaco van de Pol
Operations on Fixpoint Equation Systems. Log. Methods Comput. Sci. 20 (3) (2024)
Tom T. P. Franken, Thomas Neele
AuDaLa is Turing Complete. CoRR (2024)
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
An Autonomous Data Language. ICTAC (2023)
Thomas Neele, Matteo Sammartino
Compositional Automata Learning of Synchronous Systems. FASE (2023)
Peter Gjøl Jensen, Thomas Neele
Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Thomas Neele, Jaco van de Pol
Operations on Fixpoint Equation Systems. CoRR (2023)
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
Simplifying Process Parameters by Unfolding Algebraic Data Types. ICTAC (2023)
Thomas Neele
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. ARQNL@IJCAR (2022)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
Partial-order reduction for parity games and parameterised Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Log. Methods Comput. Sci. 17 (3) (2021)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Finding compact proofs for infinite-data parameterised Boolean equation systems. Sci. Comput. Program. 188 (2020)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS (2) (2020)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. FoSSaCS (2020)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR (2020)
Thomas Neele, Marijn Rol, Jan Friso Groote
Verifying System-Wide Properties of Industrial Component-Based Software. FSEN (2019)
Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. TACAS (2) (2019)
Thomas Neele, Antti Valmari, Tim A. C. Willemse
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. CoRR (2019)
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS (2018)
Nathan Cassee, Thomas Neele, Anton Wijs
On the Scalability of the GPUexplore Explicit-State Model Checker. GaM@ETAPS (2017)
Anton Wijs, Thomas Neele
Compositional Model Checking with Incremental Counter-Example Construction. CAV (1) (2017)
Anton Wijs, Thomas Neele, Dragan Bosnacki
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM (2016)
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
Partial-Order Reduction for GPU Model Checking. ATVA (2016)
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA (2015)