Tom van Dijk
TitleCited byYear
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk
International Conference on Tools and Algorithms for the Construction andá…, 2015
1092015
Sylvan: Multi-core Decision Diagrams
T van Dijk, JC van de Pol
TACAS 2015, 2015
352015
Multi-Core BDD Operations for Symbolic Reachability
T van Dijk, A Laarman, J van de Pol
Electronic Notes in Theoretical Computer Science, 2012
282012
Oink: an implementation and evaluation of modern parity game solvers
T van Dijk
International Conference on Tools and Algorithms for the Construction andá…, 2018
232018
Lace: non-blocking split deque for work-stealing
T van Dijk, JC van de Pol
European Conference on Parallel Processing, 206-217, 2014
232014
Hardware model checking competition 2017
A Biere, T van Dijk, K Heljanko
Proceedings of the 17th Conference on Formal Methods in Computer-Aidedá…, 2017
212017
Sylvan: multi-core framework for decision diagrams
T van Dijk, J van de Pol
International Journal on Software Tools for Technology Transfer 19 (6), 675-696, 2017
202017
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
112015
Multi-core symbolic bisimulation minimisation
T van Dijk, J van de Pol
International journal on software tools for technology transfer 20 (2), 157-177, 2018
82018
Sylvan: multi-core decision diagrams
T van Dijk
82016
Multi-core symbolic bisimulation minimisation
T van Dijk, J van de Pol
International Conference on Tools and Algorithms for the Construction andá…, 2016
82016
Multi-core and/or symbolic model checking
T van Dijk, A Laarman, J van de Pol
12th International Workshop on Automated Verification of Critical Systemsá…, 2012
82012
Attracting tangles to solve parity games
T van Dijk
International Conference on Computer Aided Verification, 198-215, 2018
72018
Tagged BDDs: combining reduction rules from different decision diagram types
T van Dijk, R Wille, R Meolic
Proceedings of the 17th Conference on Formal Methods in Computer-Aidedá…, 2017
72017
Distributed binary decision diagrams for symbolic reachability
W Oortwijn, T Dijk, J Pol
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Modelá…, 2017
62017
The Parallelization of Binary Decision Diagram Operations for Model Checking
T van Dijk
University of Twente, 2012
62012
Presentation of the 9th Edition of the Model Checking Contest
E Amparore, B Berthomieu, G Ciardo, S Dal Zilio, F GallÓ, LM Hillah, ...
International Conference on Tools and Algorithms for the Construction andá…, 2019
22019
Multi-core on-the-fly saturation
T van Dijk, J Meijer, J van de Pol
International Conference on Tools and Algorithms for the Construction andá…, 2019
22019
A Distributed Hash Table for Shared Memory
W Oortwijn, T van Dijk, J van de Pol
Parallel Processing and Applied Mathematics, 15-24, 2016
22016
A Parity Game Tale of Two Counters
T van Dijk
arXiv preprint arXiv:1807.10210, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20