Zilverling

dr. T. van Dijk MSc (Tom)

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

Expertises

  • Computer Science

    • Algorithms
    • decision diagram
    • binary decision diagram
    • Multicore
    • Model Checking
    • Evaluation
    • Case Complexity
    • Serious Game

Organisaties

Publicaties

2025

The Impact of Generative Artificial Intelligence Tools in Project-Based Learning (2025)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 (E-pub ahead of print/First online). van Dijk, T. & Zaytsev, V.https://doi.org/10.1007/978-3-032-01377-4_3Preface 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.103255Avoiding Distractions in Parity Games (2025)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_19Solving Parity Games, Very Slowly (2025)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_21

2024

The 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

Vakken collegejaar 2025/2026

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Vakken collegejaar 2024/2025

Scan de QR-code of
Download vCard