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

Filter
Conference contribution

Search results

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