Using model checking to help discover mode confusions and other automation surprises von Rushby, John

Volltext

Mechanized analysis of Anselm’s modal ontological argument von Rushby, John

Volltext

Reasoning about the Reliability of Diverse Two-Channel Systems in Which One Channel Is "Possibly Perfect" von Littlewood, B., Rushby, J.

Volltext

Trustworthy Self-Integrating Systems von Rushby, John

Volltext

The Versatile Synchronous Observer von Rushby, John

Volltext

Controlling Smart Technology: A Brief Review of Some Ethical Challenges von Murray, John, Rushby, John, Sanchez, Daniel

Volltext

Mechanized Support for Assurance Case Argumentation von Rushby, John

Volltext

Toward a multi-method approach to formalizing human-automation interaction and human-human communications von Bass, E. J., Bolton, M. L., Feigh, K., Griffith, D., Gunter, E., Mansky, W., Rushby, J.

Volltext

Example of a Complementary Use of Model Checking and Human Performance Simulation von Gelman, Gabriel, Feigh, Karen M., Rushby, John

Volltext

Mechanized Analysis of Anselm's Modal Ontological Argument von Rushby, John

Volltext

On Computational Mechanisms for Shared Intentionality, and Speculation on Rationality and Consciousness von Rushby, John

Volltext bestellen

On the Interpretation of Assurance Case Arguments von Rushby, John

Volltext

An operational semantics for Stateflow von Hamon, Grégoire, Rushby, John

Volltext

Runtime Certification von Rushby, John

Volltext

A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument von Rushby, John

Volltext

PVS Embeddings of Propositional and Quantified Modal Logic von Rushby, John

Volltext bestellen

Logic and Epistemology in Safety Cases von Rushby, John

Volltext

Confidence in Assurance 2.0 Cases von Bloomfield, Robin, Rushby, John

Volltext

Assurance of AI Systems From a Dependability Perspective von Bloomfield, Robin, Rushby, John

Volltext bestellen

SAL 2 von DE MOURA, Leonardo, OWRE, Sam, RUESS, Harald, RUSHBY, John, SHANKAR, N, SOREA, Maria, TIWARI, Ashish

Volltext