Publications

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

PDF Cite Project DOI

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.

PDF Cite DOI

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.

PDF Cite DOI

Laura Titolo, Mariano M. Moscato, Marco A. Feliu, and Cesar A. Muñoz (2020). Automatic Generation of Guard-Stable Floating-Point Code. iFM 2020.

PDF Cite Project DOI

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.

PDF Cite DOI

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

PDF Cite Project DOI

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

PDF Cite Project DOI

Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, and François Bobot (2018). A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM 2018.

PDF Cite DOI

Laura Titolo, Marco A. Feliu, Mariano M. Moscato, and Cesar A. Muñoz (2018). An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI 2018.

PDF Cite Project DOI

Mariano M. Moscato, Laura Titolo, Aaron Dutle, and Cesar A. Muñoz (2017). Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP 2017.

PDF Cite Project DOI

Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz (2017). A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE 2017.

PDF Cite DOI

Maria-del-Mar Gallardo, Leticia Lavado, Laura Panizo, and Laura Titolo (2017). A constraint-based language for modelling intelligent environments. Journal of Reliable Intelligent Environments.

Cite DOI

Marco Comini, Maria-del-Mar Gallardo, Laura Titolo, and Alicia Villanueva (2017). A program analysis framework for tccp based on abstract interpretation. Formal Aspects of Computing.

PDF Cite DOI

Marco Comini, Maria-del-Mar Gallardo, Laura Titolo, and Alicia Villanueva (2015). Abstract Analysis of Universal Properties for tccp. LOPSTR 2015.

Cite DOI

Damian Adalid, Maria-del-Mar Gallardo, and Laura Titolo (2014). Modelling Hybrid Systems in Hy-tccp. FTSCS 2014.

Damian Adalid, Maria-del-Mar Gallardo, and Laura Titolo (2014). Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE 2014.

Cite DOI

Marco Comini, Laura Titolo, and Alicia Villanueva (2014). Abstract Diagnosis for tccp using a Linear Temporal Logic. ICLP 2014.

PDF Cite DOI

Marco Comini, Laura Titolo, and Alicia Villanueva (2013). Towards an Effective Decision Procedure for LTL formulas with Constraints. WLPE 2013.

PDF Cite

Laura Titolo (2013). An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. ICLP 2013 Doctoral Consortium.

PDF Cite

Marco Comini, Laura Titolo, and Alicia Villanueva (2011). Abstract Diagnosis for Timed Concurrent Constraint programs. ICLP 2011.

PDF Cite DOI