| 2026 | TACAS | EmergenTheta: Experimental Analyses within the Theta Framework (Competition Contribution). | Miln Mondok, Csand Telbisz, Levente Bajczi, Dniel Kovcs, Mihly Dobos-Kovcs, Vince Molnr |
| 2025 | DSN | Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework. | Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs, Istvn Majzik |
| 2025 | TACAS | SV-COMP'25 Reproduction Report (Competition Contribution). | Levente Bajczi, Zsfia dm, Zoltn Micskei |
| 2025 | TACAS | On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study). | Levente Bajczi, Csand Telbisz, Dniel Szekeres, Andrs Vrs |
| 2025 | TACAS | EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). | Miln Mondok, Levente Bajczi, Dniel Szekeres, Vince Molnr |
| 2025 | TACAS | Theta: Various Approaches for Concurrent Program Verification (Competition Contribution). | Csand Telbisz, Levente Bajczi, Dniel Szekeres, Andrs Vrs |
| 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 |