| Negative selection algorithm for aircraft fault detection D Dasgupta, K KrishnaKumar, D Wong, M Berry International Conference on Artificial Immune Systems, 1-13, 2004 | 260 | 2004 |
| TESS Discovery of an Ultra-short-period Planet around the Nearby M Dwarf LHS 3844 R Vanderspek, CX Huang, A Vanderburg, GR Ricker, DW Latham, ... The Astrophysical Journal Letters 871 (2), L24, 2019 | 122 | 2019 |
| Corrigendum to" Sources of N-3 polyunsaturated fatty acids additional to fish oil for livestock diets-a review". DI Givens, BR Cottrill, M Davies, PA Lee, RJ Mansbridge, AR Moss Nutrition Abstracts and Reviews. Series B. Livestock Feeds and Feeding 70 (8 …, 2000 | 112 | 2000 |
| Two New HATNet Hot Jupiters around A Stars and the First Glimpse at the Occurrence Rate of Hot Jupiters from TESS∗ G Zhou, CX Huang, GÁ Bakos, JD Hartman, DW Latham, SN Quinn, ... The Astronomical Journal 158 (4), 141, 2019 | 60 | 2019 |
| Gale: Geometric active learning for search-based software engineering J Krall, T Menzies, M Davies IEEE Transactions on Software Engineering 41 (10), 1001-1018, 2015 | 45 | 2015 |
| Automatically finding the control variables for complex system behavior G Gay, T Menzies, M Davies, K Gundy-Burlet Automated Software Engineering 17 (4), 439-468, 2010 | 44 | 2010 |
| TESS Hunt for Young and Maturing Exoplanets (THYME): a planet in the 45 Myr Tucana–Horologium association ER Newton, AW Mann, BM Tofflemire, L Pearce, AC Rizzuto, ... The Astrophysical Journal Letters 880 (1), L17, 2019 | 41 | 2019 |
| The Transiting Multi-planet System HD15337: Two Nearly Equal-mass Planets Straddling the Radius Gap D Gandolfi, L Fossati, JH Livingston, KG Stassun, S Grziwa, O Barragan, ... The Astrophysical Journal Letters 876 (2), L24, 2019 | 41 | 2019 |
| Verifying the safety of a flight-critical system G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai International Symposium on Formal Methods, 308-324, 2015 | 38 | 2015 |
| Hot, rocky and warm, puffy super-Earths orbiting TOI-402 (HD 15337) X Dumusque, O Turner, C Dorn, JD Eastman, R Allart, V Adibekyan, ... Astronomy & Astrophysics 627, A43, 2019 | 32 | 2019 |
| HD 2685 b: a hot Jupiter orbiting an early F-type star detected by TESS MI Jones, R Brahm, N Espinoza, S Wang, A Shporer, T Henning, A Jordán, ... Astronomy & Astrophysics 625, A16, 2019 | 32 | 2019 |
| A hot terrestrial planet orbiting the bright M dwarf L 168-9 unveiled by TESS N Astudillo-Defru, R Cloutier, SX Wang, J Teske, R Brahm, C Hellier, ... Astronomy & Astrophysics 636, A58, 2020 | 30 | 2020 |
| Immunity-based aircraft fault detection system D Dasgupta, K Krishnakumar, D Wong, M Berry AIAA 1st Intelligent Systems Technical Conference, 6277, 2004 | 20 | 2004 |
| A Concept of Operations (ConOps) of an In-time Aviation Safety Management System (IASMS) for Advanced Air Mobility (AAM) KK Ellis, P Krois, J Koelling, LJ Prinzel, M Davies, R Mah AIAA Scitech 2021 Forum, 1978, 2021 | 13 | 2021 |
| In-time System-wide Safety Assurance (ISSA) Concept of Operations and Design Considerations for Urban Air Mobility (UAM) K Ellis, J Koelling, M Davies, P Krois | 10 | 2020 |
| A Simulated Data Set for the Transiting Exoplanet Survey Satellite JM Jenkins, P Tenenbaum, DA Caldwell, M Davies, J Li, RL Morris, ... Research Notes of the AAS 2 (1), 47, 2018 | 9 | 2018 |
| Learning the Task Management Space of an Aircraft Approach Model J Krall, T Menzies, M Davies 2014 AAAI Spring Symposium on Formal Verification and Modeling in Human …, 2014 | 8 | 2014 |
| Symbolic execution enhanced system testing M Davies, CS Păsăreanu, V Raman International Conference on Verified Software: Tools, Theories, Experiments …, 2012 | 8 | 2012 |
| Defining Services, Functions, and Capabilities for an Advanced Air Mobility (AAM) In-time Aviation Safety Management System (IASMS) KK Ellis, P Krois, JH Koelling, LJ Prinzel, MD Davies, RW Mah AIAA AVIATION 2021 FORUM, 2396, 2021 | 6 | 2021 |
| RACE: building airspace simulations faster and better with actors P Mehlitz, N Shafiei, O Tkachuk, M Davies 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-9, 2016 | 6 | 2016 |
Joe KrallWest Virginia UniversityVerified email at mix.wvu.edu
