We stand with Ukraine

We stand with Ukraine

John Rushby

According to our database¹, John Rushby authored at least 24 papers between 1985 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Semantic Analysis of Assurance Cases using s(CASP).

[BibT_eX]

[DOI]

Anitha Murugesan

,

Isaac Hong Wong

,

Robert J. Stroud

,

,

,

,

Robin Bloomfield

,

Srivatsan Varadarajan

,

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.

[BibT_eX]

[DOI]

,

CoRR, 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Mechanized Analysis of Anselm's Modal Ontological Argument.

[BibT_eX]

[DOI]

CoRR, 2022

PVS Embeddings of Propositional and Quantified Modal Logic.

[BibT_eX]

[DOI]

CoRR, 2022

Assessing Confidence with Assurance 2.0.

[BibT_eX]

[DOI]

,

Robin Bloomfield

CoRR, 2022

2020

Assurance 2.0.

[BibT_eX]

[DOI]

Robin Bloomfield

,

CoRR, 2020

Model-Centered Assurance for Autonomous Systems.

[BibT_eX]

[DOI]

,

,

Natarajan Shankar

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

2019

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

[BibT_eX]

[DOI]

,

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.

[BibT_eX]

[DOI]

FLAP, 2018

2017

Assurance and Assurance Cases.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Systems Engineering, 2017

2016

Trustworthy Self-Integrating Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2016

2015

On the Interpretation of Assurance Case Arguments.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Artificial Intelligence, 2015

2014

Evaluating the Assessment of Software Fault-Freeness.

[BibT_eX]

[DOI]

,

,

Lorenzo Strigini

CoRR, 2014

The Versatile Synchronous Observer.

[BibT_eX]

[DOI]

Proceedings of the Specification, Algebra, and Software, 2014

2013

Logic and Epistemology in Safety Cases.

[BibT_eX]

[DOI]

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

Mechanized Support for Assurance Case Argumentation.

[BibT_eX]

[DOI]

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".

[BibT_eX]

[DOI]

,

IEEE Trans. Software Eng., 2012

2011

On the (f)utility of untrusted data sanitization.

[BibT_eX]

[DOI]

,

,

,

,

Proceedings of the MILCOM 2011, 2011

Composing Safe Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2002

2000

Disappearing formal methods.

[BibT_eX]

[DOI]

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

1985

The enhanced HDM system for specification and verification.

[BibT_eX]

[DOI]

P. Michael Melliar-Smith

,

ACM SIGSOFT Softw. Eng. Notes, 1985

Loading...