C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Zsófia Ádám
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 4
Top Topics
Formal Verification
Model Checking
Written In Natural Language
Worst Case
Top Venues
TACAS (2)
FormaliSE@ICSE
NFM
</>
Publications
</>
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)