| The mCRL2 toolset for analysing concurrent systems O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2019 | 90 | 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 | 26 | 2016 |
| A comparative study of BDD packages for probabilistic symbolic model checking T Dijk, EM Hahn, DN Jansen, Y Li, T Neele, M Stoelinga, A Turrini, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2015 | 17 | 2015 |
| Partial-order reduction for GPU model checking T Neele, A Wijs, D Bošnački, J Pol International Symposium on Automated Technology for Verification and …, 2016 | 14 | 2016 |
| Solving parameterised Boolean equation systems with infinite data through quotienting T Neele, TAC Willemse, JF Groote International Conference on Formal Aspects of Component Software, 216-236, 2018 | 10 | 2018 |
| 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 International Conference on Fundamentals of Software Engineering, 158-175, 2019 | 5 | 2019 |
| 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 | 4 | 2017 |
| The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction. T Neele, A Valmari, TAC Willemse FoSSaCS, 482-501, 2020 | 3 | 2020 |
| Compositional Model Checking with Incremental Counter-Example Construction A Wijs, T Neele International Conference on Computer Aided Verification, 570-590, 2017 | 2 | 2017 |
| Finding compact proofs for infinite-data parameterised Boolean equation systems T Neele, TAC Willemse, JF Groote Science of Computer Programming 188, 102389, 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 |
| A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction TAC Willemse, A Valmari, T Neele Logical Methods in Computer Science 17, 2021 | | 2021 |
| Reductions for parity games and model checking T Neele Eindhoven University of Technology, 2020 | | 2020 |
| GPU implementation of partial-order reduction T Neele University of Twente, 2016 | | 2016 |
Tim WillemseAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
