NASA Logo, National Aeronautics and Space Administration

Misty Davies, Ph.D.


B. Blair, H. K. H. Lee, and M. Davies. “ Real-Time Detection of In-flight Aircraft Damage.” Journal of Classification. In Review.

J.Krall, T. Menzies, and M. Davies. “Learning Mitigations for Pilot Issues when Landing Aircraft (via Multi-Objective Optimization and Multi-agent Simulations).” (THMS-14-06-0238). Special Issue-Systematic Approaches to Human-Machine Interface of the IEEE Transactions on Human-Machine Systems, To Appear.

J.Krall, T. Menzies, and M. Davies. “GALE: Geometric Active Learning for Search-Based Software Engineering.” IEEE Transactions on Software Engineering 41(10). October 2015, pp. 1001-1018. DOI Bookmark:

M. Davies and L. Long. “Special Issue on Software Challenges in Aerospace.” Journal of Aerospace Information Systems 11(10), October 2014, pp 607-609.

G. Gay, T. Menzies, M. Davies, and K. Gundy-Burlet. “Automatically finding the control variables for complex system behavior.” Automated Software Engineering 17(4), December 2010, pp 439-468.


J. Krall, T. Menzies, and M. Davies. “GALE: Geometric Active Learning for Search-Based Software Engineering.” Journal first publication accepted to the European Software Engineering Conference and the Symposium on the Foundations of Software Engineering (ESEC/FSE), Bergamo, Italy, Aug 30-Sep 4, 2015

G. Brat, D. Bushnell, M. Davies, D. Giannakopoulou, F. Howar, and T. Kahsai. “Verifying the Safety of a Flight-Critical System.” International Symposium on Formal Methods FM, Oslo, Norway, June 24-26, 2015

J. Krall, T. Menzies, and M. Davies. “Learning the Task Management Space of an Aircraft Approach Model.” AAAI Symposium on Human-Machine Interaction, Stanford, CA, March 24-26, 2014

Y. He and M. Davies. “Validating an Air Traffic Management Concept of Operation Using Statistical Modeling.” AIAA Modeling and Simulation Technologies Conference, Boston, MA, August 19-22, 2013

Y. He, H.K.H. Lee, and M. Davies. “Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation.” AIAA Infotech@Aerospace Conference, Garden Grove, CA, Jun. 19-21, 2012

M. Davies, C. Pasareanau, and V. Raman. “Symbolic Excecution Enhanced System Testing.” Verified Software: Theories, Tools and Experiments, Philadelphia, PA, Jan. 28-29, 2012 R. Joshi, P. Müller, and A. Podelski (Eds.): VSSTE 2012, LNCS 7152, pp. 294--309. Springer, Heidelberg (2012)

M. Davies, and G. Limes. “Finding System-Level Failures In Flight-Critical Software Systems.” Digital Aviation Systems Conference, Seattle, WA, Oct. 16-20, 2011

M. Davies, G. Limes and K. Gundy-Burlet. “A Hardware Model Validation Tool for Use in Complex Systems.” AIAA Space Conference, Anaheim, CA, Aug. 31-Sep. 2, 2010

M. Davies and K. Gundy-Burlet. “Visualization of Global Sensitivity Analysis Results Based on a Combination of Linearly Dependent and Independent Directions.” AIAA Infotech@Aerospace Conference, Atlanta, GA, Apr. 20, 2010

S. Thompson, M. Davies and K. Gundy-Burlet. “Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems.” AIAA Infotech@Aerospace Conference, Atlanta, GA, Apr. 20, 2010

M. Davies and A. Lew. “Tests of the Affinity Assumption in Phantomlike Elastomer Networks“, in Active Polymers, edited by A. Lendlein, V. Prasad Shastri, K. Gall (Mater. Res. Soc. Symp. Proc. Volume 1190,Warrendale, PA, 2009), 1190-NN11-38.

K. Krishnakumar, K. Gundy-Burlet, M. Aftosmis, M. Nemec, G. Limes and M. Berry (Davies). “Intelligent Control for the BEES Flyer.” AIAA-2004-6274 AIAA 1st Intelligent Systems Technical Conference, Chicago, Illinois, Sep. 20-22, 2004

D. Dasgupta, K. Krishnakumar, D. Wong, and M. Berry (Davies). “Immunity-Based Aircraft Fault Detection System.” AIAA-2004-6277 AIAA 1st Intelligent Systems Technical Conference, Chicago, Illinois, Sep. 20-22,2004

M. Berry (Davies), "Computational Fluid Dynamics Simulations of the Container Express as a Helicopter Slung Load." FEDSM2003-45753 2nd Place Winner for the International Student Paper Competition in the 4th ASME/JSME Joint Fluids Engineering Conference, Honolulu, HI, Summer 2003


M. Davies. “MARGInS: Model-based Analysis of Realizable Goals in Systems.”Safe and Secure Systems and Software Symposium., Dayton, OH, June 10-12, 2014.

Y. He and M. Davies. “Bayesian Statistics for Complex System Safety Analysis.”IEEE Software Technology Conference., San Diego, CA, March 2014.

M. Davies. "Assurance of Flight-Critical Software-Intensive Systems." 1st AIAA Complex Aerospace Systems Exchange, Los Angeles, CA, Sep. 11-13, 2012.

Berry (Davies), M. & Duque, E.P.N. "Experience Running Overflow on a Beowulf Cluster." 6th Overset Composite Grid and Solution Technology Symposium, Ft. Walton Beach, FL, Oct. 8-10 2002


Research Engineer
Intelligent Systems Division
Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035

Phone: +1 (650) 604-0476
Email: Misty.D.Davies "at"

First Gov logo
NASA Logo -