Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). - Zsófia Ádám; Gyula Sallai; Ákos Hajdu (TACAS (2), 2021)

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)

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. - Zsófia Ádám; Ignacio D. Lopez-Miguel; Anastasia Mavridou; Thomas Pressburger; Marcin Bes; Enrique Blanco Viñuela; Andreas Katis; Jean-Charles Tournier; Khanh V. Trinh; Borja Fernández Adiego (NFM, 2023)

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)

Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2023)

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (TACAS (3), 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)

Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'. - Zsófia Ádám; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee; Nils Sirrenberg (Zenodo, 2024)

Btor2-Cert (HWMCC 2024 Submission). - Zsófia Ádám; Salih Ates; Dirk Beyer 001; Po-Chun Chien; Nian-Ze Lee (Zenodo, 2024)

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

Smart Contract in the Loop: Fault Impact Assessment for Distributed Ledger Technologies. - Bertalan Zoltán Péter; Zsófia Ádám; Zoltán Micskei; Imre Kocsis (Acta Cybern., 2025)