Ing.

Tomáš Dacík

Ph.D. student


idacik@fit.vut.cz
A220 Office
204492/BUT personal ID

Publications

  • 2025

    DACÍK Tomáš and VOJNAR Tomáš. RacerF: Data Race Detection with Frama-C (Competition Contribution). In: Proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 3. Lecture Notes in Computer Science, vol. 15698. Hamilton: Springer Nature Switzerland AG, 2025, pp. 248-253. ISBN 978-3-031-90659-6.
    Detail

  • 2024

    DACÍK Tomáš, ROGALEWICZ Adam, VOJNAR Tomáš and ZULEGER Florian. Deciding Boolean Separation Logic via Small Models. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Lecture Notes in Computer Science, vol. 14570. Cham: Springer Nature Switzerland AG, 2024, pp. 188-206. ISBN 978-3-031-57245-6.
    Detail

Back to top