John M. Rushby
According to our database1, John M. Rushby
authored at least 77 papers
between 1981 and 2014.
Collaborative distances :
Collaborative distances :
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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
An operational semantics for Stateflow.
STTT, 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.
IEEE Computer, 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