Thomas Neele
TitleCited byYear
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
102016
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
102016
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
102015
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
32017
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
22018
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
12019
Verifying system-wide properties of industrial component-based software
T Neele, MH Rol, JF Groote
8th IPM International Conference on Fundamentals of Software Engineering, 5-20, 2019
2019
Compositional Model Checking with Incremental Counter-Example Construction
A Wijs, T Neele
International Conference on Computer Aided Verification, 570-590, 2017
2017
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–9