Výpis publikací

SEXTL, Florian; Adam ROGALEWICZ; Tomáš VOJNAR a Florian ZULEGER. Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. In Proc. of the 34th European Symposium on Programming – ESOP'25. Cham: Springer, 2025, s. 230-257. ISBN 978-3-031-91120-0. Dostupné z: https://doi.org/10.1007/978-3-031-91121-7_10.

DACÍK, Tomáš a Tomáš VOJNAR. Data Race Detection with Frama-C (Competition Contribution). In Proc. of 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems – TACAS'25 as a competition contribution within the 14th International Competition on Software Verification – SV-COMP'25. Cham: Springer, 2025, s. 248-253. ISBN 978-3-031-90659-6. Dostupné z: https://doi.org/10.1007/978-3-031-90660-2_20.

DACÍK, Tomáš a Tomáš VOJNAR. RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). Online. In Proc. of 39th European Conference on Object-Oriented Programming – ECOOP'25. Schloss Dagstuhl: Leibniz International Proceedings in Informatics (LIPIcs), 2025, s. 1-19. ISSN 1868-8969. Dostupné z: https://doi.org/10.4230/LIPIcs.ECOOP.2025.37.

KATTAN RAHMANI, Adam; Gabriel Elijah GOULIS; David KOZÁK; Tomáš ČERNÝ a Tomáš VOJNAR. SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. Online. In Bianculli, D., et al. Proc. of 19th European Conference on Software Architecture – ECSA'25. Cham: Springer, 2025, s. 3-11. ISBN 978-3-032-04403-7. Dostupné z: https://doi.org/10.1007/978-3-032-04403-7_1.

KOZÁK, David; Codrut STANCU; Tomáš VOJNAR a Christian WIMMER. SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges. Online. In Proc. of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization – CGO'25. Las Vegas: ACM/IEEE, 2025, s. 347-361. ISBN 979-8-4007-1275-3. Dostupné z: https://doi.org/10.1145/3696443.3708932.

VASICEK, Ondrej; Joaquin ARIAS; Jan FIEDOR; Gopal GUPTA; Brendal HALL; Bohuslav KRENA; Brian LARSON; Sarat chandra VARANASI a Tomáš VOJNAR. Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming. In Theory and Practice of Logic Programming, Volume 24 Issue 4: 40th International Conference On Logic Programming Special Issue. Cambridge: Cambridge University Press, 2024, s. 844-862. ISSN 1471-0684. Dostupné z: https://doi.org/10.1017/S1471068424000280.

CHALUPA, Marek; Tomáš JAŠEK; Lukáš TOMOVIČ; Martin HRUŠKA; Veronika ŠOKOVÁ; Paulína AYAZIOVÁ; Jan STREJČEK a Tomáš VOJNAR. Symbiotic 7: Integration of Predator and More (Competition Contribution). In Armin Biere, David Parker. Tools and Algorithms for the Construction and Analysis of Systems. Německo: Springer, 2020, s. 413-417. ISBN 978-3-030-45236-0. Dostupné z: https://doi.org/10.1007/978-3-030-45237-7_31.

KOTÁSEK, Zdeněk; Jan BOUDA; Ivana ČERNÁ; Lukáš SEKANINA; Tomáš VOJNAR a David ANTOŠ. Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers. Springer-Verlag, 2012, 215 s. ISBN 978-3-642-25928-9. Dostupné z: https://doi.org/10.1007/978-3-642-25929-6.

KUČERA, Antonín; Thomas A. HENZINGER; Jaroslav NEŠETŘIL; Tomáš VOJNAR a David ANTOŠ. 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS, 2012. ISBN 978-80-87342-15-2.

KOTÁSEK, Zdeněk; Jan BOUDA; Ivana ČERNÁ; Lukáš SEKANINA; Tomáš VOJNAR a David ANTOŠ. MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno University of Technology, Antonínská 548/1, Brno 601 90, 2011, 146 s. ISBN 978-80-214-4305-1.

MATYSKA, Luděk; Michal KOZUBEK; Tomáš VOJNAR; Pavel ZEMČÍK a David ANTOŠ. Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. ISBN 978-3-939897-22-4.

MATYSKA, Luděk; Michal KOZUBEK; Tomáš VOJNAR; Pavel ZEMČÍK a David ANTOŠ. MEMICS 2010: Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: NOVPRESS s.r.o., 2010, 213 s. ISBN 978-80-87342-10-7.

VOJNAR, Tomáš; Petr HLINĚNÝ; Václav MATYÁŠ a David ANTOŠ. MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. first. Brno: NOVPRESS s.r.o., nám. Republiky 725/15, 614 00 Brno, 2009, 258 s. ISBN 978-80-87342-04-6.

HLINĚNÝ, Petr; Václav MATYÁŠ a Tomáš VOJNAR. MEMICS 2009, Fifth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, selected papers. Dagstuhl: Schloss Dagstuhl Leibniz-Zentrum fur Informatik, 2009, 250 s. ISBN 978-3-939897-15-6.

ČEŠKA, Milan; Zdeněk KOTÁSEK; Mojmír KŘETÍNSKÝ; Luděk MATYSKA a Tomáš VOJNAR. Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008) - selected papers. Electronic Notes in Theoretical Computer Science. Amsterdam, The Netherlands: Elsevier B.V., 2009, roč. 251, 96 s. ISSN 1571-0661.

ČEŠKA, Milan; Zdeněk KOTÁSEK; Mojmír KŘETÍNSKÝ; Luděk MATYSKA; Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 2008.

ČEŠKA, Milan; Zdeněk KOTÁSEK; Mojmír KŘETÍNSKÝ; Luděk MATYSKA; Tomáš VOJNAR a David ANTOŠ. MEMICS 2008, Fourth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. 1. vyd. Brno: Ing. Zdeněk Novotný CSc., Ondráčkova 105, 628 00 Brno, 2008, s. 1-286. ISBN 978-80-7355-082-0.

SMRČKA, Aleš; Vojtěch ŘEHÁK; Tomáš VOJNAR; David ŠAFRÁNEK; Petr MATOUŠEK a Zdeněk ŘEHÁK. Verifying VHDL Designs with Multiple Clocks in SMV. In Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006. Bonn: Springer-Verlag, 2007, s. 148-164, 16 s. ISBN 978-3-540-70951-0.

MATYSKA, Luděk; Antonín KUČERA; Tomáš VOJNAR; Zdeněk KOTÁSEK; David ANTOŠ a Ondřej KRAJÍČEK. Proceedings of the Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov: FIT BUT, 2006, 281 s. Proceedings. ISBN 80-214-3287-X.