Concepedia

César Muñoz

CM

Statistics

Publications

48

Citations

2.4K

H-Index

21

Active since

1997

Affiliations

Langley Research Center(Current)

National Institute of Aerospace

École Polytechnique

César Muñoz is an author at Langley Research Center specializing in aerospace engineering, computer science, and formal methods.

Publications per year

1997–2021

48

Publications

48

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

An Overview of SAL

Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech et al. · Formal Methods · 2000 · 167 citations

Computing, Computer Science, Formal Methods +16

DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

César Muñoz, Anthony Narkawicz, George Hagen et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 104 citations · Full text

Computing, Aerospace Engineering, Computer Science +15

A TCAS-II Resolution Advisory Detection Algorithm

César Muñoz, Anthony Narkawicz, James P. Chamberlain · AIAA Guidance, Navigation, and Control (GNC) Conference · 2013 · 77 citations

Engineering, Aerospace Engineering, Systems Engineering +17

Formalization of Bernstein Polynomials and Applications to Global Optimization

César Muñoz, Anthony Narkawicz · Journal of Automated Reasoning · 2012 · 77 citations

Natural Sciences, Computer Science, Mathematics +14

1–5 of 48