Követés
Thomas Neele
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
1692019
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
392016
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
272015
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
252016
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
152018
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
82017
Compositional Automata Learning of Synchronous Systems
T Neele, M Sammartino
International Conference on Fundamental Approaches to Software Engineering …, 2023
62023
The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction.
T Neele, A Valmari, TAC Willemse
FoSSaCS, 482-501, 2020
52020
Finding compact proofs for infinite-data parameterised Boolean equation systems
T Neele, TAC Willemse, JF Groote
Science of Computer Programming 188, 102389, 2020
52020
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
42020
Verifying system-wide properties of industrial component-based software
T Neele, M Rol, JF Groote
Fundamentals of Software Engineering: 8th International Conference, FSEN …, 2019
42019
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
32022
Compositional model checking with incremental counter-example construction
A Wijs, T Neele
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
32017
(Re) moving Quantifiers to Simplify Parameterised Boolean Equation Systems
T Neele
4th International Workshop on Automated Reasoning in Quantified Non …, 2022
22022
Reductions for parity games and model checking
T Neele
Eindhoven University of Technology, 2020
22020
An Autonomous Data Language
TTP Franken, T Neele, JF Groote
International Colloquium on Theoretical Aspects of Computing, 158-177, 2023
12023
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
12021
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
12019
GPU implementation of partial-order reduction
T Neele
University of Twente, 2016
12016
Simplifying Process Parameters by Unfolding Algebraic Data Types
A Stramaglia, JJA Keiren, T Neele
International Colloquium on Theoretical Aspects of Computing, 399-416, 2023
2023
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20