John Rushby

According to our database, John Rushby authored at least 30 papers between 1985 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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, Robin Bloomfield, John Rushby

CoRR, 2024

Assurance of AI Systems From a Dependability Perspective.

Robin Bloomfield, John Rushby

CoRR, 2024

Defeaters and Eliminative Argumentation in Assurance 2.0.

Robin Bloomfield, Kateryna Netkachova, John Rushby

CoRR, 2024

Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.

Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Models are Central to AI Assurance.

Robin Bloomfield, John Rushby

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

2023

On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness.

John Rushby

CoRR, 2023

Semantic Analysis of Assurance Cases using s(CASP).

Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2022

Technology and Consciousness.

John Rushby, Daniel Sanchez

CoRR, 2022

A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument.

John Rushby

CoRR, 2022

Mechanized Analysis of Anselm's Modal Ontological Argument.

John Rushby

CoRR, 2022

PVS Embeddings of Propositional and Quantified Modal Logic.

John Rushby

CoRR, 2022

Assessing Confidence with Assurance 2.0.

John Rushby, Robin Bloomfield

CoRR, 2022

2020

Assurance 2.0.

Robin Bloomfield, John Rushby

CoRR, 2020

Model-Centered Assurance for Autonomous Systems.

Susmit Jha, John Rushby, Natarajan Shankar

Proceedings of the Computer Safety, Reliability, and Security, 2020

2019

Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.

Susmit Jha, John Rushby

Proceedings of the Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), 2019

2018

A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument.

John Rushby

FLAP, 2018

2017

Assurance and Assurance Cases.

John Rushby

Proceedings of the Dependable Software Systems Engineering, 2017

2016

Trustworthy Self-Integrating Systems.

John Rushby

Proceedings of the Distributed Computing and Internet Technology, 2016

2015

On the Interpretation of Assurance Case Arguments.

John Rushby

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

Evaluating the Assessment of Software Fault-Freeness.

John Rushby, Bev Littlewood, Lorenzo Strigini

CoRR, 2014

The Versatile Synchronous Observer.

John Rushby

Proceedings of the Specification, Algebra, and Software, 2014

2013

Logic and Epistemology in Safety Cases.

John Rushby

Proceedings of the Computer Safety, Reliability, and Security, 2013

Mechanized Support for Assurance Case Argumentation.

John Rushby

Proceedings of the New Frontiers in Artificial Intelligence, 2013

2012

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

2011

On the (f)utility of untrusted data sanitization.

Ashish Gehani, David Hanz, John Rushby, Grit Denker, Rance DeLong

Proceedings of the MILCOM 2011, 2011

Composing Safe Systems.

John Rushby

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2002

Using model checking to help discover mode confusions and other automation surprises.

John Rushby

Reliab. Eng. Syst. Saf., 2002

2000

Disappearing formal methods.

John Rushby

Proceedings of the 5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 2000

1985

The enhanced HDM system for specification and verification.

P. Michael Melliar-Smith, John Rushby

ACM SIGSOFT Softw. Eng. Notes, 1985