| 2025 | TACAS | SV-COMP'25 Reproduction Report (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2024 | TACAS | Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. | Zsfia dm, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg |
| 2024 | TACAS | ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2024 | TACAS | EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). | Levente Bajczi, Dniel Szekeres, Miln Mondok, Zsfia dm, Mrk Somorjai, Csand Telbisz, Mihly Dobos-Kovcs, Vince Molnr |
| 2024 | TACAS | Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). | Levente Bajczi, Csand Telbisz, Mrk Somorjai, Zsfia dm, Mihly Dobos-Kovcs, Dniel Szekeres, Miln Mondok, Vince Molnr |
| 2022 | TACAS | Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). | Zsfia dm, Levente Bajczi, Mihly Dobos-Kovcs, kos Hajdu, Vince Molnr |
| 2021 | TACAS | Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). | Zsfia dm, Gyula Sallai, kos Hajdu |