Articles avec mandats d'accès public - Tom van DijkEn savoir plus
Disponibles quelque part : 10
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
Exigences : Austrian Science Fund, Vienna Science and Technology Fund, Austria
Oink: An implementation and evaluation of modern parity game solvers
T van Dijk
International Conference on Tools and Algorithms for the Construction and …, 2018
Exigences : Austrian Science Fund
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
Exigences : Netherlands Organisation for Scientific Research
Tagged BDDs: combining reduction rules from different decision diagram types
T van Dijk, R Wille, R Meolic
2017 Formal Methods in Computer Aided Design (FMCAD), 108-115, 2017
Exigences : Austrian Science Fund, European Commission
Attracting tangles to solve parity games
T van Dijk
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Exigences : Austrian Science Fund
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
Exigences : Chinese Academy of Sciences, National Natural Science Foundation of China
Multi-core symbolic bisimulation minimisation
T van Dijk, J van de Pol
International Conference on Tools and Algorithms for the Construction and …, 2016
Exigences : Austrian Science Fund, Netherlands Organisation for Scientific Research
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
Exigences : Austrian Science Fund, Netherlands Organisation for Scientific Research
Knor: reactive synthesis using Oink
T van Dijk, F van Abbema, N Tomov
International Conference on Tools and Algorithms for the Construction and …, 2024
Exigences : European Commission
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
Exigences : Austrian Science Fund
Les informations concernant la publication et le financement sont déterminées automatiquement par un programme informatique