Thomas Neele
Thomas Neele
Vahvistettu sähköpostiosoite verkkotunnuksessa - Kotisivu
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
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
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
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
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
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
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
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
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
Compositional Model Checking with Incremental Counter-Example Construction
A Wijs, T Neele
International Conference on Computer Aided Verification, 570-590, 2017
Finding compact proofs for infinite-data parameterised Boolean equation systems
T Neele, TAC Willemse, JF Groote
Science of Computer Programming 188, 102389, 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
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
Reductions for parity games and model checking
T Neele
Eindhoven University of Technology, 2020
GPU implementation of partial-order reduction
T Neele
University of Twente, 2016
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–15