| Spectra of uniform hypergraphs J Cooper, A Dutle Linear Algebra and its applications 436 (9), 3268-3292, 2012 | 455 | 2012 |
| 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 |
| 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 |
| On realizations of a joint degree matrix É Czabarka, A Dutle, PL Erdős, I Miklós Discrete Applied Mathematics 181, 283-288, 2015 | 42 | 2015 |
| Computing hypermatrix spectra with the Poisson product formula J Cooper, A Dutle Linear and Multilinear Algebra 63 (5), 956-970, 2015 | 32 | 2015 |
| Formally-verified decision procedures for univariate polynomial computation based on Sturm’s and Tarski’s theorems A Narkawicz, C Munoz, A Dutle Journal of Automated Reasoning 54, 285-326, 2015 | 29 | 2015 |
| Software validation via model animation AM Dutle, CA Muñoz, AJ Narkawicz, RW Butler Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of …, 2015 | 27 | 2015 |
| Unmanned aircraft systems in the national airspace system: a formal methods perspective CA Muñoz, A Dutle, A Narkawicz, J Upchurch ACM SIGLOG News 3 (3), 67-76, 2016 | 26 | 2016 |
| Formal analysis of the compact position reporting algorithm A Dutle, M Moscato, L Titolo, C Munoz, G Anderson, F Bobot Formal Aspects of Computing 33, 65-86, 2021 | 24 | 2021 |
| From requirements to autonomous flight: an overview of the monitoring ICAROUS project A Dutle, C Muñoz, E Conrad, A Goodloe, I Perez, S Balachandran, ... arXiv preprint arXiv:2012.03745, 2020 | 19 | 2020 |
| Greedy Galois games J Cooper, A Dutle The American Mathematical Monthly 120 (5), 441-451, 2013 | 19 | 2013 |
| Sensor uncertainty mitigation and dynamic well clear volumes in DAIDALUS A Narkawicz, C Muñoz, A Dutle 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 1-8, 2018 | 18 | 2018 |
| A formally verified floating-point implementation of the compact position reporting algorithm L Titolo, MM Moscato, CA Munoz, A Dutle, F Bobot Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018 | 18 | 2018 |
| The MINERVA software development process A Narkawicz, CA Munoz, AM Dutle NASA Formal Methods Symposium (NFM) 2017, 2017 | 15 | 2017 |
| Unmanned Aircraft Systems Minimum Operations Performance Standards End-to-End Verification and Validation (E2-V2) Simulation RW Ghatas, DP Jack, D Tsakpinis, MJ Vincent, JL Sturdy, CA Munoz, ... | 15 | 2017 |
| A compositional proof framework for FRETish requirements E Conrad, L Titolo, D Giannakopoulou, T Pressburger, A Dutle Proceedings of the 11th ACM SIGPLAN International Conference on Certified …, 2022 | 14 | 2022 |
| Formalization of the Undecidability of the Halting Problem for a Functional Language TMF Ramos, C Muñoz, M Ayala-Rincón, M Moscato, A Dutle, A Narkawicz Logic, Language, Information, and Computation: 25th International Workshop …, 2018 | 13 | 2018 |
| Formal verification of semi-algebraic sets and real analytic functions JT Slagel, L White, A Dutle Proceedings of the 10th ACM SIGPLAN International Conference on Certified …, 2021 | 11 | 2021 |
| Coordination logic for repulsive resolution maneuvers A Narkawicz, C Munoz, A Dutle 16th AIAA Aviation Technology, Integration, and Operations Conference, 3156, 2016 | 10 | 2016 |
| A decision procedure for univariate polynomial systems based on root counting and interval subdivision A Narkawicz, C Munoz, A Dutle Journal of formalized reasoning 11 (1), 19, 2018 | 9 | 2018 |
