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 de Vink, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
342019
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
172016
Partial-Order Reduction for GPU Model Checking
T Neele, A Wijs, D Bošnački, J van de Pol
International Symposium on Automated Technology for Verification and …, 2016
112016
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, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
112015
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
72018
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
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
32019
Compositional Model Checking with Incremental Counter-Example Construction
A Wijs, T Neele
International Conference on Computer Aided Verification, 570-590, 2017
22017
The inconsistent labelling problem of stutter-preserving partial-order reduction
T Neele, A Valmari, TAC Willemse
International Conference on Foundations of Software Science and Computation …, 2020
12020
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, T Willemse, W Wesselink
Technische Universiteit Eindhoven, 2019
12019
Reductions for parity games and model checking
T Neele
Eindhoven University of Technology, 2020
2020
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
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–14