| 2025 | ITP | Taming Floating-Point Rounding Errors with Proofs (Invited Talk). | Laura Titolo |
| 2024 | CPP | A Temporal Differential Dynamic Logic Formal Embedding. | Lauren M. White, Laura Titolo, J. Tanner Slagel, Csar A. Muoz |
| 2024 | FM | Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Paolo Masci, Csar A. Muoz |
| 2023 | FMCAD | A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. | Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincn |
| 2022 | CPP | A compositional proof framework for FRETish requirements. | Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle |
| 2020 | IFM | Automatic Generation of Guard-Stable Floating-Point Code. | Laura Titolo, Mariano M. Moscato, Marco A. Feli, Csar A. Muoz |
| 2019 | FM | Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. | Mariano M. Moscato, Laura Titolo, Marco A. Feli, Csar A. Muoz |
| 2018 | FM | A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. | Laura Titolo, Mariano M. Moscato, Csar A. Muoz, Aaron Dutle, Franois Bobot |
| 2018 | LOPSTR | Eliminating Unstable Tests in Floating-Point Programs. | Laura Titolo, Csar A. Muoz, Marco A. Feli, Mariano M. Moscato |
| 2018 | VMCAI | An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. | Laura Titolo, Marco A. Feli, Mariano M. Moscato, Csar A. Muoz |
| 2017 | SAFECOMP | Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. | Mariano M. Moscato, Laura Titolo, Aaron Dutle, Csar A. Muoz |
| 2015 | LOPSTR | Abstract Analysis of Universal Properties for tccp. | Marco Comini, Mara-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |