| 2026 | TACAS | Symbiotic 11 Predicate Abstraction Joins the Party - (Competition Contribution). | Paulna Ayaziov, Martin Jons, Vincent Mihalkovic, Jindrich Sedlcek, Jan Strejcek |
| 2026 | TACAS | Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution). | Karoliine Holter, Paulna Ayaziov, Simmo Saan, Jan Strejcek, Vesal Vojdani |
| 2024 | TACAS | Witch 3: Validation of Violation Witnesses in the Witness Format 2.0 - (Competition Contribution). | Paulna Ayaziov, Jan Strejcek |
| 2024 | TACAS | Symbiotic 10: Lazy Memory Initialization and Compact Symbolic Execution - (Competition Contribution). | Martin Jons, Kristin Kumor, Jakub Novk, Jindrich Sedlcek, Marek Trtk, Luks Zaoral, Paulna Ayaziov, Jan Strejcek |
| 2023 | TACAS | Symbiotic-Witch 2: More Efficient Algorithm and Witness Refutation - (Competition Contribution). | Paulna Ayaziov, Jan Strejcek |
| 2022 | TACAS | Symbiotic-Witch: A Klee-Based Violation Witness Checker - (Competition Contribution). | Paulna Ayaziov, Marek Chalupa, Jan Strejcek |
| 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 |