Our web server has been ugraded and you can now reference these pages
securely using
https instead of the former http; this should happen
automatically if you come in via an https link.
My ORCID is 0000-0002-6604-9953
And my arXiv public author identifier is http://arxiv.org/a/rushby_j_1
And my Erdos Number is 3.
Links to videos and to slides.
I was honored to receive the IEEE Harlan D Mills Award for 2011 (picture).
And Sam
Owre,
Shankar and I received
the Computer-Aided
Verification (CAV) Award for 2012
(picture)
and also the Skolem
Award in 2021 for
the most
influential paper from CADE-11 that was held in 1992.
According to my
Google
Scholar profile, my H-index is 60.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
If you're looking for slides from other talks, please scan through this
directory listing, ordered by write date
(and note the links at the bottom if you need format conversions)
2016
2015
2011
2010
2023
Semantic Analysis of Assurance Cases Using
s(CASP) by Anitha Murugesan and others, including John Rushby, presented at ICLP 2023
Workshop
on Goal-Directed Execution of Answer Set Programs (GDE), London,
July 2023.
On Computational Mechanisms for
Shared Intentionality and Speculation on Rationality and
Consciousness by John
Rushby, SRI-CSL Tech Report, May 2023.
Also available as
arXiv 2306.13657
2022
, May 2022 and also available as
arXiv 2205.04522
2021
2020
A Mechanically Assisted
Examination of Vacuity and Question Begging in Anselm's Ontological
Argument
by John Rushby.
Appears as Chapter 13 in the book
"Beyond Faith and Rationality: Essays on Logic,
Religion and Philosophy" published by Springer. This updates the version published in
IfCoLog 5(7), 2018 by showing
that all versions of the argument considered entail variants that are
vulnerable to Gaunilo's refutation.
Updated version also available as
arXiv:2205.14071
2019
Technology and
Consciousness by John Rushby and Daniel Sanchez. This is a
report on a series of workshops held in 2017; the report was written
in 2018 and released in 2019, so I'm filing it under 2019. The
30-page introduction is a good overview of consciousness topics.
Also available as
arXiv 2209.03956
2018
A Mechanically Assisted Examination of Begging the Question in
Anselm's Ontological Argument
by
John Rushby.
Journal of Applied Logics, Vol. 5 No. 7, pp. 1473--1496, October 2018
(journal version of the
conference paper from 2017).
Note: this paper is now obsolete and is replaced by
this extended version.
2017
PVS Embeddings of Propositional and Quantified Modal Logic by
John Rushby. SRI-CSL Technical Report, November 2017, minor revision
May 2022.
Also available as arXiv:2205.06391.
Note: this paper is now obsolete and is replaced by
this extended version.
2016
2015
2014
2013
2012
2011
2010
2009
An Application of the MILS Approach to Secure Information Sharing, by
Rance DeLong (LynuxWorks, San Jose CA), David Hanz (SRI) and John
Rushby (SRI). Unpublished, November 2009
2008
Separation and Integration in MILS: The MILS Constitution
, by John Rushby. SRI-CSL Technical Report February 2008.
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
Noninterference, Transitivity, and
Channel-Control Security Policies
by John Rushby, SRI-CSL-92-02, December 1992
Winner of the Skolem
Award in 2021 for the most influential paper of CADE-11.
1991
1989
1988
1986
(I'm slowly getting my old papers online)
1985
The Enhanced HDM System for Specification and Verification by
Michael Melliar-Smith and John Rushby,
presented at
VerkShop III, Watsonville, CA, Feb 1985.
Published as ACM Software Engineering Notes, Vol. 10,
No. 41-43, Aug. 85
1984
1983
A Distributed Secure System, by John Rushby and Brian Randell,
Technical Report 182, Computing Laboratory, University of Newcastle
upon Tyne UK, May 1983 (longer version of the paper above)
1982
1981
Verification of Secure Systems, by John Rushby,
Technical Report 166, Computing Laboratory, University of Newcastle
upon Tyne UK, August 1981
1977
LR(k) Sparse-Parsers and Their Optimization, PhD Thesis,
University of Newcastle upon Tyne.
1974
Videos
Slides
Slides given in association with a published paper are available from
the link to the paper concerned. Below are links to PDFs for a few
recent talks (newest first) that are not associated with a paper.
My lectures for the
Marktoberdorf 2016 Summer School on Dependable Software Systems
Engineering
2009
2008
John Rushby (R u s h b y @ c s l . s r i . c o m)