| The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 209 | 2019 |
| 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 | 43 | 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, ... Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015 | 29 | 2015 |
| Partial-order reduction for GPU model checking T Neele, A Wijs, D Bošnački, J van de Pol Automated Technology for Verification and Analysis: 14th International …, 2016 | 28 | 2016 |
| Solving parameterised Boolean equation systems with infinite data through quotienting T Neele, TAC Willemse, JF Groote Formal Aspects of Component Software: 15th International Conference, FACS …, 2018 | 16 | 2018 |
| Compositional Automata Learning of Synchronous Systems T Neele, M Sammartino International Conference on Fundamental Approaches to Software Engineering …, 2023 | 10 | 2023 |
| 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 | 9 | 2017 |
| Finding compact proofs for infinite-data parameterised Boolean equation systems T Neele, TAC Willemse, JF Groote Science of Computer Programming 188, 102389, 2020 | 7 | 2020 |
| The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. T Neele, A Valmari, TAC Willemse FoSSaCS, 482-501, 2020 | 6 | 2020 |
| Partial-order reduction for parity games and parameterised Boolean equation systems T Neele, TAC Willemse, W Wesselink, A Valmari International Journal on Software Tools for Technology Transfer 24 (5), 735-756, 2022 | 5 | 2022 |
| Partial-order reduction for parity games with an application on parameterised Boolean equation systems T Neele, TAC Willemse, W Wesselink International Conference on Tools and Algorithms for the Construction and …, 2020 | 5 | 2020 |
| Verifying system-wide properties of industrial component-based software T Neele, M Rol, JF Groote Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019 | 4 | 2019 |
| An Autonomous Data Language TTP Franken, T Neele, JF Groote International Colloquium on Theoretical Aspects of Computing, 158-177, 2023 | 3 | 2023 |
| Compositional model checking with incremental counter-example construction A Wijs, T Neele Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 3 | 2017 |
| (Re) moving Quantifiers to Simplify Parameterised Boolean Equation Systems T Neele 4th International Workshop on Automated Reasoning in Quantified Non …, 2022 | 2 | 2022 |
| A detailed account of the inconsistent labelling problem of stutter-preserving partial-order reduction T Neele, A Valmari, TAC Willemse Logical Methods in Computer Science 17, 2021 | 2 | 2021 |
| Reductions for parity games and model checking T Neele Eindhoven University of Technology, 2020 | 2 | 2020 |
| GPU implementation of partial-order reduction T Neele University of Twente, 2016 | 2 | 2016 |
| Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report) T Neele, TAC Willemse, W Wesselink Tech. rep., Eindhoven University of Technology, 2019 | 1 | 2019 |
| Operations on Fixpoint Equation Systems T Neele, J van de Pol Logical Methods in Computer Science 20, 2024 | | 2024 |
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
