Mariano M. Moscato
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
13
Active years
2007–2024
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | FM | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2023 | FMCAD | A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincn |
| 2022 | PLDI | Towards an implementation of differential dynamic logic in PVS. | J. Tanner Slagel, Csar A. Muoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White |
| 2021 | ITP | Formal Verification of Termination Criteria for First-Order Recursive Functions. | Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andria B. Avelar, Thiago Mendona Ferreira Ramos |
| 2020 | IFM | Automatic Generation of Guard-Stable Floating-Point Code. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz |
| 2019 | FM | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. | Mariano M. Moscato, Laura Titolo, Marco A. Feli, Csar A. Muoz |
| 2018 | FM | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2018 | ITP | Boosting the Reuse of Formal Specifications. | Mariano M. Moscato, Carlos Gustavo Lpez Pombo, Csar A. Muoz, Marco A. Feli |
| 2018 | LOPSTR | Eliminating Unstable Tests in Floating-Point Programs. | Laura Titolo, Csar A. Muoz, Marco A. Feli, Mariano M. Moscato |
| 2018 | VMCAI | An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. | Laura Titolo, Marco A. Feli, Mariano M. Moscato, Csar A. Muoz |
| 2018 | WoLLIC | Formalization of the Undecidability of the Halting Problem for a Functional Language. | Thiago Mendona Ferreira Ramos, Csar A. Muoz, Mauricio Ayala-Rincn, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
| 2017 | SAFECOMP | Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. | Mariano M. Moscato, Laura Titolo, Aaron Dutle, Csar A. Muoz |
| 2015 | ITP | Affine Arithmetic and Applications to Real-Number Proving. | Mariano M. Moscato, Csar A. Muoz, Andrew P. Smith |
| 2013 | ICST | Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. | Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicols Rosner, Ignacio Vissani |
| 2010 | ICTAC | Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements. | Mariano M. Moscato, Carlos Lpez Pombo, Marcelo F. Frias |
| 2009 | FASE | Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. | Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng |
| 2007 | TACAS | Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. | Marcelo F. Frias, Carlos Lpez Pombo, Mariano M. Moscato |