| 2026 | TACAS | Seal: Symbolic Execution with Separation Logic - (Competition Contribution). | Toms Brablec, Toms Dack, Toms Vojnar |
| 2025 | CGO | SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges. | David Kozak, Codrut Stancu, Toms Vojnar, Christian Wimmer |
| 2025 | ECOOP | RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). | Toms Dack, Toms Vojnar |
| 2025 | ECSA | SAVAT: A Tool for Visualizing the Impact of Changes in Microservices. | Adam Kattan Rahmani, Gabriel Goulis, David Kozak, Toms Cern, Toms Vojnar |
| 2025 | ESOP | Compositional Shape Analysis with Shared Abduction and Biabductive Loop Acceleration. | Florian Sextl, Adam Rogalewicz, Toms Vojnar, Florian Zuleger |
| 2025 | TACAS | RacerF: Data Race Detection with Frama-C (Competition Contribution). | Toms Dack, Toms Vojnar |
| 2024 | ICLP | Extended Abstract: Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming. | Ondrej Vascek, Joaqun Arias, Jan Fiedor, Gopal Gupta, Brendan Hall, Bohuslav Krena, Brian Larson, Sarat Chandra Varanasi, Toms Vojnar |
| 2024 | TACAS | Deciding Boolean Separation Logic via Small Models. | Toms Dack, Adam Rogalewicz, Toms Vojnar, Florian Zuleger |
| 2023 | FOSSACS | Fast Matching of Regular Patterns with Synchronizing Counting. | Luks Holk, Juraj Sc, Lenka Turonov, Toms Vojnar |
| 2023 | TACAS | 2LS: Arrays and Loop Unwinding - (Competition Contribution). | Viktor Malk, Frantisek Necas, Peter Schrammel, Toms Vojnar |
| 2022 | DSD | Designing Approximate Arithmetic Circuits with Combined Error Constraints. | Milan Ceska, Jir Matys, Vojtech Mrazek, Toms Vojnar |
| 2022 | ECOOP | Low-Level Bi-Abduction. | Luks Holk, Petr Peringer, Adam Rogalewicz, Veronika Sokov, Toms Vojnar, Florian Zuleger |
| 2021 | ICST | Automatically Checking Semantic Equivalence between Versions of Large-Scale C Projects. | Viktor Malk, Toms Vojnar |
| 2020 | LPAR | Antiprenexing for WSkS: A Little Goes a Long Way. | Vojtech Havlena, Luks Holk, Ondrej Lengl, Ondrej Vales, Toms Vojnar |
| 2020 | SAT | Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits. | Milan Ceska, Jir Matys, Vojtech Mrazek, Toms Vojnar |
| 2020 | TACAS | Symbiotic 7: Integration of Predator and More - (Competition Contribution). | Marek Chalupa, Toms Jasek, Luks Tomovic, Martin Hruska, Veronika Sokov, Paulna Ayaziov, Jan Strejcek, Toms Vojnar |
| 2020 | TACAS | 2LS: Heap Analysis and Memory Safety - (Competition Contribution). | Viktor Malk, Peter Schrammel, Toms Vojnar |
| 2020 | TACAS | PredatorHP Revamped (Not Only) for Interval-Sized Memory Regions and Memory Reallocation (Competition Contribution). | Petr Peringer, Veronika Sokov, Toms Vojnar |
| 2019 | APLAS | J-ReCoVer: Java Reducer Commutativity Verifier. | Yu-Fang Chen, Chang-Yi Chiang, Luks Holk, Wei-Tsung Kao, Hsin-Hung Lin, Toms Vojnar, Yean-Fu Wen, Wei-Cheng Wu |
| 2019 | APLAS | Succinct Determinisation of Counting Automata via Sphere Construction. | Luks Holk, Ondrej Lengl, Olli Saarikivi, Lenka Turonov, Margus Veanes, Toms Vojnar |
| 2019 | CADE | Automata Terms in a Lazy WSkS Decision Procedure. | Vojtech Havlena, Luks Holk, Ondrej Lengl, Toms Vojnar |
| 2019 | FCCM | Deep Packet Inspection in FPGAs via Approximate Nondeterministic Automata. | Milan Ceska, Vojtech Havlena, Luks Holk, Jan Korenek, Ondrej Lengl, Denis Matousek, Jir Matousek, Jakub Semric, Toms Vojnar |
| 2019 | TACAS | SL-COMP: Competition of Solvers for Separation Logic. | Mihaela Sighireanu, Juan Antonio Navarro Prez, Andrey Rybalchenko, Nikos Gorogiannis, Radu Iosif, Andrew Reynolds, Cristina Serban, Jens Katelaan, Christoph Matheja, Thomas Noll, Florian Zuleger, Wei-Ngan Chin, Quang Loc Le, Quang-Trung Ta, Ton-Chanh Le, Thanh-Toan Nguyen, Siau-Cheng Khoo, Michal Cyprian, Adam Rogalewicz, Toms Vojnar, Constantin Enea, Ondrej Lengl, Chong Gao, Zhilin Wu |
| 2018 | ATVA | Simulation Algorithms for Symbolic Automata. | Luks Holk, Ondrej Lengl, Juraj Sc, Margus Veanes, Toms Vojnar |
| 2018 | CAV | ADAC: Automated Design of Approximate Circuits. | Milan Ceska, Jir Matys, Vojtech Mrazek, Luks Sekanina, Zdenek Vascek, Toms Vojnar |
| 2018 | DSD | The AQUAS ECSEL Project. | Luigi Pomante, Bohuslav Krena, Toms Vojnar, Filip Veljkovic, Pacome Magnin |
| 2018 | FMCAD | Template-Based Verification of Heap-Manipulating Programs. | Viktor Malk, Martin Hruska, Peter Schrammel, Toms Vojnar |
| 2018 | ISSTA | Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. | Jan Fiedor, Monika Muzikovsk, Ales Smrcka, Ondrej Vascek, Toms Vojnar |
| 2018 | TACAS | Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection. | Milan Ceska, Vojtech Havlena, Luks Holk, Ondrej Lengl, Toms Vojnar |
| 2018 | TACAS | 2LS: Memory Safety and Non-termination - (Competition Contribution). | Viktor Malk, Stefan Marticek, Peter Schrammel, Mandayam K. Srivas, Toms Vojnar, Johanan Wahlang |
| 2018 | VMCAI | From Shapes to Amortized Complexity. | Toms Fiedor, Luks Holk, Adam Rogalewicz, Moritz Sinn, Toms Vojnar, Florian Zuleger |
| 2017 | ICCAD | Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished. | Milan Ceska, Jir Matys, Vojtech Mrazek, Luks Sekanina, Zdenek Vascek, Toms Vojnar |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2017 | SAS | Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic. | Luks Holk, Roland Meyer, Toms Vojnar, Sebastian Wolff |
| 2017 | TACAS | Lazy Automata Techniques for WS1S. | Toms Fiedor, Luks Holk, Petr Janku, Ondrej Lengl, Toms Vojnar |
| 2017 | TACAS | Forester: From Heap Shapes to Automata Predicates - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2017 | VMCAI | Counterexample Validation and Interpolation-Based Refinement for Forest Automata. | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Toms Vojnar |
| 2016 | TACAS | Run Forester, Run Backwards! - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2016 | TACAS | Abstraction Refinement and Antichains for Trace Inclusion of Infinite State Systems. | Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2016 | TACAS | Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark - (Competition Contribution). | Michal Kotoun, Petr Peringer, Veronika Sokov, Toms Vojnar |
| 2016 | VMCAI | From Low-Level Pointers to High-Level Containers. | Kamil Dudka, Luks Holk, Petr Peringer, Marek Trtk, Toms Vojnar |
| 2015 | TACAS | Nested Antichains for WS1S. | Toms Fiedor, Luks Holk, Ondrej Lengl, Toms Vojnar |
| 2015 | TACAS | Forester: Shape Analysis Using Tree Automata - (Competition Contribution). | Luks Holk, Martin Hruska, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2015 | TACAS | Predator Hunting Party (Competition Contribution). | Petr Mller, Petr Peringer, Toms Vojnar |
| 2014 | APLAS | Compositional Entailment Checking for a Fragment of Separation Logic. | Constantin Enea, Ondrej Lengl, Mihaela Sighireanu, Toms Vojnar |
| 2014 | ATVA | Deciding Entailments in Inductive Separation Logic with Tree Automata. | Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2014 | SSBSE | Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Hana Pluhckov, Toms Vojnar |
| 2014 | TACAS | Predator: A Shape Analyzer Based on Symbolic Memory Graphs - (Competition Contribution). | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2014 | TACAS | CPAlien: Shape Analyzer for CPAChecker - (Competition Contribution). | Petr Mller, Toms Vojnar |
| 2013 | ATVA | Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata. | Parosh Aziz Abdulla, Luks Holk, Bengt Jonsson, Ondrej Lengl, Cong Quy Trinh, Toms Vojnar |
| 2013 | CAV | Fully Automated Shape Analysis Based on Forest Automata. | Luks Holk, Ondrej Lengl, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2013 | SAS | Byte-Precise Verification of Low-Level List Manipulation. | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2013 | TACAS | Predator: A Tool for Verification of Low-Level List Manipulation - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2012 | ISSTA | Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level. | Jan Fiedor, Toms Vojnar |
| 2012 | RV | ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level. | Jan Fiedor, Toms Vojnar |
| 2012 | SSBSE | Testing of Concurrent Programs Using Genetic Algorithms. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Toms Vojnar |
| 2012 | TACAS | Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution). | Kamil Dudka, Petr Mller, Petr Peringer, Toms Vojnar |
| 2012 | TACAS | VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata. | Ondrej Lengl, Jir Simcek, Toms Vojnar |
| 2011 | ATVA | Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata. | Luks Holk, Ondrej Lengl, Jir Simcek, Toms Vojnar |
| 2011 | CAV | Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic. | Kamil Dudka, Petr Peringer, Toms Vojnar |
| 2011 | CAV | Forest Automata for Verification of Heap Manipulation. | Peter Habermehl, Luks Holk, Adam Rogalewicz, Jir Simcek, Toms Vojnar |
| 2011 | CONCUR | Advanced Ramsey-Based Bchi Automata Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2011 | RV | DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. | Jan Fiedor, Vendula Hrub, Bohuslav Krena, Toms Vojnar |
| 2011 | RV | Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar |
| 2011 | SOFSEM | Efficient Algorithms for Handling Nondeterministic Automata. | Toms Vojnar |
| 2010 | CADE | Tool Demonstration of the FLATA Counter Automata Toolset. | Marius Bozga, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2010 | CAV | Simulation Subsumption in Ramsey-Based Bchi Automata Universality and Inclusion Testing. | Parosh Aziz Abdulla, Yu-Fang Chen, Lorenzo Clemente, Luks Holk, Chih-Duo Hong, Richard Mayr, Toms Vojnar |
| 2010 | ISSTA | A platform for search-based testing of concurrent software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar, Shmuel Ur |
| 2010 | TACAS | When Simulation Meets Antichains. | Parosh Aziz Abdulla, Yu-Fang Chen, Luks Holk, Richard Mayr, Toms Vojnar |
| 2009 | CAV | Automatic Verification of Integer Array Programs. | Marius Bozga, Peter Habermehl, Radu Iosif, Filip Konecn, Toms Vojnar |
| 2009 | RV | A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Toms Vojnar |
| 2008 | FOSSACS | What Else Is Decidable about Integer Arrays?. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2008 | ISSTA | AtomRace: data race and atomicity violation detector and healer. | Zdenek Letko, Toms Vojnar, Bohuslav Krena |
| 2008 | LPAR | A Logic of Singly Indexed Arrays. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2008 | TACAS | Computing Simulations over Tree Automata. | Parosh Aziz Abdulla, Ahmed Bouajjani, Luks Holk, Lisa Kaati, Toms Vojnar |
| 2007 | ATVA | Proving Termination of Tree Manipulating Programs. | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Toms Vojnar |
| 2007 | ISSTA | Healing data races on-the-fly. | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Toms Vojnar |
| 2006 | CAV | Programs with Lists Are Counter Automata. | Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Toms Vojnar |
| 2006 | FMICS | Verifying VHDL Designs with Multiple Clocks in SMV. | Ales Smrcka, Vojtech Rehk, Toms Vojnar, David Safrnek, Petr Matousek, Z. Rehk |
| 2006 | SAS | Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Toms Vojnar |
| 2006 | TACAS | Automata-Based Verification of Programs with Tree Updates. | Peter Habermehl, Radu Iosif, Toms Vojnar |
| 2005 | TACAS | Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Pierre Moro, Toms Vojnar |
| 2004 | CAV | Abstract Regular Model Checking. | Ahmed Bouajjani, Peter Habermehl, Toms Vojnar |
| 2003 | CONCUR | Verification of Parametric Concurrent Systems with Prioritized FIFO Resource Management. | Ahmed Bouajjani, Peter Habermehl, Toms Vojnar |
| 1998 | SMC | Object-oriented Petri nets, their simulation, and analysis. | Milan Ceska, Vladimr Janousek, Toms Vojnar |