Laura Titolo

38 papers B 9C 4Journal 15Unranked 5
YearRankTypeTitle / Venue / Authors
2026 C ed.
Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
LOPSTR
Santiago Escobar, Laura Titolo
2025 J jnl
Formal methods in industrial critical systems.
Int. J. Softw. Tools Technol. Transf.
Alessandro Cimatti, Laura Titolo
2025 — ed.
NASA Formal Methods - 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
NFM
Aaron Dutle, Laura R. Humphrey, Laura Titolo
2025 B conf
Taming Floating-Point Rounding Errors with Proofs (Invited Talk).
ITP
Laura Titolo
2024 B conf
A Temporal Differential Dynamic Logic Formal Embedding.
CPP
Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz
2024 — conf
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0.
FM (2)
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Paolo Masci, César A. Muñoz
2023 B conf
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts.
FMCAD
Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón
2023 — ch.
Floating-Point Round-off Error Analysis of Safety-Critical Avionics Software.
Challenges of Software Verification
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, Aaron Dutle, César A. Muñoz
2023 C ed.
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
FMICS
Alessandro Cimatti, Laura Titolo
2023 J jnl
Selected extended papers of NFM 2021.
Innov. Syst. Softw. Eng.
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2022 J jnl
A Compositional Proof Framework for FRETish Requirements.
CoRR
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022 B conf
A compositional proof framework for FRETish requirements.
CPP
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
2022 — ed.
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022
SOAP@PLDI
Laure Gonnord, Laura Titolo
2021 J jnl
Formal analysis of the compact position reporting algorithm.
Formal Aspects Comput.
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
2021 — ed.
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings
NFM
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
2020 B conf
Automatic Generation of Guard-Stable Floating-Point Code.
IFM
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz
2020 J jnl
Automatic generation and verification of test-stable floating-point code.
CoRR
Laura Titolo, Mariano M. Moscato, César A. Muñoz
2020 — conf
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
FMAS
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2019 — conf
A Mixed Real and Floating-Point Solver.
NFM
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
2019 B conf
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm.
FM
Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
2018 B conf
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
FM
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
2018 B conf
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.
VMCAI
Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz
2018 C conf
Eliminating Unstable Tests in Floating-Point Programs.
LOPSTR
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
2018 J jnl
Eliminating Unstable Tests in Floating-Point Programs.
CoRR
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
2017 — conf
A Formal Analysis of the Compact Position Reporting Algorithm.
VSTTE
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
2017 J jnl
A constraint-based language for modelling intelligent environments.
J. Reliab. Intell. Environ.
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
2017 J jnl
A program analysis framework for tccp based on abstract interpretation.
Formal Aspects Comput.
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
2017 B conf
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.
SAFECOMP
Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
2015 C conf
Abstract Analysis of Universal Properties for tccp.
LOPSTR
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
2014 J jnl
Abstract Diagnosis for tccp using a Linear Temporal Logic.
CoRR
Marco Comini, Laura Titolo, Alicia Villanueva
2014 J jnl
Abstract Diagnosis for tccp using a Linear Temporal Logic.
Theory Pract. Log. Program.
Marco Comini, Laura Titolo, Alicia Villanueva
2014 — —
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.
Laura Titolo
2014 J jnl
Modeling Hybrid Systems in Hy-tccp.
CoRR
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
2014 — conf
Modeling Hybrid Systems in the Concurrent Constraint Paradigm.
PROLE
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
2013 J jnl
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages.
Theory Pract. Log. Program.
Laura Titolo
2013 J jnl
Towards an Effective Decision Procedure for LTL formulas with Constraints.
CoRR
Marco Comini, Laura Titolo, Alicia Villanueva
2011 J jnl
Abstract Diagnosis for Timed Concurrent Constraint programs
CoRR
Marco Comini, Laura Titolo, Alicia Villanueva
2011 J jnl
Abstract diagnosis for timed concurrent constraint programs.
Theory Pract. Log. Program.
Marco Comini, Laura Titolo, Alicia Villanueva