Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Mariano Moscato
conf.researchr.org general profile
ESEC/FSE 2018 profile
ISSTA 2019 profile
PLDI 2022 profile
POPL 2018 profile
POPL 2022 profile
Registered user since Mon 27 Nov 2017
Name:
Mariano Moscato
Affiliation:
National Institute of Aerospace
Contributions
2022
SOAP
Author of Towards an Implementation of Differential Dynamic Logic in PVS within the SOAP 2022-track
VMCAI
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
2018
VMCAI
Author of An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs within the VMCAI 2018-track
Share
x
Sat 21 Dec 17:46