Suivre
Cesar Munoz
Cesar Munoz
Adresse e-mail validée de nasa.gov - Page d'accueil
Titre
Citée par
Citée par
Année
The Coq proof assistant reference manual: Version 6.1
B Barras, S Boutin, C Cornes, J Courant, JC Filliatre, E Gimenez, ...
Inria, 1997
3571997
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
NASA CONFERENCE PUBLICATION, 187-195, 2000
2602000
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
1922015
The Coq proof assistant reference manual
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
INRIA, version 6 (11), 1999
1351999
A TCAS-II resolution advisory detection algorithm
C Munoz, A Narkawicz, J Chamberlain
AIAA Guidance, Navigation, and Control (GNC) Conference, 4622, 2013
1152013
Tactical conflict detection and resolution in a 3-D airspace
G Dowek, CA Muñoz, A Geser
Institute for Computer Applications in Science and Engineering, NASA Langley …, 2001
1122001
Formalization of Bernstein polynomials and applications to global optimization
C Munoz, A Narkawicz
Journal of Automated Reasoning 51, 151-196, 2013
1012013
Rapid prototyping in PVS
CA Muñoz, R Butler
942003
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
832017
Concepts of integration for UAS operations in the NAS
MC Consiglio, JP Chamberlain, CA Munoz, KD Hoffler
832012
An abstract interpretation framework for the round-off error analysis of floating-point programs
L Titolo, MA Feliú, M Moscato, CA Muñoz
Verification, Model Checking, and Abstract Interpretation: 19th …, 2018
792018
Guaranteed proofs using interval arithmetic
M Daumas, G Melquiond, C Munoz
17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005
772005
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
742016
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
742008
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
712007
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
Automatic estimation of verified floating-point round-off errors via static analysis
M Moscato, L Titolo, A Dutle, CA Munoz
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
652017
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
621995
The Coq proof assistant reference manual
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Paulin-Mohring, ...
Rapport Technique 177, 1995
611995
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
592014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20