Zilverling

dr. T. van Dijk MSc (Tom)

Universitair docent
EEMCS-CS-FMT
Zilverling 3035
t.vandijk@utwente.nl
Visitekaartje

Expertises

  • Computer Science

    • Multicore
    • decision diagram
    • Model Checking
    • binary decision diagram
    • Model Checking Problem
    • State Space
    • Solving Algorithm
    • model checker

Organisaties

Publicaties

2026

The Impact of Generative Artificial Intelligence Tools in Project-Based Learning (2026)In Bridging the gap between AI and Reality: Second International Conference, AISoLA 2024, Crete, Greece, October 30-November 3, 2024. Selected Papers (pp. 48-76) (Lecture Notes in Computer Science; Vol. 16032). Springer. van Dijk, T. & Zaytsev, V.https://doi.org/10.1007/978-3-032-01377-4_3

2025

Preface for the special issue on selected software artifacts from DisCoTec 2023: The 18th International Federated Conference on Distributed Computing Techniques (2025)Science of computer programming, 243. Article 103255. Casadei, R., Vielmo Cogo, V., van Dijk, T. & Scalas, A.https://doi.org/10.1016/j.scico.2024.103255

2024

Solving Parity Games, Very Slowly (2024)In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III (pp. 446-465) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15262 LNCS). Springer. van Dijk, T.https://doi.org/10.1007/978-3-031-75778-5_21Avoiding Distractions in Parity Games (2024)In Leveraging Applications of Formal Methods, Verification and Validation: Specification and Verification - 12th International Symposium, ISoLA 2024, Proceedings (pp. 330-352) (Lecture Notes in Computer Science; Vol. 15221). Springer. van Dijk, T.https://doi.org/10.1007/978-3-031-75380-0_19The Reactive Synthesis Competition (SYNTCOMP): 2018–2021 (2024)International journal on software tools for technology transfer, 26(5), 551-567. 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., … Walker, A.https://doi.org/10.1007/s10009-024-00754-1RTL Experiments (2024)[Dataset Types › Dataset]. Zenodo. van Dijk, T.https://doi.org/10.5281/zenodo.11265649The Worst-Case Complexity of Symmetric Strategy Improvement (2024)In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024) (pp. 24.1-24.19). Article 24. van Dijk, T., Loho, G. & Maat, M. T.https://doi.org/10.4230/LIPIcs.CSL.2024.24Progress Measures and Tangle Learning algorithm implementation and benchmarks (2024)[Dataset Types › Dataset]. Zenodo. Stekelenburg, A. & van Dijk, T.https://doi.org/10.5281/zenodo.10558315Knor: reactive synthesis using Oink (2024)In 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 (pp. 103-122) (Lecture Notes in Computer Science; Vol. 14570). Springer. van Dijk, T., van Abbema, F. & Tomov, N.https://doi.org/10.1007/978-3-031-57246-3_7

2023

Artifact of Knor: reactive synthesis using Oink (2023)[Dataset Types › Dataset]. 4TU.Centre for Research Data. van Dijk, T.https://doi.org/10.4121/8794d8c0-5959-42f9-ba34-68f2137145a7

Onderzoeksprofielen

QR codeScan de QR-code of
Download vCard