Laura Titolo
  • Bio
  • Publications
  • Projects
  • Experience
  • News
  • CV
ESC

Searching...

No results found

↑↓ Navigate ↵ Select
Powered by Hugo Blox
  • Recent & Upcoming Talks
    • Example Talk
  • News
    • Keynote @ ITP 2026
    • ITP 2026
    • NFM 2026
    • NFM 2026
    • LOPSTR 2025
    • New position at Code Metal
    • NFM 2025
    • CPP 2025
    • CPP 2025
    • FMICS 2023
    • NASA Group Achivement award for CPR
    • SOAP 2022
    • NFM 2021
  • Publications
    • Rigorous Floating-Point Round-Off Error Analysis in PRECiSA 4.0
    • A Temporal Differential Dynamic Logic Formal Embedding
    • A Provably Correct Floating-Point Implementation of Well Clear Avionics Concepts
    • A Compositional Proof Framework for FRETish Requirements
    • Formal analysis of the compact position reporting algorithm
    • From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
    • Automatic Generation of Guard-Stable Floating-Point Code
    • Provably Correct Floating-Point Implementation of a Point-in-Polygon Algorithm
    • A Mixed Real and Floating-Point Solver
    • Eliminating Unstable Tests in Floating-Point Programs
    • A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm
    • An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs
    • Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysis
    • A Formal Analysis of the Compact Position Reporting Algorithm
    • A constraint-based language for modelling intelligent environments
    • A program analysis framework for tccp based on abstract interpretation
    • Abstract Analysis of Universal Properties for tccp
    • Modelling Hybrid Systems in Hy-tccp
    • Modeling Hybrid Systems in the Concurrent Constraint Paradigm
    • Abstract Diagnosis for tccp using a Linear Temporal Logic
    • Towards an Effective Decision Procedure for LTL formulas with Constraints
    • An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages
    • Abstract Diagnosis for Timed Concurrent Constraint programs
  • Projects
    • PRECiSA
    • ReFlow
    • VSCode-PRECiSA
    • FRET Proof Framework
    • FPRoCK
    • CPR*
  • Projects
  • Experience

A Formally Verified Floating-Point Implementation of the Compact Position Reporting Algorithm

Jul 15, 2018·
Laura Titolo
,
Mariano M. Moscato
,
Cesar A. Muñoz
,
Aaron Dutle
,
And François Bobot
· 0 min read
PDF DOI
Last updated on Jul 15, 2018
← Eliminating Unstable Tests in Floating-Point Programs Sep 22, 2018
An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs Jan 7, 2018 →

©2024 Laura Titolo.

Made with Hugo Blox — Open Source. Build yours →