Misty Davies
Misty Davies
NASA Ames Research Center
Verified email at - Homepage
Cited by
Cited by
Negative selection algorithm for aircraft fault detection
D Dasgupta, K KrishnaKumar, D Wong, M Berry
Artificial Immune Systems: Third International Conference, ICARIS 2004 …, 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
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
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
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
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
Automatically finding the control variables for complex system behavior
G Gay, T Menzies, M Davies, K Gundy-Burlet
Automated Software Engineering 17, 439-468, 2010
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
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
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
Verifying the safety of a flight-critical system
G Brat, D Bushnell, M Davies, D Giannakopoulou, F Howar, T Kahsai
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
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
Immunity-based aircraft fault detection system
D Dasgupta, K Krishnakumar, D Wong, M Berry
AIAA 1st Intelligent Systems Technical Conference, 6277, 2004
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
SMARt-STEReO: Preliminary concept of operations
HS Walsh, E Spirakis, SR Andrade, DE Hulse, MD Davies
Symbolic execution enhanced system testing
M Davies, CS Păsăreanu, V Raman
Verified Software: Theories, Tools, Experiments: 4th International …, 2012
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
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
Augmenting topic finding in the NASA aviation safety reporting system using topic modeling
C Paradis, R Kazman, M Davies, B Hooey
AIAA scitech 2021 forum, 1981, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–20