Thomas Neele

According to our database, Thomas Neele authored at least 22 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Replication package with proofs for the paper "Operations on Fixpoint Equation Systems".

Thomas Neele, Jaco van de Pol

Dataset, February, 2024

Operations on Fixpoint Equation Systems.

Thomas Neele, Jaco van de Pol

Log. Methods Comput. Sci., 2024

Expressivity of AuDaLa: Turing Completeness and Possible Extensions.

Tom T. P. Franken, Thomas Neele

CoRR, 2024

AuDaLa is Turing Complete.

Tom T. P. Franken, Thomas Neele

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021.

Peter Gjøl Jensen, Thomas Neele

Int. J. Softw. Tools Technol. Transf., April, 2023

Simplifying Process Parameters by Unfolding Algebraic Data Types.

Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

An Autonomous Data Language.

Tom T. P. Franken, Thomas Neele, Jan Friso Groote

Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

Compositional Automata Learning of Synchronous Systems.

Thomas Neele, Matteo Sammartino

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Partial-order reduction for parity games and parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari

Int. J. Softw. Tools Technol. Transf., 2022

(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems.

Thomas Neele

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022), 2022

2021

A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele, Antti Valmari, Tim A. C. Willemse

Log. Methods Comput. Sci., 2021

2020

Finding compact proofs for infinite-data parameterised Boolean equation systems.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Sci. Comput. Program., 2020

Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.

Thomas Neele, Tim A. C. Willemse, Wieger Wesselink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.

Thomas Neele, Antti Valmari, Tim A. C. Willemse

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2019

The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Verifying System-Wide Properties of Industrial Component-Based Software.

Thomas Neele, Marijn Rol, Jan Friso Groote

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.

Thomas Neele, Tim A. C. Willemse, Jan Friso Groote

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

On the Scalability of the GPUexplore Explicit-State Model Checker.

Nathan Cassee, Thomas Neele, Anton Wijs

Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

Compositional Model Checking with Incremental Counter-Example Construction.

Anton Wijs, Thomas Neele

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking.

Anton Wijs, Thomas Neele, Dragan Bosnacki

Proceedings of the FM 2016: Formal Methods, 2016

Partial-Order Reduction for GPU Model Checking.

Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015