| 2026 | FORTE | Control Flow-Based Symmetry Reduction for Parameterised Boolean Equation Systems. | Menno Bartels, Maurice Laveaux, Thomas Neele, Tim A. C. Willemse |
| 2025 | CONCUR | Compositional Active Learning of Synchronizing Systems Through Automated Alphabet Refinement. | Lo Henry, Mohammad Reza Mousavi, Thomas Neele, Matteo Sammartino |
| 2024 | ATVA | Formalisation of a New Weak Semantics for AuDaLa. | Gijs P. Leemrijse, Tom T. P. Franken, Thomas Neele |
| 2024 | FORTE | AuDaLa is Turing Complete. | Tom T. P. Franken, Thomas Neele |
| 2023 | FASE | Compositional Automata Learning of Synchronous Systems. | Thomas Neele, Matteo Sammartino |
| 2023 | ICTAC | An Autonomous Data Language. | Tom T. P. Franken, Thomas Neele, Jan Friso Groote |
| 2023 | ICTAC | Simplifying Process Parameters by Unfolding Algebraic Data Types. | Anna Stramaglia, Jeroen J. A. Keiren, Thomas Neele |
| 2022 | CADE | (Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems. | Thomas Neele |
| 2020 | FOSSACS | The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. | Thomas Neele, Antti Valmari, Tim A. C. Willemse |
| 2020 | TACAS | Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems. | Thomas Neele, Tim A. C. Willemse, Wieger Wesselink |
| 2019 | TACAS | The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability. | 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 |
| 2017 | CAV | Compositional Model Checking with Incremental Counter-Example Construction. | Anton Wijs, Thomas Neele |
| 2016 | ATVA | Partial-Order Reduction for GPU Model Checking. | Thomas Neele, Anton Wijs, Dragan Bosnacki, Jaco van de Pol |
| 2016 | FM | GPUexplore 2.0: Unleashing GPU Explicit-State Model Checking. | Anton Wijs, Thomas Neele, Dragan Bosnacki |
| 2015 | SETTA | A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking. | Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Marille Stoelinga, Andrea Turrini, Lijun Zhang |