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
SOAP 2022
Author of Towards an Implementation of Differential Dynamic Logic in PVS within the SOAP 2022-track
VMCAI 2022
Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track
VMCAI 2018
Author of An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs within the VMCAI 2018-track
Share
x
Fri 19 Aug 13:59