| The Coq proof assistant reference manual: Version 6.1 B Barras, S Boutin, C Cornes, J Courant, JC Filliatre, E Gimenez, ... Inria, 1997 | 357 | 1997 |
| An overview of SAL S Bensalem, V Ganesh, Y Lakhnech, C Munoz, S Owre, H Rueß, ... NASA CONFERENCE PUBLICATION, 187-195, 2000 | 260 | 2000 |
| 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 | 192 | 2015 |
| The Coq proof assistant reference manual B Barras, S Boutin, C Cornes, J Courant, Y Coscoy, D Delahaye, ... INRIA, version 6 (11), 1999 | 134 | 1999 |
| A TCAS-II resolution advisory detection algorithm C Munoz, A Narkawicz, J Chamberlain AIAA Guidance, Navigation, and Control (GNC) Conference, 4622, 2013 | 114 | 2013 |
| 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 | 112 | 2001 |
| Formalization of Bernstein polynomials and applications to global optimization C Munoz, A Narkawicz Journal of Automated Reasoning 51, 151-196, 2013 | 101 | 2013 |
| Rapid prototyping in PVS CA Muñoz, R Butler | 94 | 2003 |
| Concepts of integration for UAS operations in the NAS MC Consiglio, JP Chamberlain, CA Munoz, KD Hoffler | 83 | 2012 |
| 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 | 82 | 2017 |
| 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 | 79 | 2018 |
| Guaranteed proofs using interval arithmetic M Daumas, G Melquiond, C Munoz 17th IEEE Symposium on Computer Arithmetic (ARITH'05), 188-195, 2005 | 77 | 2005 |
| Verified real number calculations: A library for interval arithmetic M Daumas, D Lester, C Munoz IEEE Transactions on Computers 58 (2), 226-237, 2008 | 74 | 2008 |
| 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 | 73 | 2016 |
| 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 | 71 | 2007 |
| 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 | 71 | 2005 |
| 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 | 65 | 2017 |
| 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 | 62 | 1995 |
| The Coq proof assistant reference manual C Cornes, J Courant, JC Filliâtre, G Huet, P Manoury, C Paulin-Mohring, ... Rapport Technique 177, 1995 | 61 | 1995 |
| 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 | 59 | 2014 |
