Will My Program Break on This Faulty Processor?: Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software. - Levente Bajczi; András Vörös 001; Vince Molnár (ACM Trans. Embed. Comput. Syst., 2019)

C for Yourself: Comparison of Front-End Techniques for Formal Verification. - Levente Bajczi; Zsófia Ádám; Vince Molnár (FormaliSE@ICSE, 2022)

Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). - Zsófia Ádám; Levente Bajczi; Mihály Dobos-Kovács; Ákos Hajdu; Vince Molnár (TACAS (2), 2022)

Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. - Márk Somorjai; Mihály Dobos-Kovács; Zsófia Ádám; Levente Bajczi; András Vörös 001 (LSFA/HCVS, 2023)

Solving Constrained Horn Clauses as C Programs with CHC2C. - Levente Bajczi; Vince Molnár (SPIN, 2024)

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). - Levente Bajczi; Zsófia Ádám; Zoltán Micskei (TACAS (3), 2024)

EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). - Levente Bajczi; Dániel Szekeres; Milán Mondok; Zsófia Ádám; Márk Somorjai; Csanád Telbisz; Mihály Dobos-Kovács; Vince Molnár (TACAS (3), 2024)

Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). - Levente Bajczi; Csanád Telbisz; Márk Somorjai; Zsófia Ádám; Mihály Dobos-Kovács; Dániel Szekeres; Milán Mondok; Vince Molnár (TACAS (3), 2024)

Enhancing MBSE Education with Version Control and Automated Feedback. - Levente Bajczi; Dániel Szekeres; Daniel Siegl; Vince Molnár (CoRR, 2024)

Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework. - Csanád Telbisz; Levente Bajczi; Dániel Szekeres; András Vörös 001; István Majzik (DSN-W, 2025)

SV-COMP'25 Reproduction Report (Competition Contribution). - Levente Bajczi; Zsófia Ádám; Zoltán Micskei (TACAS (3), 2025)

On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study). - Levente Bajczi; Csanád Telbisz; Dániel Szekeres; András Vörös 001 (TACAS (1), 2025)

EmergenTheta: Variations on Symbolic Transition Systems (Competition Contribution). - Milán Mondok; Levente Bajczi; Dániel Szekeres; Vince Molnár (TACAS (3), 2025)

Theta: Various Approaches for Concurrent Program Verification (Competition Contribution). - Csanád Telbisz; Levente Bajczi; Dániel Szekeres; András Vörös 001 (TACAS (3), 2025)