The enhanced HDM system for specification and verification. - P. Michael Melliar-Smith; John Rushby (ACM SIGSOFT Softw. Eng. Notes, 1985)

Disappearing formal methods. - John Rushby (HASE, 2000)

Using model checking to help discover mode confusions and other automation surprises. - John Rushby (Reliab. Eng. Syst. Saf., 2002)

Composing Safe Systems. - John Rushby (FACS, 2011)

On the (f)utility of untrusted data sanitization. - Ashish Gehani; David Hanz; John Rushby; Grit Denker; Rance DeLong (MILCOM, 2011)

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect". - Bev Littlewood; John Rushby (IEEE Trans. Software Eng., 2012)

Mechanized Support for Assurance Case Argumentation. - John Rushby (JSAI-isAI Workshops, 2013)

Logic and Epistemology in Safety Cases. - John Rushby (SAFECOMP, 2013)

The Versatile Synchronous Observer. - John Rushby (Specification, Algebra, and Software, 2014)

Evaluating the Assessment of Software Fault-Freeness. - John Rushby; Bev Littlewood; Lorenzo Strigini (CoRR, 2014)

On the Interpretation of Assurance Case Arguments. - John Rushby (JSAI-isAI Workshops, 2015)

Trustworthy Self-Integrating Systems. - John Rushby (ICDCIT, 2016)

Assurance and Assurance Cases. - John Rushby (Dependable Software Systems Engineering, 2017)

A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. - John Rushby (FLAP, 2018)

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. - Susmit Jha; John Rushby (AAAI Spring Symposium: Towards Conscious AI Systems, 2019)

Model-Centered Assurance for Autonomous Systems. - Susmit Jha; John Rushby; Natarajan Shankar (SAFECOMP, 2020)

Assurance 2.0. - Robin Bloomfield; John Rushby (CoRR, 2020)

Assessing Confidence with Assurance 2.0. - John Rushby; Robin Bloomfield (CoRR, 2022)

PVS Embeddings of Propositional and Quantified Modal Logic. - John Rushby (CoRR, 2022)

Mechanized Analysis of Anselm's Modal Ontological Argument. - John Rushby (CoRR, 2022)

A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument. - John Rushby (CoRR, 2022)

Technology and Consciousness. - John Rushby; Daniel Sanchez (CoRR, 2022)

Semantic Analysis of Assurance Cases using s(CASP). - Anitha Murugesan; Isaac Hong Wong; Robert J. Stroud; Joaquín Arias; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; Srivatsan Varadarajan; John Rushby (ICLP Workshops, 2023)

On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness. - John Rushby (CoRR, 2023)

Models are Central to AI Assurance. - Robin Bloomfield; John Rushby (ISSRE (Workshops), 2024)

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis. - Srivatsan Varadarajan; Robin Bloomfield; John Rushby; Gopal Gupta 001; Anitha Murugesan; Robert J. Stroud; Kateryna Netkachova; Isaac Hong Wong; Joaquín Arias (SAFECOMP (Workshops), 2024)

Defeaters and Eliminative Argumentation in Assurance 2.0. - Robin Bloomfield; Kateryna Netkachova; John Rushby (CoRR, 2024)

Assurance of AI Systems From a Dependability Perspective. - Robin Bloomfield; John Rushby (CoRR, 2024)

Confidence in Assurance 2.0 Cases. - Robin Bloomfield; John Rushby (CoRR, 2024)

Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP. - Anitha Murugesan; Isaac Hong Wong; Joaquín Arias; Robert J. Stroud; Srivatsan Varadarajan; Elmer Salazar; Gopal Gupta 001; Robin Bloomfield; John Rushby (Theory Pract. Log. Program., 2024)

Confidence in Assurance 2.0 Cases. - Robin Bloomfield; John Rushby (The Practice of Formal Methods (I), 2024)

Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems. - Robin Bloomfield; John Rushby (CoRR, 2025)