Thomas Neele
TitleCited byYear
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
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
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
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
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
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
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
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
Compositional Model Checking with Incremental Counter-Example Construction
A Wijs, T Neele
International Conference on Computer Aided Verification, 570-590, 2017
GPU implementation of partial-order reduction
T Neele
University of Twente, 2016
The system can't perform the operation now. Try again later.
Articles 1–10