Misty D. Davies

12 papers B 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2022 — conf
Human Interfaces and Management of Information (HIMI) Challenges for "In-Time" Aviation Safety Management Systems (IASMS).
HCI (5)
Lawrence J. Prinzel, Paul Krois, Kyle K. Ellis, Nikunj C. Oza, Robert W. Mah, Chad L. Stephens, Misty D. Davies, Samantha I. Infeld
2017 — ed.
NASA Formal Methods - 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings
NFM
Clark W. Barrett, Misty D. Davies, Temesghen Kahsai
2017 J jnl
Real-Time Detection of In-flight Aircraft Damage.
J. Classif.
Brenton Blair, Herbert K. H. Lee, Misty D. Davies
2016 J jnl
Learning Mitigations for Pilot Issues When Landing Aircraft (via Multiobjective Optimization and Multiagent Simulations).
IEEE Trans. Hum. Mach. Syst.
Joseph Krall, Tim Menzies, Misty D. Davies
2015 J jnl
GALE: Geometric Active Learning for Search-Based Software Engineering.
IEEE Trans. Software Eng.
Joseph Krall, Tim Menzies, Misty D. Davies
2015 B conf
Verifying the Safety of a Flight-Critical System.
FM
Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2015 J jnl
Verifying the Safety of a Flight-Critical System.
CoRR
Guillaume Brat, David H. Bushnell, Misty D. Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
2014 — conf
Learning the Task Management Space of an Aircraft Approach Model.
AAAI Spring Symposia
Joseph Krall, Tim Menzies, Misty D. Davies
2014 J jnl
Special Issue on Software Challenges in Aerospace.
J. Aerosp. Inf. Syst.
Misty D. Davies, Lyle N. Long
2012 — conf
Symbolic Execution Enhanced System Testing.
VSTTE
Misty D. Davies, Corina S. Pasareanu, Vishwanath Raman
2012 — conf
Towards Validation of an Adaptive Flight Control Simulation Using Statistical Emulation.
Infotech@Aerospace
Yuning He, Herbert K. H. Lee, Misty D. Davies
2010 J jnl
Automatically finding the control variables for complex system behavior.
Autom. Softw. Eng.
Gregory Gay, Tim Menzies, Misty D. Davies, Karen Gundy-Burlet