Mariano M. Moscato

According to our database, Mariano M. Moscato authored at least 25 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Formal Verification of Termination Criteria for First-Order Recursive Functions.

César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony J. Narkawicz, Ariane Alves Almeida, Andréia B. Avelar da Silva, Thiago Mendonça Ferreira Ramos

J. Autom. Reason., December, 2023

Selected extended papers of NFM 2021.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez

Innov. Syst. Softw. Eng., December, 2023

A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.

Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Towards an implementation of differential dynamic logic in PVS.

J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren White

Proceedings of the SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2022

Interpretation and Formalization of the Right-of-Way Rules.

Victor A. Carreño, Mariano M. Moscato, Paolo M. Masci, Aaron Dutle

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Formal analysis of the compact position reporting algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot

Formal Aspects Comput., 2021

2020

Automatic generation and verification of test-stable floating-point code.

Laura Titolo, Mariano M. Moscato, César A. Muñoz

CoRR, 2020

Automatic Generation of Guard-Stable Floating-Point Code.

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2019

A Mixed Real and Floating-Point Solver.

Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.

Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Formalization of the Undecidability of the Halting Problem for a Functional Language.

Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz

Proceedings of the Logic, Language, Information, and Computation, 2018

An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.

Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Towards a Formal Safety Framework for Trajectories.

Marco A. Feliú, Mariano M. Moscato

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Eliminating Unstable Tests in Floating-Point Programs.

Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Boosting the Reuse of Formal Specifications.

Mariano M. Moscato, Carlos Gustavo López Pombo, César A. Muñoz, Marco A. Feliú

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.

Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

A Formal Analysis of the Compact Position Reporting Algorithm.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.

Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Affine Arithmetic and Applications to Real-Number Proving.

Mariano M. Moscato, César A. Muñoz, Andrew P. Smith

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

Dynamite: A tool for the verification of alloy models based on PVS.

Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias

ACM Trans. Softw. Eng. Methodol., 2014

2013

HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications.

Manuel Giménez, Mariano M. Moscato, Carlos Gustavo López Pombo, Marcelo F. Frias

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

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, Nicolás Rosner, Ignacio Vissani

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2010

Dynamite 2.0: New Features Based on UnSAT-Core Extraction to Improve Verification of Software Requirements.

Mariano M. Moscato, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Theoretical Aspects of Computing, 2010

2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2007

Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications.

Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007