• Sign in
  • Sign up
conf.researchr.org / Cesar Munoz
  • NASA Formal Methods 2023 profile
  • NASA Formal Methods 2024 profile
  • POPL 2018 profile
  • POPL 2020 profile
  • POPL 2022 profile
  • POPL 2024 profile
  • POPL 2025 profile
Cesar Munoz

Registered user since Mon 2 Oct 2023

Name:Cesar Munoz
Country:United States
Affiliation:NASA
Personal website: https://shemesh.larc.nasa.gov/people/cam/
GitHub: https://github.com/cesaramh
Research interests:Formal Methods

Contributions

2025

CPP

  • PC Member in Program Committee within the CPP 2025-track

2024

NFM

  • Committee Member in Program Committee within the NFM 2024-track
  • Author of A Formal Verification Framework for Runtime Assurance within the NFM 2024-track

CPP

  • Author of A Temporal Differential Dynamic Logic Formal Embedding within the CPP 2024-track

2023

NFM

  • Committee Member in Program Committee within the NFM 2023-track

2022

CPP

  • Invited Speaker of Structural Embeddings Revisited within the CPP 2022-track

2020

CPP

  • Committee Member in Program Committee within the CPP 2020-track

2018

VMCAI

  • Author of An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs within the VMCAI 2018-track
Share
xMon 19 May 20:54
using conf.researchr.org (v1.69.0)
Support page
Sign Up