| 2026 | FASE | TestCoCa: Test-Suite Coverage Calculator (Competition Contribution). | Martin Ergang, Marek Trtk |
| 2025 | FASE | Fizzer with Local Space Fuzzing - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk |
| 2024 | FASE | Fizzer: New Gray-Box Fuzzer - (Competition Contribution). | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 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 |
| 2024 | TACAS | Gray-Box Fuzzing via Gradient Descent and Boolean Expression Coverage. | Martin Jons, Jan Strejcek, Marek Trtk, Luks Urban |
| 2018 | CAV | JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode. | Lucas C. Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, Marek Trtk |
| 2016 | ATVA | Tighter Loop Bound Analysis. | Pavel Cadek, Jan Strejcek, Marek Trtk |
| 2016 | VMCAI | From Low-Level Pointers to High-Level Containers. | Kamil Dudka, Luks Holk, Petr Peringer, Marek Trtk, Toms Vojnar |
| 2014 | ATVA | Symbolic Memory with Pointers. | Marek Trtk, Jan Strejcek |
| 2013 | ATVA | Compact Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | TACAS | Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution). | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2013 | VMCAI | ClabureDB: Classified Bug-Reports Database. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2012 | FMICS | Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. | Jiri Slaby, Jan Strejcek, Marek Trtk |
| 2012 | ISSTA | Abstracting path conditions. | Jan Strejcek, Marek Trtk |
| 2011 | ATVA | Efficient Loop Navigation for Symbolic Execution. | Jan Obdrzlek, Marek Trtk |