| 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 | 10 | 2016 |
| 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 | 10 | 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 | 10 | 2015 |
| 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 | 3 | 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 | 2 | 2018 |
| 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 | 1 | 2019 |
| 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 |
