SRI International Computer Science Laboratory


Recent Papers by John Rushby

Fast Links: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1993 | 1992 | 1991 | 1989 | 1988 | 1986 | 1985 | 1984 | 1983 | 1982 | 1981 |  *NEW* 1977 | 1974 | Problems viewing these papers?

Links to videos and to slides.

I received the IEEE Harlan D Mills Award for 2011.

Together with Sam Owre and Shankar, I received the CAV Award for 2012.

 *NEW* Google says my H-index just went to 50.

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.


The links below give access to abstracts and BibTeX entries for my papers and to pdf, postscript, or dvi copies of the papers themselves. Note: not all papers are available in all formats. Links to missing papers will be added when the final versions are available (if copyright restrictions allow)

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

1992

1991

1989

1988

1986  *NEW*

(I'm slowly getting my old papers online)

1985

1984

1983

1982

1981

1977

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.

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

 *NEW* My lectures for the Marktoberdorf 2016 Summer School on Dependable Software Systems Engineering

2015

2011

2010

2009

2008

2007

Return to my home page.

John Rushby (R u s h b y @ c s l . s r i . c o m)