Follow
Thomas Neele
Title
Cited by
Cited by
Year
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ...
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
2032019
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking
A Wijs, T Neele, D Bošnački
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
402016
A comparative study of BDD packages for probabilistic symbolic model checking
T van Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ...
Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015
292015
Partial-order reduction for GPU model checking
T Neele, A Wijs, D Bošnački, J van de Pol
Automated Technology for Verification and Analysis: 14th International …, 2016
262016
Solving parameterised Boolean equation systems with infinite data through quotienting
T Neele, TAC Willemse, JF Groote
Formal Aspects of Component Software: 15th International Conference, FACS …, 2018
162018
Compositional Automata Learning of Synchronous Systems
T Neele, M Sammartino
International Conference on Fundamental Approaches to Software Engineering …, 2023
92023
On the Scalability of the GPUexplore Explicit-State Model Checker
N Cassee, T Neele, A Wijs
Proceedings Third Workshop on Graphs as Models (GaM 2017), 2017
82017
Finding compact proofs for infinite-data parameterised Boolean equation systems
T Neele, TAC Willemse, JF Groote
Science of Computer Programming 188, 102389, 2020
72020
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
T Neele, A Valmari, TAC Willemse
FoSSaCS, 482-501, 2020
62020
Partial-order reduction for parity games and parameterised Boolean equation systems
T Neele, TAC Willemse, W Wesselink, A Valmari
International Journal on Software Tools for Technology Transfer 24 (5), 735-756, 2022
52022
Partial-order reduction for parity games with an application on parameterised Boolean equation systems
T Neele, TAC Willemse, W Wesselink
International Conference on Tools and Algorithms for the Construction and …, 2020
52020
Verifying system-wide properties of industrial component-based software
T Neele, M Rol, JF Groote
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
42019
Compositional model checking with incremental counter-example construction
A Wijs, T Neele
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
32017
An Autonomous Data Language
TTP Franken, T Neele, JF Groote
International Colloquium on Theoretical Aspects of Computing, 158-177, 2023
22023
(Re) moving Quantifiers to Simplify Parameterised Boolean Equation Systems
T Neele
4th International Workshop on Automated Reasoning in Quantified Non …, 2022
22022
A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction
T Neele, A Valmari, TAC Willemse
Logical Methods in Computer Science 17, 2021
22021
Reductions for parity games and model checking
T Neele
Eindhoven University of Technology, 2020
22020
Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)
T Neele, TAC Willemse, W Wesselink
Tech. rep., Eindhoven University of Technology, 2019
12019
GPU implementation of partial-order reduction
T Neele
University of Twente, 2016
12016
Operations on Fixpoint Equation Systems
T Neele, J van de Pol
Logical Methods in Computer Science 20, 2024
2024
The system can't perform the operation now. Try again later.
Articles 1–20