Zsófia Ádám

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Natural Language

Formal Verification

Hardware Designs

Top Venues

Publications

Márk Somorjai, Mihály Dobos-Kovács, Zsófia Ádám, Levente Bajczi, András Vörös
Bottoms Up for CHCs: Novel Transformation of Linear Constrained Horn Clauses to Software Verification. CoRR (2024)
Levente Bajczi, Zsófia Ádám, Zoltán Micskei
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution). TACAS (3) (2024)
Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers. TACAS (3) (2024)
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
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution). TACAS (3) (2024)
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
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution). TACAS (3) (2024)
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
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif. NFM (2023)
Zsófia Ádám, Levente Bajczi, Mihály Dobos-Kovács, Ákos Hajdu, Vince Molnár
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution). TACAS (2) (2022)
Levente Bajczi, Zsófia Ádám, Vince Molnár
C for Yourself: Comparison of Front-End Techniques for Formal Verification. FormaliSE@ICSE (2022)
Zsófia Ádám, Gyula Sallai, Ákos Hajdu
Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution). TACAS (2) (2021)