Misty D. Davies

According to our database, Misty D. Davies authored at least 10 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Human Interfaces and Management of Information (HIMI) Challenges for "In-Time" Aviation Safety Management Systems (IASMS).

Lawrence J. Prinzel, Paul Krois, Kyle K. Ellis, Nikunj C. Oza, Robert W. Mah, Chad L. Stephens, Misty D. Davies, Samantha I. Infeld

Proceedings of the Human Interface and the Management of Information: Applications in Complex Technological Environments, 2022

2017

Real-Time Detection of In-flight Aircraft Damage.

Brenton Blair, Herbert K. H. Lee, Misty D. Davies

J. Classif., 2017

2016

Learning Mitigations for Pilot Issues When Landing Aircraft (via Multiobjective Optimization and Multiagent Simulations).

Joseph Krall, Tim Menzies, Misty D. Davies

IEEE Trans. Hum. Mach. Syst., 2016

2015

GALE: Geometric Active Learning for Search-Based Software Engineering.

Joseph Krall, Tim Menzies, Misty D. Davies

IEEE Trans. Software Eng., 2015

Verifying the Safety of a Flight-Critical System.

Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai

Proceedings of the FM 2015: Formal Methods, 2015

2014

Special Issue on Software Challenges in Aerospace.

Misty D. Davies, Lyle N. Long

J. Aerosp. Inf. Syst., 2014

Learning the Task Management Space of an Aircraft Approach Model.

Joseph Krall, Tim Menzies, Misty D. Davies

Proceedings of the 2014 AAAI Spring Symposia, 2014

2012

Symbolic Execution Enhanced System Testing.

Misty D. Davies, Corina S. Pasareanu, Vishwanath Raman

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation.

Yuning He, Herbert K. H. Lee, Misty D. Davies

Proceedings of the Infotech@Aerospace 2012, 2012

2010

Automatically finding the control variables for complex system behavior.

Gregory Gay, Tim Menzies, Misty D. Davies, Karen Gundy-Burlet

Autom. Softw. Eng., 2010