| 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, ... 25th International Conference on Tools and Algorithms for the Construction …, 2019 | 69 | 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 | 24 | 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, ... International Symposium on Dependable Software Engineering: Theories, Tools …, 2015 | 15 | 2015 |
| Partial-Order Reduction for GPU Model Checking T Neele, A Wijs, D Bošnački, J van de Pol International Symposium on Automated Technology for Verification and …, 2016 | 13 | 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 26th International Conference on Tools and Algorithms for the Construction …, 2020 | 5 | 2020 |
| The inconsistent labelling problem of stutter-preserving partial-order reduction T Neele, A Valmari, TAC Willemse International Conference on Foundations of Software Science and Computation …, 2020 | 4 | 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 | 4 | 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 |
| 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
