Skip to content

Mariano Moscato

  • PhD in Computer Science
  • Research Scientist II
  • National Institute of Aerospace
  • 3h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 39CitationsNumber of citations received by Mariano's publications. Updated daily.

Other IDs

Co-authors (22)

  • Manuel Giménez
  • Bruno Moretti
  • Ignacio Vissani
  • Esteban Pavese
  • Juan Galeotti

Publications (5)

  • An abstract interpretation framework for the round-off error analysis of floating-point programs

    • Titolo L
    • Feliú M
    • Moscato M
    • et al.
    N/AReaders
    1Citations
    Get full text
  • Towards a formal safety framework for trajectories

    • Feliú M
    • Moscato M
    N/AReaders
    0Citations
    Get full text
  • Automatic estimation of verified floating-point round-off errors via static analysis

    • Moscato M
    • Titolo L
    • Dutle A
    • et al.
    N/AReaders
    4Citations
    Get full text
  • Improving test generation under rich contracts by tight bounds and incremental SAT solving

    • Abad P
    • Aguirre N
    • Bengolea V
    • et al.
    N/AReaders
    13Citations
    Get full text
  • Describing and analyzing behaviours over tabular specifications using (Dyn)alloy

    • Aguirre N
    • Frias M
    • Moscato M
    • et al.
    N/AReaders
    2Citations
    Get full text

Professional experience

Research Scientist II

National Institute of Aerospace

January 2017 - Present