Laura Titolo

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 19

Top Topics

Abstract Interpretation

Top Venues

Publications

Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz
A Temporal Differential Dynamic Logic Formal Embedding. CPP (2024)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez
Selected extended papers of NFM 2021. Innov. Syst. Softw. Eng. 19 (4) (2023)
Nikson Bernardes Fernandes Ferreira, Mariano M. Moscato, Laura Titolo, Mauricio Ayala-Rincón
A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts. FMCAD (2023)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A compositional proof framework for FRETish requirements. CPP (2022)
Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle
A Compositional Proof Framework for FRETish Requirements. CoRR (2022)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Gregory Anderson, François Bobot
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33 (1) (2021)
Laura Titolo, Mariano M. Moscato, César A. Muñoz
Automatic generation and verification of test-stable floating-point code. CoRR (2020)
Aaron Dutle, César A. Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. FMAS (2020)
Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz
Automatic Generation of Guard-Stable Floating-Point Code. IFM (2020)
Mariano M. Moscato, Laura Titolo, Marco A. Feliú, César A. Muñoz
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM (2019)
Rocco Salvia, Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz, Zvonimir Rakamaric
A Mixed Real and Floating-Point Solver. NFM (2019)
Laura Titolo, Mariano M. Moscato, César A. Muñoz, Aaron Dutle, François Bobot
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. CoRR (2018)
Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato
Eliminating Unstable Tests in Floating-Point Programs. LOPSTR (2018)
Laura Titolo, Marco A. Feliú, Mariano M. Moscato, César A. Muñoz
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI (2018)
Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz
A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE (2017)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29 (3) (2017)
Mariano M. Moscato, Laura Titolo, Aaron Dutle, César A. Muñoz
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP (2017)
María-del-Mar Gallardo, Leticia Lavado, Laura Panizo, Laura Titolo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3 (1) (2017)
Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva
Abstract Analysis of Universal Properties for tccp. LOPSTR (2015)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14 (4-5) (2014)
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in Hy-tccp. CoRR (2014)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR (2014)
Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE (2014)
Marco Comini, Laura Titolo, Alicia Villanueva
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR (2013)
Laura Titolo
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract Diagnosis for Timed Concurrent Constraint programs CoRR (2011)
Marco Comini, Laura Titolo, Alicia Villanueva
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11 (4-5) (2011)