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.
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. "Assurance of Flight-Critical Software-Intensive Systems." 1st AIAA Complex Aerospace Systems Exchange, 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
Phone: +1 (650) 604-0476
Email: Misty.D.Davies "at" nasa.gov