# John M. Rushby

According to our database

Collaborative distances:

^{1}, John M. Rushby authored at least 75 papers between 1981 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Example of a Complementary Use of Model Checking and Human Performance Simulation.

IEEE Trans. Human-Machine Systems, 2014

Safety envelope for security.

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

2013

Example of a Complementary Use of Model Checking and Agent-Based Simulation.

Proceedings of the IEEE International Conference on Systems, 2013

2012

The Versatile Synchronous Observer.

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Formal Modeling and Analysis for Interactive Hybrid Systems.

ECEASST, 2011

Toward a multi-method approach to formalizing human-automation interaction and human-human communications.

Proceedings of the IEEE International Conference on Systems, 2011

New challenges in certification for aircraft software.

Proceedings of the 11th International Conference on Embedded Software, 2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

From DSS to MILS - (Extended Abstract).

Proceedings of the Dependable and Historic Computing, 2011

2010

Formalism in Safety Cases.

Proceedings of the Making Systems Safer, 2010

2009

Software Verification and System Assurance.

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

2008

Runtime Certification.

Proceedings of the Runtime Verification, 8th International Workshop, 2008

2007

Automated Formal Methods Enter the Mainstream.

J. UCS, 2007

What Use is Verified Software?

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Just-in-Time Certification.

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

Distributed Secure Systems: Then and Now.

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

PVS.

Proceedings of the Seventeen Provers of the World, Foreword by Dana S. Scott, 2006

Tutorial: Automated Formal Methods with PVS, SAL, and Yices.

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Harnessing Disruptive Innovation in Formal Verification.

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Hybrid Systems - And Everything Else.

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

2005

Automated Test Generation and Verified Software.

Proceedings of the Verified Software: Theories, 2005

An Evidential Tool Bus.

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Generating Efficient Test Sets with a Model Checker.

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Operational Semantics for Stateflow.

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation.

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

SAL 2.

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

The ICS Decision Procedures for Embedded Deduction.

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

Invisible formal methods for embedded control systems.

Proceedings of the IEEE, 2003

2002

Formally Verified Byzantine Agreement in Presence of Link Faults.

ICDCS, 2002

An Overview of Formal Verification for the Time-Triggered Architecture.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001

Analyzing Cockpit Interfaces Using Formal Methods.

Electr. Notes Theor. Comput. Sci., 2001

Modeling the Human in Human Factors.

Proceedings of the Computer Safety, 2001

Bus Architectures for Safety-Critical Embedded Systems.

Proceedings of the Embedded Software, First International Workshop, 2001

2000

Theorem Proving for Verification.

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

From Refutation to Verification.

Proceedings of the Formal Techniques for Distributed System Development, 2000

Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification.

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms.

IEEE Trans. Software Eng., 1999

A case-study in component-based mechanical verification of fault-tolerant programs.

Proceedings of the 1999 ICDCS Workshop on Self-stabilizing Systems, 1999

Integrated Formal Verification: Using Model Checking with Automated Abstraction, Invariant Generation, and Theorem Proving.

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

Mechanized Formal Methods: Where Next?

Proceedings of the FM'99 - Formal Methods, 1999

Structural Embeddings: Mechanization with Method.

Proceedings of the FM'99 - Formal Methods, 1999

1998

Subtypes for Specifications: Predicate Subtyping in PVS.

IEEE Trans. Software Eng., 1998

Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification.

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

PVS: An Experience Report.

Proceedings of the Applied Formal Methods, 1998

1997

Low-Overhead Time-Triggered Group Membership.

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

Integration in PVS: Tables, Types, and Model Checking.

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Calculating with Requirements.

Proceedings of the 3rd IEEE International Symposium on Requirements Engineering (RE'97), 1997

Systematic Formal Verification of Interpreters.

Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997

Subtypes for Specifications.

Proceedings of the Software Engineering, 1997

1996

Enhancing the Utility of Formal Methods.

ACM Comput. Surv., 1996

An Invitation to Formal Methods.

IEEE Computer, 1996

Reconfiguration and Transient Recovery in State Machine Architectures.

Proceedings of the Digest of Papers: FTCS-26, 1996

Mechanized Formal Methods: Progress and Prospects.

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

Automated Deduction and Formal Methods.

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

PVS: Combining Specification, Proof Checking, and Model Checking.

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.

IEEE Trans. Software Eng., 1995

Mechanizing Formal Methods: Opportunities and Challenges.

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

The Future of Formal Methods in Industry.

Proceedings of the ZUM '95: The Z Formal Specification Notation, 1995

1994

A Tutorial on Using PVS for Hardware Verification.

Proceedings of the Theorem Provers in Circuit Design, 1994

A Formally Verifiable Algorithm for Clock Synchronization under a Hybrid Fault Model.

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

The PVS Verification System and PC/DC.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

Formal Verification of Algorithms for Critical Systems.

IEEE Trans. Software Eng., 1993

Using PVS to Prove Some Theorems Of David Parnas.

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.

Proceedings of the Digest of Papers: FTCS-23, 1993

Limits in Dependability (Panel).

Proceedings of the Digest of Papers: FTCS-23, 1993

Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.

Proceedings of the FME '93: Industrial-Strength Formal Methods, 1993

The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems.

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1992

PVS: A Prototype Verification System.

Proceedings of the Automated Deduction, 1992

1991

Design Choices in Specification Languages and Verification Systems.

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991

From formal verification to silicon compilation.

Proceedings of the Compcon Spring '91, San Francisco, 1991

Model-Based Reconfiguration: Toward an Integration with Diagnosis.

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1983

A Distributed Secure System.

Proceedings of the 1983 IEEE Symposium on Security and Privacy, 1983

1982

Proof of separability: A verification technique for a class of a security kernels.

Proceedings of the International Symposium on Programming, 1982

1981

Design and Verification of Secure Systems.

Proceedings of the Eighth Symposium on Operating System Principles, 1981