Thomas Neele

32 papers B 5C 3Misc 1Journal 14Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement.
CONCUR
Léo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino
2025 J jnl
Compositional Active Learning of Synchronous Systems through Automated Alphabet Refinement.
CoRR
Léo Henry, Thomas Neele, Mohammad Mousavi, Matteo Sammartino
2025 — ed.
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
SPIN
Thomas Neele, Anton Wijs
2025 J jnl
The Autonomous Data Language - Concepts, Design and Formal Verification.
CoRR
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2025 J jnl
The Autonomous Data Language - Concepts, design and formal verification.
Theor. Comput. Sci.
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2025 J jnl
Unfolding state variables improves model checking performance.
Theor. Comput. Sci.
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
2024 C conf
AuDaLa is Turing Complete.
FORTE
Tom T. P. Franken, Thomas Neele
2024 J jnl
AuDaLa is Turing Complete.
CoRR
Tom T. P. Franken, Thomas Neele
2024 J jnl
Expressivity of AuDaLa: Turing Completeness and Possible Extensions.
CoRR
Tom T. P. Franken, Thomas Neele
2024 — conf
Formalisation of a New Weak Semantics for AuDaLa.
ATVA (2)
Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele
2024 J jnl
Operations on Fixpoint Equation Systems.
Log. Methods Comput. Sci.
Thomas Neele, Jaco van de Pol
2023 C conf
An Autonomous Data Language.
ICTAC
Tom T. P. Franken, Thomas Neele, Jan Friso Groote
2023 B conf
Compositional Automata Learning of Synchronous Systems.
FASE
Thomas Neele, Matteo Sammartino
2023 J jnl
Operations on Fixpoint Equation Systems.
CoRR
Thomas Neele, Jaco van de Pol
2023 C conf
Simplifying Process Parameters by Unfolding Algebraic Data Types.
ICTAC
Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
2023 J jnl
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.
Peter Gjøl Jensen, Thomas Neele
2022 — conf
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems.
ARQNL@IJCAR
Thomas Neele
2022 J jnl
Partial-order reduction for parity games and parameterised Boolean equation systems.
Int. J. Softw. Tools Technol. Transf.
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink, Antti Valmari
2021 J jnl
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
Log. Methods Comput. Sci.
Thomas Neele, Antti Valmari, Tim A. C. Willemse
2020 J jnl
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
CoRR
Thomas Neele, Antti Valmari, Tim A. C. Willemse
2020 J jnl
Finding compact proofs for infinite-data parameterised Boolean equation systems.
Sci. Comput. Program.
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2020 — conf
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems.
TACAS (2)
Thomas Neele, Tim A. C. Willemse, Wieger Wesselink
2020 B conf
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
FoSSaCS
Thomas Neele, Antti Valmari, Tim A. C. Willemse
2019 J jnl
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
CoRR
Thomas Neele, Antti Valmari, Tim A. C. Willemse
2019 — conf
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.
TACAS (2)
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
2019 — conf
Verifying System-Wide Properties of Industrial Component-Based Software.
FSEN
Thomas Neele, Marijn Rol, Jan Friso Groote
2018 — conf
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting.
FACS
Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
2017 — conf
Compositional Model Checking with Incremental Counter-Example Construction.
CAV (1)
Anton Wijs, Thomas Neele
2017 — conf
On the Scalability of the GPUexplore Explicit-State Model Checker.
GaM
Nathan Cassee, Thomas Neele, Anton Wijs
2016 B conf
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking.
FM
Anton Wijs, Thomas Neele, Dragan Bosnacki
2016 B conf
Partial-Order Reduction for GPU Model Checking.
ATVA
Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol
2015 Misc conf
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.
SETTA
Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang