SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

John Rushby · Study

Home/Author

John Rushby

3 works· latest 2003· 1 institutionscluster: provisionalORCID 0000-0002-6604-9953

h-index3

i103

Citations326

Works here3

00

02

03

Most cited in this library

Using model checking to help discover mode confusions and other automation surprises2002 · 227 citations
Models and Mechanized Methods that Integrate Human Factors into Automation Design2000 · 52 citations
An automated method to detect potential mode confusions2003 · 47 citations

Works

3 shown

An automated method to detect potential mode confusions

IEEE/AIAA Digital Avionics Systems Conference (DASC)·2003·3 authors·other

47citations

Using model checking to help discover mode confusions and other automation surprises

Reliability Engineering & System Safety·2002·1 author

227citations

Models and Mechanized Methods that Integrate Human Factors into Automation Design

·2000·3 authors

52citations