2020

Thomas Neele
Reductions for Parity Games and Model Checking. PhD thesis. Eindhoven University of Technology.

save_alt open_in_new

Thomas Neele, Antti Valmari, Tim A. C. Willemse
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. FoSSaCS 2020. LNCS, volume 12077 pages 482-501. Springer. EATCS best paper award

save_alt open_in_new

Thomas Neele, Tim A.C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. TACAS 2020. LNCS, volume 12079 pages 307-324. Springer.

save_alt open_in_new

Thomas Neele, Tim A.C. Willemse, Jan Friso Groote
Finding Compact Proofs for Infinite-Data Parameterised Boolean Equation Systems. Science of Computer Programming (FACS 2018 special issue). volume 188 pages 102389. Elsevier.

save_alt open_in_new
2019

Thomas Neele, Marijn Rol, Jan Friso Groote
Verifying System-Wide Properties of Industrial Component-Based Software. FSEN 2019. LNCS, volume 11761 pages 158-175. Springer.

save_alt open_in_new

Thomas Neele, Tim A.C. Willemse, Wieger Wesselink
Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Technical Report). Computer Science Reports, volume 19/02 Eindhoven University of Technology.

save_alt open_in_new

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.

save_alt open_in_new
2018

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. Best paper award.

save_alt open_in_new
2017

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.

save_alt open_in_new

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

save_alt open_in_new
2016

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.

save_alt open_in_new

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.

save_alt open_in_new

Thomas Neele
GPU Implementation of Partial-Order Reduction. MSc. thesis. University of Twente. Ngi-NGN Informatie Scriptieprijs, tweede prijs, from KHMW

save_alt open_in_new
2015

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.

save_alt open_in_new