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

2025

• Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration

  SEXTL Florian ROGALEWICZ Adam VOJNAR Tomáš ZULEGER Florian

  Článek ve sborníku

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

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

  DACÍK Tomáš VOJNAR Tomáš

  Článek 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

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

  DACÍK Tomáš VOJNAR Tomáš

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

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áš

  Článek ve sborníku

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

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áš

  Článek ve sborníku

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

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

2011

• MEMICS 2011, Seventh Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

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

  Editorství tématického sborníku

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

• Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers

  MATYSKA Luděk KOZUBEK Michal VOJNAR Tomáš ZEMČÍK Pavel ANTOŠ David

  Editorství tématického sborníku

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