K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
John Rushby
also known as J. M. Rushby, J. Rushby, J.M. Rushby
SRI International · Menlo School · Georgia Institute of Technology · Radboud University Nijmegen
About this author
Works
184
Cited by
7,656
h-index
42
i10
101
ORCID ↗
Top papers
PVS: A prototype verification system
Sam Owre, John Rushby, N. Shankar
·
1992
·
Lecture notes in computer science
↗ 1,402
Formal verification for fault-tolerant architectures: prolegomena to the design of PVS
Sam Owre, John Rushby, Natarajan Shankar, et al.
·
1995
·
IEEE Transactions on Software Engineering
↗ 494
PVS: Combining specification, proof checking, and model checking
Sam Owre, S. Rajan, John Rushby, et al.
·
1996
·
Lecture notes in computer science
↗ 415
Design and verification of secure systems
John Rushby
·
1981
·
ACM SIGOPS Operating Systems Review
↗ 372
Noninterference, Transitivity, and Channel-Control Security Policies 1
John Rushby
·
2005
↗ 294
Using model checking to help discover mode confusions and other automation surprises
John Rushby
·
2002
·
Reliability Engineering & System Safety
↗ 225
A Tutorial Introduction to PVS
Judy Crow, Sam Owre, John Rushby, et al.
·
1998
↗ 216
An Overview of SAL
Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, et al.
·
2000
·
Formal Methods
↗ 167
Critical system properties: survey and taxonomy
John Rushby
·
1994
·
Reliability Engineering & System Safety
↗ 159
SAL 2
Leonardo de Moura, Sam Owre, Harald Rueß, et al.
·
2004
·
Lecture notes in computer science
↗ 142
OA
Subtypes for specifications: predicate subtyping in PVS
John Rushby, Sam Owre, Natarajan Shankar
·
1998
·
IEEE Transactions on Software Engineering
↗ 139
A Comparison of Bus Architectures for Safety-Critical Embedded Systems
John Rushby
·
2003
↗ 137
Books
Introduction to Educational Computing
2019
·
Taylor & Francis Group
Formal methods and their role in digital systems validation for airborne systems
1995
·
Available from the National Technical Information Service
Evaluation of an expert system for fault detection, isolation, and recovery in the manned maneuvering unit
1990
·
National Aeronautics and Space Administration, Langley Research Center
Formal verification of an oral messages algorithm for interactive consistency
1992
·
National Aeronautics and Space Administration, Langley Research Center
Specifying real-time systems with interval logic
1988
·
National Technical Information Service, distributor
Dependable computing for critical applications 7
1999
·
Institute of Electrical & Electronics Enginee
Formal methods and digital systems validation for airborne systems
1993
·
National Aeronautics and Space Administration, Scientific and Technical Information Program