Cesar Munoz
Cesar Munoz
Verified email at nasa.gov
Title
Cited by
Cited by
Year
The Coq proof assistant reference manual: Version 6.1
B Barras, S Boutin, C Cornes, J Courant, JC Filliatre, E Gimenez, ...
2631997
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2392000
DAIDALUS: detect and avoid alerting logic for unmanned systems
C Muñoz, A Narkawicz, G Hagen, J Upchurch, A Dutle, M Consiglio, ...
2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 5A1-1-5A1-12, 2015
1052015
Tactical conflict detection and resolution in a 3-D airspace
G Dowek, C Munoz, A Geser
INSTITUTE FOR COMPUTER APPLICATIONS IN SCIENCE AND ENGINEERING HAMPTON VA, 2001
912001
The Coq proof assistant reference manual
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
INRIA, version 6 (11), 1999
911999
Formalization of Bernstein polynomials and applications to global optimization
C Muñoz, A Narkawicz
Journal of Automated Reasoning 51 (2), 151-196, 2013
842013
A TCAS-II resolution advisory detection algorithm
C Munoz, A Narkawicz, J Chamberlain
AIAA Guidance, Navigation, and Control (GNC) Conference, 4622, 2013
812013
Rapid prototyping in PVS
CA Muñoz, R Butler
802003
Provably safe coordinated strategy for distributed conflict resolution
G Dowek, C Munoz, V Carreño
AIAA guidance, navigation, and control conference and exhibit, 6047, 2005
712005
Guaranteed proofs using interval arithmetic
M Daumas, G Melquiond, C Munoz
17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005
712005
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
642008
Conflict detection and resolution for 1, 2,... N aircraft
G Dowek, C Munoz
7th AIAA ATIO Conf, 2nd CEIAT Int'l Conf on Innov and Integr in Aero …, 2007
642007
Concepts of integration for UAS operations in the NAS
MC Consiglio, JP Chamberlain, CA Munoz, KD Hoffler
632012
The Coq proof assistant reference manual
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Paulin-Mohring, ...
Rapport Technique 177, 1995
591995
The coq proof assistant, reference manual, version 5.10
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Munoz, C Murthy, ...
551995
Formal verification of an optimal air traffic conflict resolution and recovery algorithm
AL Galdino, C Munoz, M Ayala-Rincón
International Workshop on Logic, Language, Information, and Computation, 177-188, 2007
512007
Confluence and preservation of strong normalisation in an explicit substitutions calculus
C Munoz
Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 440-447, 1996
511996
Rewriting modulo SMT and open system analysis
C Rocha, J Meseguer, C Muñoz
Journal of Logical and Algebraic Methods in Programming 86 (1), 269-297, 2017
402017
A formalization of the B-method in Coq and PVS
JP Bodeveix, M Filali, CA Muñoz
LNCS, 1999
401999
A Family of Well-Clear Boundary Models for the Integration of UAS in the NAS
C Munoz, A Narkawicz, J Chamberlain, MC Consiglio, JM Upchurch
14th AIAA Aviation Technology, Integration, and Operations Conference, 2412, 2014
392014
The system can't perform the operation now. Try again later.
Articles 1–20