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.
  • 34CitationsNumber of citations received by Mariano's publications. Updated daily.

Other IDs

Co-authors (18)

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

Publications (5)

  • Automatic estimation of verified floating-point round-off errors via static analysis

    • Moscato M
    • Titolo L
    • Dutle A
    • et al.
    N/AReaders
    1Citations
    Get full text
  • HeteroGenius: A framework for hybrid analysis of heterogeneous software specifications

    • Giménez M
    • Moscato M
    • Pombo C
    • et al.
    N/AReaders
    2Citations
    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
  • Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements

    • Moscato M
    • López Pombo C
    • Frias M
    N/AReaders
    3Citations
    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