Follow
Laura Titolo
Title
Cited by
Cited by
Year
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
L Titolo, MA Feliú, M Moscato, CA Munoz
VMCAI 2018 19th International Conference on Verification, Model Checking …, 2018
652018
Automatic estimation of verified floating-point round-off errors via static analysis
M Moscato, L Titolo, A Dutle, CA Munoz
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
592017
Abstract diagnosis for timed concurrent constraint programs
M Comini, L Titolo, A Villanueva García
Theory and Practice of Logic Progamming 11 (4-5), 2011
212011
Provably correct floating-point implementation of a point-in-polygon algorithm
MM Moscato, L Titolo, MA Feliú, CA Muñoz
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
202019
A Formal Analysis of the Compact Position Reporting Algorithm
A Dutle, M Moscato, L Titolo, C Munoz
20*2017
Eliminating Unstable Tests in Floating-Point Programs
L Titolo, CA Munoz, MA Feliú, MM Moscato
LOPSTR 2018, 2018
172018
A mixed real and floating-point solver
R Salvia, L Titolo, MA Feliú, MM Moscato, CA Munoz, Z Rakamarić
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019
162019
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
L Titolo, MM Moscato, CA Muñoz, A Dutle, F Bobot
International Symposium on Formal Methods (FM 2018), 364-381, 2018
142018
Abstract Diagnosis for tccp using a Linear Temporal Logic
M Comini, L Titolo, A Villanueva
Theory and Practice of Logic Programming 14 (4-5), 2014
132014
A compositional proof framework for FRETish requirements
E Conrad, L Titolo, D Giannakopoulou, T Pressburger, A Dutle
Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022
102022
A condensed goal-independent bottom-up fixpoint modeling the behavior of tccp
M Comini, L Titolo, A Villanueva
Submitted for publication, 2013
102013
A constraint-based language for modelling intelligent environments
MM Gallardo, L Lavado, L Panizo, L Titolo
Journal of Reliable Intelligent Environments 3 (1), 55-79, 2017
52017
Automatic generation of guard-stable floating-point code
L Titolo, M Moscato, MA Feliu, CA Muñoz
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano …, 2020
42020
Modeling hybrid systems in Hy-tccp
D Adalid, MM Gallardo
arXiv preprint arXiv:1412.4550, 2014
32014
Towards an Effective Decision Procedure for LTL formulas with Constraints
M Comini, L Titolo, A Villanueva García
23rd Workshop on Logic-based methods in Programming Environments, 2013
32013
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages
L Titolo
Theory and Practice of Logic Progamming 13 (4-5), 2013
22013
Abstract Analysis of Universal Properties for tccp
M Comini, MM Gallardo, L Titolo, A Villanueva
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
12015
A Temporal Differential Dynamic Logic Formal Embedding
L White, L Titolo, JT Slagel, C Muñoz
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
2024
Selected extended papers of NFM 2021: Preface
A Dutle, MM Moscato, L Titolo, CA Muñoz, I Perez
Innovations in Systems and Software Engineering 19 (4), 337-338, 2023
2023
A provably correct floating-point implementation of Well Clear Avionics Concepts
NBF Ferreira, MM Moscato, L Titolo, M Ayala-Rincón
2023 Formal Methods in Computer-Aided Design (FMCAD), 237-246, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20