Jeffrey Maddalon
Jeffrey Maddalon
nasa, langley research center
Verified email at
Cited by
Cited by
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
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
Preliminary considerations for classifying hazards of unmanned aircraft systems
KJ Hayhurst, JM Maddalon, PS Miner, GN Szatkowski, ML Ulrey, ...
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
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
Stratway: A modular approach to strategic conflict resolution
G Hagen, R Butler, J Maddalon
11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference …, 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
Mission planner algorithm for urban air mobility–initial performance characterization
NM Guerreiro, RW Butler, JM Maddalon, GE Hagen
AIAA Aviation 2019 Forum, 3626, 2019
Perspectives on unmanned aircraft classification for civil airworthiness standards
JM Maddalon, KJ Hayhurst, DM Koppen, JM Upchurch, AT Morris, ...
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
A Review of Current and Prospective Factors for Classification of Civil Unmanned Aircraft Systems
KJ Hayhurst, JM Maddalon, AT Morris, N Neogi, HA Verstynen
Formal verification of a conflict resolution and recovery algorithm
J Maddalon, R Butler, A Geser, C Munoz
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
Mock certification basis for an unmanned rotorcraft for precision agricultural spraying
KJ Hayhurst, JM Maddalon, NA Neogi, HA Verstynen, B Buelow, ...
A mathematical basis for the safety analysis of conflict prevention algorithms
JM Maddalon, RW Butler, CA Muņoz, G Dowek
The Chorus conflict and loss of separation resolution algorithms
RW Butler, GE Hagen, JM Maddalon
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
An efficient universal trajectory language
GE Hagen, NM Guerreiro, JM Maddalon, RW Butler
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
Functional hazard assessment for the eVTOL aircraft supporting urban air mobility (UAM) applications: Exploratory demonstrations
K Wasson, N Neogi, M Graydon, J Maddalon, P Miner, GF McCormick
The system can't perform the operation now. Try again later.
Articles 1–20