Zsófia Ádám

According to our database, Zsófia Ádám authored at least 18 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Non-termination Witnesses in Format 2.1 for ASE 2025 Article 'Non-termination Witnesses and Their Validation'.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 2025

Reproduction Package for ASE 2025 Paper "Non-termination Witnesses and Their Validation".

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Dataset, October, 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

SV-COMP'25 Reproduction Report (Competition Contribution).

Levente Bajczi, Zsófia Ádám, Zoltán Micskei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Non-termination Witnesses and Their Validation.

Zsófia Ádám, Paulína Ayaziová, Levente Bajczi, Dirk Beyer, Marek Jankola, Marian Lingsch Rosenfeld, Jan Strejcek

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2024

Btor2-Cert (HWMCC 2024 Submission).

Zsófia Ádám, Salih Ates, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee

Dataset, September, 2024

Reproduction Package for TACAS 2024 Article 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Dataset, April, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).

Levente Bajczi, Zsófia Ádám, Zoltán Micskei

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Reproduction Package for TACAS 2024 Submission 'Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers'.

Zsófia Ádám, Dirk Beyer, Po-Chun Chien, Nian-Ze Lee, Nils Sirrenberg

Dataset, October, 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

Proceedings of the Proceedings 18th International Workshop on Logical and Semantic Frameworks, 2023

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

C for Yourself: Comparison of Front-End Techniques for Formal Verification.

Levente Bajczi, Zsófia Ádám, Vince Molnár

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

2021

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution).

Zsófia Ádám, Gyula Sallai, Ákos Hajdu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021