Publications

Laura Titolo, Mariano M. Moscato, Cesar 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 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 DOI
Aaron Dutle, Mariano M. Moscato, Laura Titolo, Cesar 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.
Damián 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