Mariano M. Moscato

Available identifiers

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	2024-02-06	Paper
Eliminating unstable tests in floating-point programs	2023-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q6099621	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	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	2015-09-14	Paper
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications	2007-09-03	Paper

This page was built for person: Mariano M. Moscato