Tom van Dijk Copyright by Tom van Dijk

Tom van Dijk

PhD, MSc

Calculated based on number of publications stored in Pure and citations from Scopus
20122023

Research activity per year

Search results

  • 2023

    The Worst-Case Complexity of Symmetric Strategy Improvement

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

    Research output: Working paperPreprintAcademic

    Open Access
    File
    53 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 othersSickert, S., Staquet, G., Tamines, C., Tentrup, L. & Walker, A., 1 Jun 2022.

    Research output: Working paperPreprintAcademic

    Open Access
    File
    31 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 conferencePaperpeer-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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    112 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    85 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    141 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    127 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    21 Citations (Scopus)
    68 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    88 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    15 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 proceedingChapterAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    208 Downloads (Pure)
  • Multi-core symbolic bisimulation minimisation

    van Dijk, T. & 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 journalArticleAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    83 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    35 Citations (Scopus)
    12 Downloads (Pure)
  • Revisiting Decision Diagrams for SAT

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

    Research output: Working paperPreprintAcademic

    Open Access
    File
    5 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 proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    11 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 proceedingConference contributionAcademicpeer-review

    21 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 journalArticleAcademicpeer-review

    Open Access
    File
    39 Citations (Scopus)
    145 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 proceedingConference contributionAcademicpeer-review

    19 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 proceedingConference contributionAcademicpeer-review

    File
    5 Citations (Scopus)
    56 Downloads (Pure)
  • Sylvan: multi-core decision diagrams

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

    Research output: ThesisPhD Thesis - Research UT, graduation UT

    Open Access
    File
    646 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    16 Citations (Scopus)
    214 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    154 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 proceedingChapterAcademicpeer-review

    File
    114 Citations (Scopus)
    573 Downloads (Pure)
  • Present or Play: The Effect of Serious Gaming on Demonstrated Behaviour

    van Dijk, T., Spil, A. A. M., 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 journalArticleAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    File
    29 Citations (Scopus)
    421 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 proceedingConference contributionAcademicpeer-review

    File
    22 Citations (Scopus)
    641 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 proceedingConference contributionAcademic

    Open Access
    File
    7 Citations (Scopus)
    115 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 proceedingConference contributionAcademicpeer-review

    File
    19 Citations (Scopus)
    141 Downloads (Pure)