Zsófia Ádám
Orcid: 0000-0003-2354-1750
According to our database1,
Zsófia Ádám
authored at least 8 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023
2022
Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
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).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021