Tom van Dijk

According to our database, Tom van Dijk authored at least 33 papers between 2012 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Solving Parity Games, Very Slowly.

Tom van Dijk

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2025

2024

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021.

Swen Jacobs, Guillermo A. Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara J. Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Int. J. Softw. Tools Technol. Transf., October, 2024

Visual route following for tiny autonomous robots.

Tom van Dijk, Christophe De Wagter, Guido C. H. E. de Croon

Sci. Robotics, 2024

Knor: reactive synthesis using Oink.

Tom van Dijk, Feije van Abbema, Naum Tomov

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Avoiding Distractions in Parity Games.

Tom van Dijk

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

The Worst-Case Complexity of Symmetric Strategy Improvement.

Tom van Dijk, Georg Loho, Matthew T. Maat

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2021

Self-Supervised Monocular Depth Estimation of Untextured Indoor Rotated Scenes.

Benjamin Keltjens, Tom van Dijk, Guido de Croon

CoRR, 2021

IntelliJML: a JML plugin for IntelliJ IDEA.

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

A Tailless Flapping Wing MAV Performing Monocular Visual Servoing Tasks.

Diana A. Olejnik, Bardienus Pieter Duisterhof, Matej Karásek, Kirk Y. W. Scheper, Tom van Dijk, Guido C. H. E. de Croon

Unmanned Syst., 2020

Symbolic Parity Game Solvers that Yield Winning Strategies.

Oebele Lijzenga, Tom van Dijk

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2019

Simple Fixpoint Iteration To Solve Parity Games.

Tom van Dijk, Bob Rubbens

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

A Parity Game Tale of Two Counters.

Tom van Dijk

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

Multi-core On-The-Fly Saturation.

Tom van Dijk, Jeroen Meijer, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Presentation of the 9th Edition of the Model Checking Contest.

Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jirí Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

How Do Neural Networks See Depth in Single Images?

Tom van Dijk, Guido de Croon

Proceedings of the 2019 IEEE/CVF International Conference on Computer Vision, 2019

2018

Multi-core symbolic bisimulation minimisation.

Tom van Dijk, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2018

Revisiting Decision Diagrams for SAT.

Tom van Dijk, Rüdiger Ehlers, Armin Biere

CoRR, 2018

Oink: An Implementation and Evaluation of Modern Parity Game Solvers.

Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Attracting Tangles to Solve Parity Games.

Tom van Dijk

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Multi-core Decision Diagrams.

Tom van Dijk, Jaco van de Pol

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

Sylvan: multi-core framework for decision diagrams.

Tom van Dijk, Jaco van de Pol

Int. J. Softw. Tools Technol. Transf., 2017

Distributed binary decision diagrams for symbolic reachability.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Tagged BDDs: Combining reduction rules from different decision diagram types.

Tom van Dijk, Robert Wille, Robert Meolic

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Hardware model checking competition 2017.

Armin Biere, Tom van Dijk, Keijo Heljanko

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Sylvan: multi-core decision diagrams.

Tom van Dijk

PhD thesis, 2016

2015

Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour.

Tom van Dijk, Ton A. M. Spil, Sanne van der Burg, Ivo Wenzler, Simon Dalmolen

Int. J. Game Based Learn., 2015

LTSmin: High-Performance Language-Independent Model Checking.

Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Sylvan: Multi-Core Decision Diagrams.

Tom van Dijk, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking.

Tom van Dijk, Ernst Moritz Hahn, David N. Jansen, Yong Li, Thomas Neele, Mariëlle Stoelinga, Andrea Turrini, Lijun Zhang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

A Distributed Hash Table for Shared Memory.

Wytse Oortwijn, Tom van Dijk, Jaco van de Pol

Proceedings of the Parallel Processing and Applied Mathematics, 2015

2014

Lace: Non-blocking Split Deque for Work-Stealing.

Tom van Dijk, Jaco C. van de Pol

Proceedings of the Euro-Par 2014: Parallel Processing Workshops, 2014

2012

Multi-Core BDD Operations for Symbolic Reachability.

Tom van Dijk, Alfons Laarman, Jaco van de Pol

Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012

Multi-core and/or Symbolic Model Checking.

Tom van Dijk, Alfons Laarman, Jaco van de Pol

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012