Concepedia

César Muñoz

CM

Statistics

Publications

47

Citations

2.4K

H-Index

20

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 engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringSpace EngineeringFormal MethodsFormal VerificationVerificationComputer EngineeringUnmanned Aerial SystemsAerial Robotics

Publications per year

1997–2020

47

Publications

47

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 · 985 citations · Full text

An Overview of SAL

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

Engineering, Verification, Invariant Generation +20

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 · 102 citations · Full text

Daidalus Reference Implementation, Engineering, Aerospace Engineering +14

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, Diagnosis, Detection Technique +19

Formalization of Bernstein Polynomials and Applications to Global Optimization

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

Mathematical Programming, Large-scale Global Optimization, Engineering +5

1–5 of 47