Παρακολούθηση
Cesar Munoz
Cesar Munoz
AWS
Μη επαληθευμένη διεύθυνση ηλ. ταχυδρομείου
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The Coq proof assistant reference manual: Version 6.1
B Barras, S Boutin, C Cornes, J Courant, JC Filliatre, E Gimenez, ...
Inria, 1997
2971997
An overview of SAL
S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ...
Lfm2000: Fifth NASA Langley Formal Methods Workshop, 2000
2512000
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
1532015
The Coq proof assistant reference manual
B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ...
INRIA, version 6 (11), 1999
1101999
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
1012001
Formalization of Bernstein polynomials and applications to global optimization
C Munoz, A Narkawicz
Journal of Automated Reasoning 51 (2), 151-196, 2013
982013
A TCAS-II resolution advisory detection algorithm
C Munoz, A Narkawicz, J Chamberlain
AIAA Guidance, Navigation, and Control (GNC) Conference, 4622, 2013
962013
Rapid prototyping in PVS
CA Muñoz, R Butler
902003
Guaranteed proofs using interval arithmetic
M Daumas, G Melquiond, C Munoz
17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005
772005
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
732008
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
712012
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
672007
The Coq proof assistant reference manual
C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Paulin-Mohring, ...
Rapport Technique 177, 1995
621995
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
592016
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
582017
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
571995
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
562007
Automatic estimation of verified floating-point round-off errors via static analysis
M Moscato, A Dutle, CA Muñoz
International Conference on Computer Safety, Reliability, and Security, 213-229, 2017
512017
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
512014
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20