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
    • Solving Algorithm

Organisaties

Publicaties

2024

The 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.10558315

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-68f2137145a7The Worst-Case Complexity of Symmetric Strategy Improvement (2023)[Working paper › Preprint]. Dijk, T. v., Loho, G. & Maat, M.https://doi.org/10.48550/arXiv.2309.02223QuestionMark (2023)[Dataset Types › Dataset]. Zenodo. Zandbergen, N., van Keulen, M., van Dijk, T. & Flokstra, J.https://doi.org/10.5281/zenodo.8146101

2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021 (2022)[Working paper › Preprint]. 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., … Walker, A.https://doi.org/10.48550/arXiv.2206.00251

2021

Almost-Symbolic Synthesis via Delta-2-Normalisation for Linear Temporal Logic (2021)[Contribution to conference › Paper] 10th Workshop on Synthesis. van Dijk, T., Abraham, R. & Sickert, S.IntelliJML: A JML plugin for IntelliJ IDEA (2021)In FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021 (pp. 39-42). Association for Computing Machinery. Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. v. & Huisman, M.https://doi.org/10.1145/3464971.3468423

2020

Symbolic Parity Game Solvers that Yield Winning Strategies (2020)In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification: Brussels, Belgium, September 21-22, 2020 (pp. 18-32) (Electronic Proceedings in Theoretical Computer Science; Vol. 326). Open Publishing Association. Lijzenga, O. & van Dijk, T.https://doi.org/10.4204/EPTCS.326.2

Onderzoeksprofielen

Vakken collegejaar 2024/2025

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 2023/2024

Scan de QR-code of
Download vCard