Tom van Dijk Copyright by Tom van Dijk
Contact Expert

View Scopus Profile

Tom van Dijk

PhD, MSc

 https://orcid.org/0000-0002-5366-1051
Calculated based on number of publications stored in Pure and citations from Scopus
20122024

Research activity per year

Search results

  • 2024

    Knor: reactive synthesis using Oink

    van Dijk, T., van Abbema, F. & Tomov, N., 2024, Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Finkbeiner, B. & Kovács, L. (eds.). Springer, p. 103-122 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14570 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    19 Downloads (Pure)

  • The Reactive Synthesis Competition (SYNTCOMP): 2018–2021

    Jacobs, S., Pérez, G. A., Abraham, R., Bruyère, V., Cadilhac, M., Colange, M., Delfosse, C., van Dijk, T., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P. & Sakr, M. & 5 others, Sickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., Oct 2024, In: International journal on software tools for technology transfer. 26, 5, p. 551-567 17 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    7 Downloads (Pure)

  • The Worst-Case Complexity of Symmetric Strategy Improvement

    van Dijk, T., Loho, G. & Maat, M. T., 7 Feb 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (eds.). p. 24.1-24.19 24

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    99 Downloads (Pure)
  • 2023

    The Worst-Case Complexity of Symmetric Strategy Improvement

    Dijk, T. V., Loho, G. & Maat, M., 5 Sept 2023.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    78 Downloads (Pure)
  • 2022

    The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

    Jacobs, S., Perez, G. A., Abraham, R., Bruyere, V., Cadilhac, M., Colange, M., Delfosse, C., Dijk, T. V., Duret-Lutz, A., Faymonville, P., Finkbeiner, B., Khalimov, A., Klein, F., Luttenberger, M., Meyer, K., Michaud, T., Pommellet, A., Renkin, F., Schlehuber-Caissier, P. & Sakr, M. & 5 others, Sickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., 1 Jun 2022.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    41 Downloads (Pure)
  • 2021

    Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic

    van Dijk, T., Abraham, R. & Sickert, S., 19 Jul 2021.

    Research output: Contribution to conference › Paper › peer-review

  • IntelliJML: A JML plugin for IntelliJ IDEA

    Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M., 13 Jul 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (ed.). New York, NY: Association for Computing Machinery, p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    157 Downloads (Pure)
  • 2020

    Symbolic Parity Game Solvers that Yield Winning Strategies

    Lijzenga, O. & van Dijk, T., 22 Sept 2020, Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020. Raskin, J.-F. & Bresolin, D. (eds.). Waterloo, NSW: Open Publishing Association, p. 18-32 (Electronic Proceedings in Theoretical Computer Science; vol. 326).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    106 Downloads (Pure)
  • 2019

    A Parity Game Tale of Two Counters

    Dijk, T. V., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J.-F. (eds.). ArXiv.org, p. 107-122 16 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    171 Downloads (Pure)

  • Multi-core On-The-Fly Saturation

    van Dijk, T., Meijer, J. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 58-75 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    141 Downloads (Pure)

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

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    25 Citations (Scopus)
    84 Downloads (Pure)

  • Simple Fixpoint Iteration To Solve Parity Games

    Dijk, T. V. & Rubbens, B., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J.-F. (eds.). ArXiv.org, p. 123-139 17 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    6 Citations (Scopus)
    117 Downloads (Pure)
  • 2018

    Attracting tangles to solve parity games

    van Dijk, T., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer, p. 198-215 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    18 Citations (Scopus)
    6 Downloads (Pure)

  • Multi-core Decision Diagrams

    van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    232 Downloads (Pure)

  • Multi-core symbolic bisimulation minimisation

    van Dijk, T. (Corresponding Author) & van de Pol, J., Apr 2018, In: International journal on software tools for technology transfer. 20, 2, p. 157-177 21 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    12 Citations (Scopus)
    96 Downloads (Pure)

  • Oink: An implementation and evaluation of modern parity game solvers

    van Dijk, T., 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer, p. 291-308 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    44 Citations (Scopus)
    5 Downloads (Pure)

  • Revisiting Decision Diagrams for SAT

    Dijk, T. V., Ehlers, R. & Biere, A., 9 May 2018.

    Research output: Working paper › Preprint › Academic

    Open Access
    File
    11 Downloads (Pure)
  • 2017

    Distributed Binary Decision Diagrams for Symbolic Reachability

    Oortwijn, W., van Dijk, T. & van de Pol, J., Jul 2017, SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 21-30 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    8 Citations (Scopus)
    14 Downloads (Pure)

  • Hardware model checking competition 2017

    Biere, A., Van Dijk, T. & Heljanko, K., 8 Nov 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). IEEE, p. 9 1 p. 8102233

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    27 Citations (Scopus)

  • Sylvan: multi-core framework for decision diagrams

    van Dijk, T. & van de Pol, J., Nov 2017, In: International journal on software tools for technology transfer. 19, 6, p. 675-696 22 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    Open Access
    File
    46 Citations (Scopus)
    152 Downloads (Pure)

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

    Van Dijk, T., Wille, R. & Meolic, R., 8 Nov 2017, Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, FMCAD 2017. Weissenbacher, G. & Stewart, D. (eds.). IEEE, p. 108-115 8 p. 8102248

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    21 Citations (Scopus)
  • 2016

    Multi-core Symbolic Bisimulation Minimisation

    van Dijk, T. & van de Pol, J. C., Apr 2016, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    5 Citations (Scopus)
    66 Downloads (Pure)

  • Sylvan: multi-core decision diagrams

    van Dijk, T., 13 Jul 2016, Enschede: University of Twente. 154 p.

    Research output: Thesis › PhD Thesis - Research UT, graduation UT

    Open Access
    File
    795 Downloads (Pure)
  • 2015

    A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

    van Dijk, T., Hahn, E. M., Jansen, D. N., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Citations (Scopus)
    233 Downloads (Pure)

  • A Distributed Hash Table for Shared Memory

    Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C., Sept 2015, Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    221 Downloads (Pure)

  • LTSmin: High-Performance Language-Independent Model Checking

    Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

    File
    120 Citations (Scopus)
    646 Downloads (Pure)

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

    van Dijk, T., Spil, T., van der Burg, S., Wenzler, I. & Dalmolen, S., 2015, In: International journal of game-based learning. 5, 2, p. - 15 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    7 Citations (Scopus)

  • Sylvan: Multi-core Decision Diagrams

    van Dijk, T. & van de Pol, J. C., Apr 2015, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London: Springer, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    31 Citations (Scopus)
    450 Downloads (Pure)
  • 2014

    Lace: non-blocking split deque for work-stealing

    van Dijk, T. & van de Pol, J. C., Aug 2014, Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014. Switzerland: Springer, p. 206-217 12 p. (Lecture Notes in Computer Science; vol. 8806).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    23 Citations (Scopus)
    684 Downloads (Pure)
  • 2012

    Multi-core and/or symbolic model checking

    van Dijk, T., Laarman, A. & van de Pol, J. C., Sept 2012, 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012. Luettgen, G. & Merz, S. (eds.). Berlin: European Association for the Study of Science and Technology, 7 p. 773. (Electronic Communications of the EASST; vol. 53).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    7 Citations (Scopus)
    137 Downloads (Pure)

  • Multi-Core BDD Operations for Symbolic Reachability

    van Dijk, T., Laarman, A. & van de Pol, J. C., 17 Sept 2012, 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: Elsevier, p. 127-143 18 p. (Electronic Notes in Theoretical Computer Science; vol. 296).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    File
    20 Citations (Scopus)
    153 Downloads (Pure)