Cesar Munoz
Cesar Munoz
Bestätigte E-Mail-Adresse bei nasa.gov
Titel
Zitiert von
Zitiert von
Jahr
Análisis de antocianinas en arándanos del Noa
C Muñoz, R Maihua, F Peralta, M Tereschuk, M Gonzales, P Albarracin
Universidad Nacional de Tucumán. Departamento de Ingeniería de Procesos y …, 2008
7912008
The Coq proof assistant reference manual: Version 6.1
B Barras, S Boutin, C Cornes, J Courant, JC Filliatre, E Gimenez, ...
Inria, 1997
2791997
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2452000
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
1312015
The Coq proof assistant reference manual
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
INRIA, version 6 (11), 1999
961999
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
942001
Formalization of Bernstein polynomials and applications to global optimization
C Munoz, A Narkawicz
Journal of Automated Reasoning 51 (2), 151-196, 2013
922013
A TCAS-II resolution advisory detection algorithm
C Munoz, A Narkawicz, J Chamberlain
AIAA Guidance, Navigation, and Control (GNC) Conference, 4622, 2013
872013
Rapid prototyping in PVS
CA Muñoz, R Butler
872003
Guaranteed proofs using interval arithmetic
M Daumas, G Melquiond, C Munoz
17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005
742005
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
732005
Concepts of integration for UAS operations in the NAS
MC Consiglio, JP Chamberlain, CA Munoz, KD Hoffler
672012
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
662007
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
652008
The Coq proof assistant reference manual
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Paulin-Mohring, ...
Rapport Technique 177, 1995
601995
The COQ Proof assistant, Reference Manual, Version 5.10
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Munoz, C Murthy, ...
INRIA, 1995
601995
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
542007
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
521996
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
482017
ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems
M Consiglio, C Muñoz, G Hagen, A Narkawicz, S Balachandran
2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-5, 2016
472016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20