John Rushby

35 papers B 2Misc 1Journal 19Unranked 11
YearRankTypeTitle / Venue / Authors
2025 — conf
AI Assurance Needs a Systems Engineering Approach.
ISSREW
Robin Bloomfield, John Rushby
2025 J jnl
Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems.
CoRR
Robin Bloomfield, John Rushby
2024 J jnl
Assurance of AI Systems From a Dependability Perspective.
CoRR
Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP.
Theory Pract. Log. Program.
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP.
CoRR
Anitha Murugesan, Isaac Hong Wong, Joaquín Arias, Robert J. Stroud, Srivatsan Varadarajan, Elmer Salazar, Gopal Gupta, Robin Bloomfield, John Rushby
2024 J jnl
Confidence in Assurance 2.0 Cases.
CoRR
Robin Bloomfield, John Rushby
2024 — ch.
Confidence in Assurance 2.0 Cases.
The Practice of Formal Methods (I)
Robin Bloomfield, John Rushby
2024 J jnl
Defeaters and Eliminative Argumentation in Assurance 2.0.
CoRR
Robin Bloomfield, Kateryna Netkachova, John Rushby
2024 — conf
Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis.
SAFECOMP (Workshops)
Srivatsan Varadarajan, Robin Bloomfield, John Rushby, Gopal Gupta, Anitha Murugesan, Robert J. Stroud, Kateryna Netkachova, Isaac Hong Wong, Joaquín Arias
2024 — conf
Models are Central to AI Assurance.
ISSRE (Workshops)
Robin Bloomfield, John Rushby
2023 J jnl
On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness.
CoRR
John Rushby
2023 — conf
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaquín Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby
2022 J jnl
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument.
CoRR
John Rushby
2022 J jnl
Assessing Confidence with Assurance 2.0.
CoRR
John Rushby, Robin Bloomfield
2022 J jnl
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.
CoRR
Susmit Jha, John Rushby
2022 J jnl
Mechanized Analysis of Anselm's Modal Ontological Argument.
CoRR
John Rushby
2022 J jnl
PVS Embeddings of Propositional and Quantified Modal Logic.
CoRR
John Rushby
2022 J jnl
Technology and Consciousness.
CoRR
John Rushby, Daniel Sanchez
2020 J jnl
Assurance 2.0.
CoRR
Robin Bloomfield, John Rushby
2020 B conf
Model-Centered Assurance for Autonomous Systems.
SAFECOMP
Susmit Jha, John Rushby, Natarajan Shankar
2019 — conf
Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions.
AAAI Spring Symposium: Towards Conscious AI Systems
Susmit Jha, John Rushby
2018 J jnl
A Mechanically Assisted Examination of Begging the Question in Anselm's Ontological Argument.
FLAP
John Rushby
2017 — ch.
Assurance and Assurance Cases.
Dependable Software Systems Engineering
John Rushby
2016 Misc conf
Trustworthy Self-Integrating Systems.
ICDCIT
John Rushby
2015 — conf
On the Interpretation of Assurance Case Arguments.
JSAI-isAI Workshops
John Rushby
2014 J jnl
Evaluating the Assessment of Software Fault-Freeness.
CoRR
John Rushby, Bev Littlewood, Lorenzo Strigini
2014 — conf
The Versatile Synchronous Observer.
Specification, Algebra, and Software
John Rushby
2013 B conf
Logic and Epistemology in Safety Cases.
SAFECOMP
John Rushby
2013 — conf
Mechanized Support for Assurance Case Argumentation.
JSAI-isAI Workshops
John Rushby
2012 J jnl
Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect".
IEEE Trans. Software Eng.
Bev Littlewood, John Rushby
2011 — conf
Composing Safe Systems.
FACS
John Rushby
2011 — conf
On the (f)utility of untrusted data sanitization.
MILCOM
Ashish Gehani, David Hanz, John Rushby, Grit Denker, Rance DeLong
2002 J jnl
Using model checking to help discover mode confusions and other automation surprises.
Reliab. Eng. Syst. Saf.
John Rushby
2000 — conf
Disappearing formal methods.
HASE
John Rushby
1985 J jnl
The enhanced HDM system for specification and verification.
ACM SIGSOFT Softw. Eng. Notes
P. Michael Melliar-Smith, John Rushby