default search action
Laura Titolo
Person information
- affiliation: National Institute of Aerospace, Hampton, VA, USA
- affiliation (2014 - 2015): University of Malaga, Spain
- affiliation (PhD 2014): University of Udine, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c15]Lauren M. White, Laura Titolo, J. Tanner Slagel, César A. Muñoz:
A Temporal Differential Dynamic Logic Formal Embedding. CPP 2024: 162-176 - [c14]Laura Titolo
, Mariano M. Moscato
Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0. FM (2) 2024: 20-38 - 2023
- [j7]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): 337-338 (2023) - [c13]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: 237-246 - [e3]Alessandro Cimatti
Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14290, Springer 2023, ISBN 978-3-031-43680-2 [contents] - 2022
- [c12]Esther Conrad
A compositional proof framework for FRETish requirements. CPP 2022: 68-81 - [e2]Laure Gonnord, Laura Titolo:
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022. ACM 2022, ISBN 978-1-4503-9274-7 [contents] - [i7]Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle:
A Compositional Proof Framework for FRETish Requirements. CoRR abs/2201.03641 (2022) - 2021
- [j6]Aaron Dutle
Formal analysis of the compact position reporting algorithm. Formal Aspects Comput. 33(1): 65-86 (2021) - [e1]Aaron Dutle, Mariano M. Moscato, Laura Titolo, César A. Muñoz, Ivan Perez:
NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings. Lecture Notes in Computer Science 12673, Springer 2021, ISBN 978-3-030-76383-1 [contents] - 2020
- [c11]Laura Titolo, Mariano M. Moscato, Marco A. Feliú, César A. Muñoz:
Automatic Generation of Guard-Stable Floating-Point Code. IFM 2020: 141-159 - [c10]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: 23-30 - [i6]Laura Titolo, Mariano M. Moscato, César A. Muñoz:
Automatic generation and verification of test-stable floating-point code. CoRR abs/2001.02981 (2020)
2010 – 2019
- 2019
- [c9]Mariano M. Moscato, Laura Titolo
Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm. FM 2019: 21-37 - [c8]Rocco Salvia, Laura Titolo
A Mixed Real and Floating-Point Solver. NFM 2019: 363-370 - 2018
- [c7]Laura Titolo
A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm. FM 2018: 364-381 - [c6]Laura Titolo
Eliminating Unstable Tests in Floating-Point Programs. LOPSTR 2018: 169-183 - [c5]Laura Titolo
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs. VMCAI 2018: 516-537 - [i5]Laura Titolo, César A. Muñoz, Marco A. Feliú, Mariano M. Moscato:
Eliminating Unstable Tests in Floating-Point Programs. CoRR abs/1808.04289 (2018) - 2017
- [j5]Marco Comini
A program analysis framework for tccp based on abstract interpretation. Formal Aspects Comput. 29(3): 531-557 (2017) - [j4]María-del-Mar Gallardo, Leticia Lavado, Laura Panizo
A constraint-based language for modelling intelligent environments. J. Reliab. Intell. Environ. 3(1): 55-79 (2017) - [c4]Mariano M. Moscato, Laura Titolo
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis. SAFECOMP 2017: 213-229 - [c3]Aaron Dutle, Mariano M. Moscato, Laura Titolo
A Formal Analysis of the Compact Position Reporting Algorithm. VSTTE 2017: 19-34 - 2015
- [c2]Marco Comini
Abstract Analysis of Universal Properties for tccp. LOPSTR 2015: 163-178 - 2014
- [b1]Laura Titolo:
An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages. University of Udine, Italy, 2014 - [j3]Marco Comini
Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory Pract. Log. Program. 14(4-5): 787-801 (2014) - [c1]Damián Adalid, María-del-Mar Gallardo, Laura Titolo
Modeling Hybrid Systems in the Concurrent Constraint Paradigm. PROLE 2014: 1-15 - [i4]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for tccp using a Linear Temporal Logic. CoRR abs/1405.3675 (2014) - [i3]Damián Adalid, María-del-Mar Gallardo, Laura Titolo:
Modeling Hybrid Systems in Hy-tccp. CoRR abs/1412.4550 (2014) - 2013
- [j2]Laura Titolo:
An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [i2]Marco Comini, Laura Titolo, Alicia Villanueva:
Towards an Effective Decision Procedure for LTL formulas with Constraints. CoRR abs/1308.4171 (2013) - 2011
- [j1]Marco Comini
Abstract diagnosis for timed concurrent constraint programs. Theory Pract. Log. Program. 11(4-5): 487-502 (2011) - [i1]Marco Comini, Laura Titolo, Alicia Villanueva:
Abstract Diagnosis for Timed Concurrent Constraint programs. CoRR abs/1109.1587 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: