Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zsófia Ádám
conf.researchr.org general profile
ASE 2025 profile
ICSE 2022 profile
ICSE 2025 profile
MODELS 2027 profile
NASA Formal Methods 2023 profile
POPL 2027 profile
Registered user since Mon 13 Jun 2022
Name:
Zsófia Ádám
Country:
Hungary
Affiliation:
Budapest University of Technology and Economics
Contributions
2027
VMCAI
Committee Member in Artifact Evaluation Committee within the VMCAI 2027-track
2025
ASE
Author of Non-termination Witnesses and their Validation within the Research Papers-track
FormaliSE
Committee Member in Artifact Evaluation Committee within the Artifact Track-track
2023
NFM
Author of From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif within the NFM 2023-track
2022
FormaliSE
Author of C for Yourself: Comparison of Front-End Techniques for Formal Verification within the FormaliSE 2022-track
Share
x
Mon 5 Oct 20:02