A practical tutorial on modified condition/decision coverage KJ Hayhurst DIANE Publishing, 2001 | 301 | 2001 |
A practical tutorial on modified condition KJ Hayhurst, DS Veerhusen, JJ Chilenski, LK Rierson Decision Coverage, 2001 | 158 | 2001 |
SAFEGUARD: An assured safety net technology for UAS ET Dill, SD Young, KJ Hayhurst 2016 IEEE/AIAA 35th digital avionics systems conference (DASC), 1-10, 2016 | 70 | 2016 |
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 | 68 | 2006 |
Verification, validation, and certification challenges for adaptive flight-critical control system software S Jacklin, J Schumann, P Gupta, M Lowry, J Bosworth, E Zavala, ... AIAA Guidance, Navigation, and Control Conference and Exhibit, 5258, 2004 | 66 | 2004 |
Modelling the risks remotely piloted aircraft pose to people on the ground RA Clothier, BP Williams, KJ Hayhurst Safety science 101, 33-47, 2018 | 62 | 2018 |
A practical approach to modified condition/decision coverage KJ Hayhurst, DS Veerhusen 20th DASC. 20th Digital Avionics Systems Conference (Cat. No. 01CH37219) 1 …, 2001 | 62 | 2001 |
Evaluating the effectiveness of independent verification and validation JD Arthur, MK Groner, KJ Hayhurst, CM Holloway Computer 32 (10), 79-83, 1999 | 51 | 1999 |
Preliminary considerations for classifying hazards of unmanned aircraft systems KJ Hayhurst, JM Maddalon, PS Miner, GN Szatkowski, ML Ulrey, ... | 46 | 2007 |
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 | 33 | 2015 |
Challenges in software aspects of aerospace systems KJ Hayhurst, CM Holloway Proceedings 26th Annual NASA Goddard Software Engineering Workshop, 7-13, 2001 | 33 | 2001 |
SAFEGUARD: Progress and test results for a reliable independent on-board safety net for UAS RV Gilabert, ET Dill, KJ Hayhurst, SD Young 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 1-9, 2017 | 30 | 2017 |
Adoption of a Bayesian belief network for the system safety assessment of remotely piloted aircraft systems A Washington, R Clothier, N Neogi, J Silva, K Hayhurst, B Williams Safety science 118, 654-673, 2019 | 24 | 2019 |
Perspectives on unmanned aircraft classification for civil airworthiness standards JM Maddalon, KJ Hayhurst, DM Koppen, JM Upchurch, AT Morris, ... | 24 | 2013 |
Guidance for using formal methods in a certification context D Brown, H Delseny, K Hayhurst, V Wiels Embedded Real Time Software and Systems Conference, 2010 | 24 | 2010 |
A factoring approach for the stochastic shortest path problem KJ Hayhurst, DR Shier Operations research letters 10 (6), 329-334, 1991 | 23 | 1991 |
Streamlining software aspects of certification: Report on the SSAC survey KJ Hayhurst, CA Dorsey, JC Knight, NG Leveson, GF McCormick | 19 | 1999 |
UAS hazard mitigation through assured compliance with conformance criteria ET Dill, KJ Hayhurst, SD Young, AJ Narkawicz 2018 AIAA Information Systems-AIAA Infotech@ Aerospace, 1218, 2018 | 17 | 2018 |
A Review of Current and Prospective Factors for Classification of Civil Unmanned Aircraft Systems KJ Hayhurst, JM Maddalon, AT Morris, N Neogi, HA Verstynen | 15 | 2014 |
Mock certification basis for an unmanned rotorcraft for precision agricultural spraying KJ Hayhurst, JM Maddalon, NA Neogi, HA Verstynen, B Buelow, ... | 12 | 2015 |