| 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 | 126 | 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 | 33 | 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 | 23 | 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 | 20 | 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 | 11 | 2018 |
| Partial-order reduction for parity games with an application on parameterised Boolean equation systems T Neele, TAC Willemse, W Wesselink Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 6 | 2020 |
| 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 | 6 | 2017 |
| The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. T Neele, A Valmari, TAC Willemse FoSSaCS, 482-501, 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 | 5 | 2019 |
| Finding compact proofs for infinite-data parameterised Boolean equation systems T Neele, TAC Willemse, JF Groote Science of Computer Programming 188, 102389, 2020 | 3 | 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 | 2 | 2022 |
| Compositional model checking with incremental counter-example construction A Wijs, T Neele Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 2 | 2017 |
| Compositional Automata Learning of Synchronous Systems T Neele, M Sammartino Fundamental Approaches to Software Engineering: 26th International …, 2023 | 1 | 2023 |
| (Re) moving Quantifiers to Simplify Parameterised Boolean Equation Systems T Neele 4th International Workshop on Automated Reasoning in Quantified Non …, 2022 | 1 | 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 | 1 | 2021 |
| Reductions for parity games and model checking T Neele Eindhoven University of Technology, 2020 | 1 | 2020 |
| Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report) T Neele, TAC Willemse, W Wesselink Computer science reports 19, 2019 | 1 | 2019 |
| Operations on Fixpoint Equation Systems T Neele, J van de Pol arXiv preprint arXiv:2304.07162, 2023 | | 2023 |
| Tools and algorithms for the construction and analysis of systems: a special issue on tool papers for TACAS 2021 PG Jensen, T Neele International Journal on Software Tools for Technology Transfer 25 (2), 129-131, 2023 | | 2023 |
| GPU implementation of partial-order reduction T Neele University of Twente, 2016 | | 2016 |
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
