John Rushby

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 15

Top Topics

General Logic Programs

High Confidence

Abstract Argumentation Frameworks

Semantic Analysis

Top Venues

JSAI-isAI Workshops

Specification, Algebra, and Software

Publications

Robin Bloomfield, John Rushby
Assurance of AI Systems From a Dependability Perspective. CoRR (2024)
Robin Bloomfield, Kateryna Netkachova, John Rushby
Defeaters and Eliminative Argumentation in Assurance 2.0. CoRR (2024)
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
Semantic Analysis of Assurance Cases using s(CASP). ICLP Workshops (2023)
John Rushby
On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness. CoRR (2023)
John Rushby
Mechanized Analysis of Anselm's Modal Ontological Argument. CoRR (2022)
John Rushby
PVS Embeddings of Propositional and Quantified Modal Logic. CoRR (2022)
Susmit Jha, John Rushby
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. CoRR (2022)
John Rushby, Daniel Sanchez
Technology and Consciousness. CoRR (2022)
John Rushby, Robin Bloomfield
Assessing Confidence with Assurance 2.0. CoRR (2022)
John Rushby
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument. CoRR (2022)
Susmit Jha, John Rushby, Natarajan Shankar
Model-Centered Assurance for Autonomous Systems. SAFECOMP (2020)
Robin Bloomfield, John Rushby
Assurance 2.0. CoRR (2020)
Susmit Jha, John Rushby
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions. AAAI Spring Symposium: Towards Conscious AI Systems (2019)
John Rushby
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument. FLAP 5 (7) (2018)
John Rushby
Trustworthy Self-Integrating Systems. ICDCIT (2016)
John Rushby
On the Interpretation of Assurance Case Arguments. JSAI-isAI Workshops (2015)
John Rushby, Bev Littlewood, Lorenzo Strigini
Evaluating the Assessment of Software Fault-Freeness. CoRR (2014)
John Rushby
The Versatile Synchronous Observer. Specification, Algebra, and Software (2014)
John Rushby
Mechanized Support for Assurance Case Argumentation. JSAI-isAI Workshops (2013)
John Rushby
Logic and Epistemology in Safety Cases. SAFECOMP (2013)
Bev Littlewood, John Rushby
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect". IEEE Trans. Software Eng. 38 (5) (2012)
John Rushby
Composing Safe Systems. FACS (2011)
Ashish Gehani, David Hanz, John Rushby, Grit Denker, Rance DeLong
On the (f)utility of untrusted data sanitization. MILCOM (2011)
John Rushby
Using model checking to help discover mode confusions and other automation surprises. Reliab. Eng. Syst. Saf. 75 (2) (2002)
John Rushby
Disappearing formal methods. HASE (2000)
P. Michael Melliar-Smith, John Rushby
The enhanced HDM system for specification and verification. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)