Concepedia

Laura Titolo

LT

4

Publications

56

Citations

4

H-Index

2011

Active since

Affiliations

National Institute of Aerospace(Current)

Langley Research Center

Ames Research Center

Laura Titolo is an author at National Institute of Aerospace specializing in software design, formal methods, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationFormal Specification

Publications per year

2011–2022

4

Publications

4

A compositional proof framework for FRETish requirements

Esther Conrad, Laura Titolo, Dimitra Giannakopoulou et al. · 2022 · 18 citations

Engineering, Verification, Software Engineering +20

Abstract diagnosis for timed concurrent constraint programs

Marco Comini, Laura Titolo, Alicia Villanueva · Theory and Practice of Logic Programming · 2011 · 16 citations · Full text

Tccp Program, Engineering, Verification +18

Formal analysis of the compact positionreporting algorithm

Aaron Dutle, Mariano M. Moscato, Laura Titolo et al. · Formal Aspects of Computing · 2020 · 11 citations · Full text

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

Aaron Dutle, César Muñoz, Esther Conrad et al. · Electronic Proceedings in Theoretical Computer Science · 2020 · 11 citations · Full text

Engineering, Field Robotics, Verification +29

Rows per page

1–4 of 4