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

Filter
Conference contribution

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 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)
  • 2021

    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)

  • 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)
  • 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)

  • 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)
  • 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)
    222 Downloads (Pure)

  • 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)