Follow
Thomas Neele
Title
Cited by
Cited by
Year
The mCRL2 toolset for analysing concurrent systems
O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
902019
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
262016
A comparative study of BDD packages for probabilistic symbolic model checking
T Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
172015
Partial-order reduction for GPU model checking
T Neele, A Wijs, D Bošnački, J Pol
International Symposium on Automated Technology for Verification and …, 2016
142016
Solving parameterised Boolean equation systems with infinite data through quotienting
T Neele, TAC Willemse, JF Groote
International Conference on Formal Aspects of Component Software, 216-236, 2018
102018
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
International Conference on Fundamentals of Software Engineering, 158-175, 2019
52019
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
42017
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
T Neele, A Valmari, TAC Willemse
FoSSaCS, 482-501, 2020
32020
Compositional Model Checking with Incremental Counter-Example Construction
A Wijs, T Neele
International Conference on Computer Aided Verification, 570-590, 2017
22017
Finding compact proofs for infinite-data parameterised Boolean equation systems
T Neele, TAC Willemse, JF Groote
Science of Computer Programming 188, 102389, 2020
12020
Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)
T Neele, TAC Willemse, W Wesselink
Computer science reports 19, 2019
12019
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
TAC Willemse, A Valmari, T Neele
Logical Methods in Computer Science 17, 2021
2021
Reductions for parity games and model checking
T Neele
Eindhoven University of Technology, 2020
2020
GPU implementation of partial-order reduction
T Neele
University of Twente, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–15