2024

Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele
Unfolding State Variables Improves Model Checking. Theoretical Computer Science, Elsevier. (accepted with minor revision)

save_alt add_notes open_in_new

Gijs P. Leemrijse, Tom T.P. Franken, Thomas Neele
Formalisation of a new weak Semantics for AuDaLa. ATVA 2024. LNCS, Springer. (accepted for publication)

save_alt add_notes open_in_new

Thomas Neele, Anton J. Wijs
Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings. LNCS, volume 14624 Springer.

save_alt add_notes open_in_new

Thomas Neele, Jaco van de Pol
Operations on Fixpoint Equation Systems. LMCS. volume 20 (3)

save_alt add_notes open_in_new

Tom T.P. Franken, Thomas Neele
AuDaLa is Turing Complete. FORTE 2024. LNCS, volume 14678 pages 221-229. Springer.

save_alt add_notes open_in_new
2023

Anna Stramaglia, Jeroen J.A. Keiren, Thomas Neele
Simplifying Process Parameters by Unfolding Algebraic Data Types. ICTAC 2023. LNCS, volume 14446 pages 399-416. Springer.

save_alt add_notes open_in_new

Tom T.P. Franken, Thomas Neele, Jan Friso Groote
An Autonomous Data Language. ICTAC 2023. LNCS, volume 14446 pages 158-177. Springer.

save_alt add_notes open_in_new

Thomas Neele, Matteo Sammartino
Compositional Automata Learning of Synchronous Systems. FASE 2023. LNCS, volume 13991 pages 47-66. Springer.

save_alt add_notes open_in_new

Peter Gjøl Jensen, Thomas Neele
Tools and Algorithms for the Construction and Analysis of Systems: a Special Issue on Tool Papers for TACAS 2021. Software Tools for Technology Transfer. volume 25 pages 129-131. Springer.

save_alt add_notes open_in_new
2022

Thomas Neele, Tim A.C. Willemse, Wieger Wesselink, Antti Valmari
Partial-Order Reduction for Parity Games and Parameterised Boolean Equation Systems. Software Tools for Technology Transfer. volume 24 (5) pages 735-756. Springer. (TACAS2020 special issue)

save_alt add_notes open_in_new

Thomas Neele
(Re)moving Quantifiers to Simply Parameterised Boolean Equation Systems. ARQNL 2022. CEUR-WS, volume 3326 pages 64-80.

save_alt add_notes open_in_new
2021

Thomas Neele, Antti Valmari, Tim A. C. Willemse
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. Logical Methods in Computer Science, volume 17 (3) pages 8:1-8:27. (FoSSaCS 2020 special issue)

save_alt add_notes open_in_new
2020

Thomas Neele
Reductions for Parity Games and Model Checking. PhD thesis. Eindhoven University of Technology.
🏆 IPA dissertation award 2020

save_alt add_notes 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; also nominated for EASST best paper award

save_alt add_notes 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 add_notes 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. volume 188 pages 102389. Elsevier. (FACS 2018 special issue)

save_alt add_notes 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 add_notes 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 add_notes 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: Improvements in Expressivity and Usability. TACAS 2019. LNCS, volume 11428 pages 21-39. Springer.

save_alt add_notes 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 add_notes 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 add_notes 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 add_notes 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 add_notes 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 add_notes open_in_new

Thomas Neele
GPU Implementation of Partial-Order Reduction. MSc. thesis. University of Twente.
🏆 Ngi-NGN Informatie Scriptieprijs, tweede prijs, from KHMW, also nominated for ENIAC thesis award

save_alt add_notes 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 add_notes open_in_new