Laura Titolo
Laura Titolo
Home
News
Experience
Publications
Software
Contact
Light
Dark
Automatic
Publications
Type
Conference paper
Journal article
Date
2022
2021
2020
2019
2018
2017
2015
2014
2013
2011
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
Cite
×