John Rushby
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2013–2026
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAFECOMP | Probabilistic Confidence In Assurance 2.0 Arguments. | Robin Bloomfield, John Rushby |
| 2025 | ISSRE | AI Assurance Needs a Systems Engineering Approach. | Robin Bloomfield, John Rushby |
| 2024 | ISSRE | Models are Central to AI Assurance. | Robin Bloomfield, John Rushby |
| 2024 | SAFECOMP | 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, Joaqun Arias |
| 2023 | ICLP | Semantic Analysis of Assurance Cases using s(CASP). | Anitha Murugesan, Isaac Hong Wong, Robert J. Stroud, Joaqun Arias, Elmer Salazar, Gopal Gupta, Robin Bloomfield, Srivatsan Varadarajan, John Rushby |
| 2020 | SAFECOMP | Model-Centered Assurance for Autonomous Systems. | Susmit Jha, John Rushby, Natarajan Shankar |
| 2016 | ICDCIT | Trustworthy Self-Integrating Systems. | John Rushby |
| 2013 | SAFECOMP | Logic and Epistemology in Safety Cases. | John Rushby |