Concepedia

John Rushby

JR

65

Publications

4.4K

Citations

35

H-Index

1981

Active since

Affiliations

SRI International(Current)

Universität Ulm

Georgia Institute of Technology

John Rushby is an author at SRI International specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationSystems EngineeringFormal MethodsAutomated ReasoningSoftware AnalysisComputer EngineeringSoftware Testing

Publications per year

1981–2020

65

Publications

65

Formal verification for fault-tolerant architectures: prolegomena to the design of PVS

Sam Owre, John Rushby, Natarajan Shankar et al. · IEEE Transactions on Software Engineering · 1995 · 493 citations

Engineering, Verification, Fault-tolerant Architectures +23

Design and verification of secure systems

John Rushby · ACM SIGOPS Operating Systems Review · 1981 · 369 citations

Engineering, Information Security, Verification +19

Noninterference, Transitivity, and Channel-Control Security Policies 1

John Rushby · 2005 · 293 citations

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

John Rushby · Reliability Engineering & System Safety · 2002 · 224 citations

Engineering, Other Automation Surprises, Formal Modeling +13

A Tutorial Introduction to PVS

Judy Crow, Sam Owre, John Rushby et al. · 1998 · 215 citations

Electrical Engineering, Engineering, Physics +10

Rows per page

1–5 of 65