Judith Crow

Models and Mechanized Methods that Integrate Human Factors into Automation Design

Judith Crow, Denis Javaux, John Rushby · 2000 · 52 citations

Engineering, Aerospace Engineering, Systems Engineering +17

Model-based reconfiguration: toward an integration with diagnosis

Judith Crow, John Rushby · 1991 · 48 citations

Engineering, Computer Engineering, Systems Engineering +17

An automated method to detect potential mode confusions

John Rushby, Judith Crow, Everett Palmer · Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) · 2003 · 47 citations

Engineering, Autonomous Systems, Psychology +14

Formalizing space shuttle software requirements

Judith Crow, Ben L. DiVito · ACM Transactions on Software Engineering and Methodology · 1998 · 26 citations · Full text

Engineering, Aerospace Engineering, Computer Science +17

Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit

John Rushby, Judith Crow · 1990 · 12 citations

Computing, Aerospace Engineering, Computer Science +17