• Sign in
  • Sign up
conf.researchr.org / Mariano Moscato
  • 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
xTue 16 Aug 08:12
using conf.researchr.org (v1.56.0)
Support page
Sign Up