Follow
Mariano M. Moscato
Title
Cited by
Cited by
Year
Automatic estimation of verified floating-point round-off errors via static analysis
M Moscato, A Dutle, CA Muñoz
International Conference on Computer Safety, Reliability, and Security, 213-229, 2017
512017
An abstract interpretation framework for the round-off error analysis of floating-point programs
MA Feliú, M Moscato, CA Muñoz
International Conference on Verification, Model Checking, and Abstract …, 2018
472018
Improving test generation under rich contracts by tight bounds and incremental SAT solving
P Abad, N Aguirre, V Bengolea, D Ciolek, MF Frias, J Galeotti, T Maibaum, ...
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
422013
Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications
CGL Pombo, MM Moscato
International Conference on Tools and Algorithms for the Construction and …, 2007
262007
Eliminating unstable tests in floating-point programs
CA Muñoz, MA Feliú, MM Moscato
International Symposium on Logic-Based Program Synthesis and Transformation …, 2018
142018
Affine arithmetic and applications to real-number proving
MM Moscato, CA Muñoz, AP Smith
International Conference on Interactive Theorem Proving, 294-309, 2015
132015
Provably correct floating-point implementation of a point-in-polygon algorithm
MM Moscato, MA Feliú, CA Muñoz
International Symposium on Formal Methods, 21-37, 2019
112019
Formalization of the Undecidability of the Halting Problem for a Functional Language
TMF Ramos, C Muñoz, M Ayala-Rincón, M Moscato, A Dutle, A Narkawicz
International Workshop on Logic, Language, Information, and Computation, 196-209, 2018
112018
A mixed real and floating-point solver
R Salvia, MA Feliú, MM Moscato, CA Muñoz, Z Rakamarić
NASA Formal Methods Symposium, 363-370, 2019
102019
Dynamite: a tool for the verification of alloy models based on PVS
MM Moscato, CGL Pombo, MF Frias
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 1-37, 2014
102014
A formally verified floating-point implementation of the compact position reporting algorithm
MM Moscato, CA Muñoz, A Dutle, F Bobot
International Symposium on Formal Methods, 364-381, 2018
92018
Formal analysis of the compact position reporting algorithm
A Dutle, M Moscato, C Muñoz, G Anderson, F Bobot
Formal Aspects of Computing 33 (1), 65-86, 2021
72021
Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements
MM Moscato, CG López Pombo, MF Frias
International Colloquium on Theoretical Aspects of Computing, 275-289, 2010
72010
Heterogenius: a framework for hybrid analysis of heterogeneous software specifications
M Giménez, MM Moscato, CGL Pombo, MF Frias
arXiv preprint arXiv:1401.0974, 2014
62014
Describing and analyzing behaviours over tabular specifications using (Dyn) alloy
NM Aguirre, MF Frias, MM Moscato, TSE Maibaum, A Wassyng
International Conference on Fundamental Approaches to Software Engineering …, 2009
52009
Dynamite: Alloy Analyzer+ PVS in the analysis and verification of Alloy specifications
MF Frias, CGL Pombo, MM Moscato
Proceedings of the 1st ACM SIGSOFT Alloy Workshop (Portland, Oregon, USA …, 2006
32006
Automatic generation of guard-stable floating-point code
M Moscato, MA Feliu, CA Muñoz
International Conference on Integrated Formal Methods, 141-159, 2020
2*2020
Formal Verification of Termination Criteria for First-Order Recursive Functions
CA Muñoz, M Ayala-Rincón, MM Moscato, AM Dutle, AJ Narkawicz, ...
12th International Conference on Interactive Theorem Proving (ITP 2021), 2021
12021
Towards an implementation of differential dynamic logic in PVS
JT Slagel, C Muñoz, S Balachandran, M Moscato, A Dutle, P Masci, ...
Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of …, 2022
2022
Interpretation and Formalization of the Right-of-Way Rules
VA Carreño, MM Moscato, PM Masci, AM Dutle
International Conference on Formal Aspects of Component Software, 59-73, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20