Rachel F. Dudley

According to our database, Rachel F. Dudley authored at least 3 papers between 2012 and 2017.

Collaborative distances:

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

2017

Interaction of Automation Visibility and Information Quality in Flight Deck Information Automation.

Michael C. Dorneich, Rachel F. Dudley, Emmanuel Letsu-Dake, William Rogers, Stephen D. Whitlow, Michael C. Dillard, Erik Nelson

IEEE Trans. Hum. Mach. Syst., 2017

2013

Analysis of the Characteristics of Adaptive Systems.

Michael C. Dorneich, Kellie A. McGrath, Rachel F. Dudley, Max D. Morris

Proceedings of the IEEE International Conference on Systems, 2013

2012

Satellite Rendezvous and Conjunction Avoidance: Case Studies in Verification of Nonlinear Hybrid Systems.

Taylor T. Johnson, Jeremy Green, Sayan Mitra, Rachel F. Dudley, Richard Scott Erwin

Proceedings of the FM 2012: Formal Methods, 2012