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

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

	
		OSZAR »