Laura Titolo
  • Bio
  • Publications
  • Projects
  • Experience
  • News
  • Recent & Upcoming Talks
    • Example Talk
  • Blog
    • 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

FMICS 2023

Jan 20, 2023 · 1 min read

I am PC co-chair of the 28rd International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023) together with Alessandro Cimatti.

Last updated on Jan 20, 2023
Laura Titolo
Authors
Laura Titolo
Principal Research Scientist
← CPP 2025 Aug 24, 2024
NASA Group Achivement award for CPR Apr 16, 2022 →

©2024 Laura Titolo.

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.