| 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 | 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 | 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 |
| 2021 | EDCC | Tensor-based reliability analysis of complex static fault trees. | Dniel Szekeres, Kristf Marussy, Istvn Majzik |