Google Scholar DBLP


Thomas Neele, Marijn Rol, Jan Friso Groote
Verifying System-Wide Properties of Industrial Component-Based Software. FSEN 2019, preproceedings. pages 5-20. IPM School of Computer Science.

Olav Bunte, Jan Friso Groote, Jeroen J. A. Keiren, Maurice Laveaux, Thomas Neele, Erik P. de Vink, Wieger Wesselink, Anton Wijs, Tim A. C. Willemse
The mCRL2 Toolset for Analysing Concurrent Systems. TACAS 2019. LNCS, volume 11428 pages 21-39. Springer.


Thomas Neele, Tim A. C. Willemse, Jan Friso Groote
Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting. FACS 2018. LNCS, volume 11222 pages 216-236. Springer.


Nathan Cassee, Thomas Neele, Anton Wijs
On the Scalability of the GPUexplore Explicit-State Model Checker. GaM 2017. EPTCS, volume 263 pages 38-52. Open Publishing Association.

Anton Wijs, Thomas Neele
Compositional Model Checking with Incremental Counter-Example Construction. CAV 2017. LNCS, volume 10426 pages 570-590. Springer.


Anton Wijs, Thomas Neele, Dragan Bošnački
GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. FM 2016. LNCS, volume 9995 pages 694-700. Springer.

Thomas Neele, Anton Wijs, Dragan Bošnački, Jaco van de Pol
Partial-Order Reduction for GPU Model Checking. ATVA 2016. LNCS, volume 9983 pages 357-374. Springer.


Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang
A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. SETTA 2015. LNCS, volume 9409 pages 35-51. Springer.