Publications

Laura Titolo, Mariano M. Moscato, Marco A. Feliu, Paolo Masci, Cesar A. Muñoz (2024). Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. FM 2024.

Lauren White, Laura Titolo, J. Tanner Slagel, Cesar A. Muñoz (2024). A Temporal Differential Dynamic Logic Formal Embedding. CPP 2024.

Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincon (2023). A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. FMCAD 2023.

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle: (2022). A Compositional Proof Framework for FRETish Requirements. CPP 2022.

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, And François Bobot (2021). Formal analysis of the compact position reporting algorithm. FAC 2021.

Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, And Thomas Pressburger (2020). From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS 2020.

Laura Titolo, Mariano M. Moscato, Marco A. Feliú, And César A. Muñoz: (2020). Automatic Generation of Guard-Stable Floating-Point Code. iFM 2020.

Mariano M. Moscato, Laura Titolo, Marco A. Feliu, And Cesar A. Muñoz (2019). Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM 2019.

Rocco Salvia, Laura Titolo, Marco A. Feliu, Mariano M. Moscato, Cesar A. Muñoz, And Zvonimir Rakamaric (2019). A Mixed Real and Floating-Point Solver. NFM 2019.

Laura Titolo, Cesar A. Muñoz, Marco A. Feliu, And Mariano M. Moscato (2018). Eliminating Unstable Tests in Floating-Point Programs. LOPSTR 2018.