| Unmanned aircraft hazards and their implications for regulation KJ Hayhurst, JM Maddalon, PS Miner, MP DeWalt, GF McCormick 2006 IEEE/AIAA 25th Digital Avionics Systems Conference, 1-12, 2006 | 66 | 2006 |
| A unified fault-tolerance protocol P Miner, A Geser, L Pike, J Maddalon International Symposium on Formal Techniques in Real-Time and Fault-Tolerant …, 2004 | 46 | 2004 |
| Preliminary considerations for classifying hazards of unmanned aircraft systems KJ Hayhurst, JM Maddalon, PS Miner, GN Szatkowski, ML Ulrey, ... | 42 | 2007 |
| Capacity and throughput of urban air mobility vertiports with a first-come, first-served vertiport scheduling algorithm NM Guerreiro, GE Hagen, JM Maddalon, RW Butler AIAA Aviation 2020 Forum, 2903, 2020 | 41 | 2020 |
| Abstractions for fault-tolerant distributed system verification L Pike, J Maddalon, P Miner, A Geser Theorem Proving in Higher Order Logics: 17th International Conference …, 2004 | 40 | 2004 |
| Stratway: A modular approach to strategic conflict resolution G Hagen, R Butler, J Maddalon 11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference …, 2011 | 38 | 2011 |
| A case study for assured containment KJ Hayhurst, JM Maddalon, NA Neogi, HA Verstynen 2015 International Conference on Unmanned Aircraft Systems (ICUAS), 260-269, 2015 | 32 | 2015 |
| Mission planner algorithm for urban air mobility–initial performance characterization NM Guerreiro, RW Butler, JM Maddalon, GE Hagen AIAA Aviation 2019 Forum, 3626, 2019 | 24 | 2019 |
| Perspectives on unmanned aircraft classification for civil airworthiness standards JM Maddalon, KJ Hayhurst, DM Koppen, JM Upchurch, AT Morris, ... | 23 | 2013 |
| A criteria standard for conflict resolution: A vision for guaranteeing the safety of self-separation in NextGen C Munoz, R Butler, A Narkawicz, J Maddalon, G Hagen | 17 | 2010 |
| A Review of Current and Prospective Factors for Classification of Civil Unmanned Aircraft Systems KJ Hayhurst, JM Maddalon, AT Morris, N Neogi, HA Verstynen | 14 | 2014 |
| Formal verification of a conflict resolution and recovery algorithm J Maddalon, R Butler, A Geser, C Munoz | 14 | 2004 |
| Formal analysis of air traffic management systems: the case of conflict resolution and recovery Butler, Maddalon, Geser, Munoz Proceedings of the 2003 Winter Simulation Conference, 2003. 1, 906-914 Vol. 1, 2003 | 14 | 2003 |
| A mathematical basis for the safety analysis of conflict prevention algorithms JM Maddalon, RW Butler, CA Muñoz, G Dowek | 12 | 2009 |
| Mock certification basis for an unmanned rotorcraft for precision agricultural spraying KJ Hayhurst, JM Maddalon, NA Neogi, HA Verstynen, B Buelow, ... | 11 | 2015 |
| The Chorus conflict and loss of separation resolution algorithms RW Butler, GE Hagen, JM Maddalon | 11 | 2013 |
| Considerations of unmanned aircraft classification for civil airworthiness standards JM Maddalon, KJ Hayhurst, A Morris, H Verstynen AIAA Infotech@ Aerospace (I@ A) Conference, 5216, 2013 | 9 | 2013 |
| An efficient universal trajectory language GE Hagen, NM Guerreiro, JM Maddalon, RW Butler | 7 | 2017 |
| Safety and certification considerations for expanding the use of UAS in precision agriculture KJ Hayhurst, JM Maddalon, NA Neogi, HA Vertstynen 2016 International Conference on Precision Agriculture (ICPA), 2016 | 7 | 2016 |
| Some impacts of risk-centric certification requirements for UAS NA Neogi, KJ Hayhurst, JM Maddalon, HA Verstynen 2016 International Conference on Unmanned Aircraft Systems (ICUAS), 1003-1012, 2016 | 6 | 2016 |
