Mariano M. Moscato

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Provably correct floating-point implementation of a point-in-polygon algorithm	2024-03-14	Paper
Formal verification of termination criteria for first-order recursive functions Journal of Automated Reasoning	2024-02-06	Paper
Eliminating unstable tests in floating-point programs Logic-Based Program Synthesis and Transformation	2023-11-09	Paper
scientific article; zbMATH DE number 7699444 (Why is no real title available?)	2023-06-20	Paper
Automatic Generation of Guard-Stable Floating-Point Code	2023-03-21	Paper
A formally verified floating-point implementation of the compact position reporting algorithm	2021-05-04	Paper
An abstract interpretation framework for the round-off error analysis of floating-point programs Lecture Notes in Computer Science	2020-07-07	Paper
A formal analysis of the compact position reporting algorithm	2018-12-07	Paper
Formalization of the undecidability of the halting problem for a functional language	2018-10-18	Paper
Boosting the reuse of formal specifications	2018-10-04	Paper
Affine arithmetic and applications to real-number proving Interactive Theorem Proving	2015-09-14	Paper
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper

Research outcomes over time

This page was built for person: Mariano M. Moscato