John Rushby

Identifiers

• name variant John Rushby 0.60 · backfill

Papers (13)

1. Where AI Assurance Might Go Wrong: Initial lessons from engineering of critical systems cs.CY · 2025 · author #2
2. Confidence in Assurance 2.0 Cases cs.SE · 2024 · author #2
3. Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP cs.LO · 2024 · author #9
4. Assurance of AI Systems From a Dependability Perspective cs.AI · 2024 · author #2
5. Defeaters and Eliminative Argumentation in Assurance 2.0 cs.AI · 2024 · author #3
6. On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness cs.AI · 2023 · author #1
7. Technology and Consciousness q-bio.NC · 2022 · author #1
8. Inferring and Conveying Intentionality: Beyond Numerical Rewards to Logical Intentions cs.AI · 2022 · author #2
9. A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument cs.LO · 2022 · author #1
10. Mechanized Analysis of Anselm's Modal Ontological Argument cs.LO · 2022 · author #1
11. PVS Embeddings of Propositional and Quantified Modal Logic cs.LO · 2022 · author #1
12. Assessing Confidence with Assurance 2.0 cs.AI · 2022 · author #2
13. Evaluating the Assessment of Software Fault-Freeness cs.SE · 2014 · author #1

Mentions

• 2409.10665 #2 · arxiv_oai · confidence 0.70 John Rushby
• 2407.13948 #2 · arxiv_oai · confidence 0.70 John Rushby
• 2502.03467 #2 · arxiv_oai · confidence 0.70 John Rushby
• 2408.11699 #9 · arxiv_oai · confidence 0.70 John Rushby
• 2205.08628 #1 · arxiv_oai · confidence 0.70 John Rushby
• 2405.15800 #3 · arxiv_oai · confidence 0.70 John Rushby
• 2205.04522 #2 · arxiv_oai · confidence 0.70 John Rushby
• 2306.13657 #1 · arxiv_oai · confidence 0.70 John Rushby
• 2209.03956 #1 · arxiv_oai · confidence 0.70 John Rushby
• 2207.05058 #2 · arxiv_oai · confidence 0.70 John Rushby
• 2205.14071 #1 · arxiv_oai · confidence 0.70 John Rushby
• 2205.06391 #1 · arxiv_oai · confidence 0.70 John Rushby
• 1404.6844 #1 · arxiv_oai · confidence 0.70 John Rushby
• 1404.6844 #1 · backfill · confidence 0.70 John Rushby

Frequent Coauthors

• Robin Bloomfield 6 shared papers
• Anitha Murugesan 1 shared papers
• Bev Littlewood 1 shared papers
• Daniel Sanchez 1 shared papers
• Elmer Salazar 1 shared papers
• Gopal Gupta 1 shared papers
• Isaac Wong 1 shared papers
• Joaqu\'in Arias 1 shared papers
• Kate Netkachova 1 shared papers
• Lorenzo Strigini 1 shared papers
• Robert Stroud 1 shared papers
• Srivatsan Varadarajan 1 shared papers
• Susmit Jha 1 shared papers