prof. Ing. Tomáš Vojnar, Ph.D.

2026

• SAVAT: A Tool for Visualizing the Impact of Changes in Microservices

  KATTAN RAHMANI Adam GOULIS Gabriel Elijah KOZÁK David ČERNÝ Tomáš VOJNAR Tomáš

  Stať ve sborníku

  Proc. of 19th European Conference on Software Architecture – ECSA'25, rok: 2026, DOI

2025

• Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

  SEXTL Florian ROGALEWICZ Adam VOJNAR Tomáš ZULEGER Florian

  Stať ve sborníku

  Proc. of the 34th European Symposium on Programming – ESOP'25, rok: 2025, DOI

• Data Race Detection with Frama-C (Competition Contribution)

  DACÍK Tomáš VOJNAR Tomáš

  Stať ve sborníku

  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, rok: 2025, DOI

• On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming

  VASICEK Ondrej ARIAS Joaquin FIEDOR Jan GUPTA Gopal HALL Brendan KRENA Bohuslav LARSON Brian VOJNAR Tomáš

  Stať ve sborníku

  Proceedings 41st International Conference on Logic Programming – ICLP'25, EPTCS 439, rok: 2025, DOI

• RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)

  DACÍK Tomáš VOJNAR Tomáš

  Stať ve sborníku

  Proc. of 39th European Conference on Object-Oriented Programming – ECOOP'25, rok: 2025, DOI

• SkipFlow: Improving the Precision of Points-to Analysis Using Primitive Values and Predicate Edges

  KOZÁK David STANCU Codrut VOJNAR Tomáš WIMMER Christian

  Stať ve sborníku

  Proc. of the 23rd ACM/IEEE International Symposium on Code Generation and Optimization – CGO'25, rok: 2025, DOI

2024

• Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming

  VASICEK Ondrej ARIAS Joaquin FIEDOR Jan GUPTA Gopal HALL Brendal KRENA Bohuslav LARSON Brian VARANASI Sarat chandra VOJNAR Tomáš

  Stať ve sborníku

  Theory and Practice of Logic Programming, Volume 24 Issue 4: 40th International Conference On Logic Programming Special Issue, rok: 2024, DOI

2020

• Symbiotic 7: Integration of Predator and More (Competition Contribution)

  CHALUPA Marek JAŠEK Tomáš TOMOVIČ Lukáš HRUŠKA Martin ŠOKOVÁ Veronika AYAZIOVÁ Paulína STREJČEK Jan VOJNAR Tomáš

  Stať ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2020, DOI

2012

• 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  KUČERA Antonín HENZINGER Thomas A. NEŠETŘIL Jaroslav VOJNAR Tomáš ANTOŠ David

  Editorství tématického sborníku

  Rok: 2012, druh: Editorství tématického sborníku

• Mathematical and Engineering Methods in Computer Science MEMICS 2011, Seventh International Doctoral Workshop, Revised Selected Papers

  KOTÁSEK Zdeněk BOUDA Jan ČERNÁ Ivana SEKANINA Lukáš VOJNAR Tomáš ANTOŠ David

  Editorství tématického sborníku

  Rok: 2012, druh: Editorství tématického sborníku, DOI