Follow
Jeffrey Maddalon
Jeffrey Maddalon
nasa, langley research center
Verified email at nasa.gov
Title
Cited by
Cited by
Year
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
662006
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
462004
Preliminary considerations for classifying hazards of unmanned aircraft systems
KJ Hayhurst, JM Maddalon, PS Miner, GN Szatkowski, ML Ulrey, ...
432007
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
422020
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
402004
Stratway: A modular approach to strategic conflict resolution
G Hagen, R Butler, J Maddalon
11th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference …, 2011
382011
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
322015
Mission planner algorithm for urban air mobility–initial performance characterization
NM Guerreiro, RW Butler, JM Maddalon, GE Hagen
AIAA Aviation 2019 Forum, 3626, 2019
242019
Perspectives on unmanned aircraft classification for civil airworthiness standards
JM Maddalon, KJ Hayhurst, DM Koppen, JM Upchurch, AT Morris, ...
242013
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
172010
A Review of Current and Prospective Factors for Classification of Civil Unmanned Aircraft Systems
KJ Hayhurst, JM Maddalon, AT Morris, N Neogi, HA Verstynen
152014
Formal verification of a conflict resolution and recovery algorithm
J Maddalon, R Butler, A Geser, C Munoz
142004
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
142003
Mock certification basis for an unmanned rotorcraft for precision agricultural spraying
KJ Hayhurst, JM Maddalon, NA Neogi, HA Verstynen, B Buelow, ...
122015
A mathematical basis for the safety analysis of conflict prevention algorithms
JM Maddalon, RW Butler, CA Muņoz, G Dowek
122009
The Chorus conflict and loss of separation resolution algorithms
RW Butler, GE Hagen, JM Maddalon
112013
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
102013
An efficient universal trajectory language
GE Hagen, NM Guerreiro, JM Maddalon, RW Butler
72017
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
72016
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
62022
The system can't perform the operation now. Try again later.
Articles 1–20