Laura Titolo
Orcid: 0000-0001-7820-7640Affiliations:
- National Institute of Aerospace, Hampton, VA, USA
- University of Malaga, Spain (2014 - 2015)
- University of Udine, Italy (PhD 2014)
According to our database1,
Laura Titolo
authored at least 26 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
2
2
2
1
2
1
1
2
2
3
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024
2023
Proceedings of the Formal Methods in Computer-Aided Design, 2023
2022
Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022
2021
Formal Aspects Comput., 2021
2020
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project.
Proceedings of the Proceedings Second Workshop on Formal Methods for Autonomous Systems, 2020
Proceedings of the Integrated Formal Methods - 16th International Conference, 2020
2019
Proceedings of the NASA Formal Methods - 11th International Symposium, 2019
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019
2018
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm.
Proceedings of the Formal Methods - 22nd International Symposium, 2018
2017
J. Reliab. Intell. Environ., 2017
Formal Aspects Comput., 2017
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis.
Proceedings of the Computer Safety, Reliability, and Security, 2017
2015
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015
2014
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages.
PhD thesis, 2014
Theory Pract. Log. Program., 2014
Proceedings of the Proceedings XIV Jornadas sobre Programación y Lenguajes, 2014
2013
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages.
Theory Pract. Log. Program., 2013
CoRR, 2013
2011
Theory Pract. Log. Program., 2011