conf.researchr.org / Roberta Gori

Registered user since Wed 13 Nov 2019

Name: Roberta Gori

Country: Italy

Affiliation: University of Pisa

Contributions

FormaliSE 2021 Committee Member in Programme Committee within the FormaliSE 2021-track
Author of Formal characterization and efficient verification of a biological robustness property within the FormaliSE 2021-track
POPL 2020 Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track
ICSE 2021 Author of A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions within the Journal-First Papers-track
VMCAI 2018 Author of Code Obfuscation Against Abstract Model Checking Attacks within the VMCAI 2018-track