Index of /users/rushby/papers

      Name                       Last modified       Size  Description

[DIR] Parent Directory 14-Nov-2012 16:49 - [   ] 1oo2-final-2col.pdf 01-Oct-2012 11:47 428k [TXT] emsoft11.mobi 21-Jul-2012 10:39 42k [TXT] emsoft11.epub 21-Jul-2012 10:39 122k [TXT] emsoft11.html 20-Jul-2012 09:47 74k [   ] ftcs93.pdf 15-May-2012 17:45 313k [   ] emsoft11.pdf 15-May-2012 16:36 227k [   ] facs11.pdf 16-Feb-2012 10:58 233k [   ] dasc11.pdf 27-Oct-2011 14:45 284k [   ] fmis11.pdf 21-Sep-2011 05:29 200k [   ] festschrift-randell11.pdf 16-Aug-2011 17:59 150k [   ] USpatent7865339.pdf 24-Jun-2011 15:16 205k [   ] ress02.pdf 23-Mar-2011 11:52 154k [   ] 1oo2-revised-04dec10.pdf 13-Feb-2011 11:57 249k [   ] tse99.ps.gz 19-Oct-2010 10:33 319k [   ] tse99.pdf 19-Oct-2010 10:33 325k [   ] tse93.pdf 14-Oct-2010 16:00 297k [   ] tse93.ps.gz 14-Oct-2010 16:00 283k [   ] sss10.pdf 11-Feb-2010 01:01 155k [   ] csl-09-02.pdf 12-Jan-2010 14:46 288k [   ] sefm09.ps.gz 09-Dec-2009 17:50 64k [   ] sefm09.pdf 09-Dec-2009 17:50 82k [   ] aiaa09.ps.gz 31-Oct-2009 14:51 194k [   ] aiaa09.pdf 31-Oct-2009 14:51 234k [   ] combined95.pdf 12-Aug-2009 13:41 257k [   ] dasc08.pdf 06-May-2009 03:47 1.8M [   ] rv08.ps.gz 03-Apr-2009 11:48 136k [   ] rv08.pdf 03-Apr-2009 11:47 192k [   ] gnc08-verification.pdf 11-Aug-2008 15:07 200k [   ] gnc08-unexpected.pdf 11-Aug-2008 15:07 170k [   ] csi07.pdf 22-Jan-2008 08:13 50k [   ] csi07.ps.gz 22-Jan-2008 08:12 41k [   ] sttt07.pdf 30-Oct-2007 09:32 230k [   ] blp86.pdf 28-Oct-2007 10:38 166k [   ] ncsc84-tcb.pdf 27-Oct-2007 17:36 122k [   ] ncsc84-model.pdf 27-Oct-2007 17:36 122k [   ] ncsc-ns85.pdf 27-Oct-2007 16:38 92k [   ] DSS-Then-Now.pdf 05-Oct-2007 08:29 970k [   ] vstte07.ps.gz 26-Jul-2007 13:32 111k [   ] vstte07.pdf 26-Jul-2007 13:17 152k [   ] vsi07.ps.gz 24-Jul-2007 11:41 49k [   ] vsi07.pdf 24-Jul-2007 11:41 62k [   ] iceccs07.ps.gz 24-Jul-2007 10:59 66k [   ] iceccs07.pdf 24-Jul-2007 10:59 84k [   ] jitc07.pdf 08-Feb-2007 11:34 97k [   ] sefm06.pdf 17-Oct-2006 15:00 94k [   ] sefm06.ps.gz 17-Oct-2006 14:59 61k [   ] csl-93-1.ps.gz 27-Jun-2006 14:34 260k [   ] csl-93-1.pdf 27-Jun-2006 14:34 389k [   ] rushby-randell-sp83.pdf 26-Jun-2006 18:22 932k [   ] jmr-thesis-pp151-153.pdf 22-Jun-2006 10:54 117k [   ] jmr-thesis-intro.pdf 22-Jun-2006 10:54 154k [   ] fm89.ps.gz 21-Jun-2006 17:00 80k [   ] fm89.pdf 21-Jun-2006 16:58 92k [   ] skfsp.pdf 16-Jun-2006 12:11 75k [   ] erts06.ps.gz 06-Jan-2006 14:08 38k [   ] erts06.pdf 06-Jan-2006 14:04 54k [   ] vstte05-jmr.ps.gz 27-Oct-2005 14:47 102k [   ] vstte05.ps.gz 27-Oct-2005 14:46 107k [   ] sfsem-sttt.pdf 26-Oct-2005 02:36 229k [   ] cav00.ps.gz 25-Oct-2005 10:09 80k [   ] NAS1-00079-final.pdf 22-Sep-2005 19:59 534k [   ] icfem05.ps.gz 20-Sep-2005 10:31 105k [   ] icfem05.pdf 20-Sep-2005 10:30 137k [   ] isp82.ps.gz 22-Aug-2005 17:35 870k [   ] steiner-etal-dsn04.pdf 30-Jun-2005 14:33 218k [   ] om1.pdf 29-Jun-2005 15:47 110k [   ] om1.ps.gz 29-Jun-2005 15:46 77k [   ] needham03.pdf 08-Jun-2005 13:35 138k [   ] needham03.ps.gz 08-Jun-2005 13:34 124k [   ] csl-93-7.ps.gz 07-Apr-2005 11:06 756k [   ] sefm04.ps.gz 24-Feb-2005 18:12 67k [   ] sefm04.pdf 24-Feb-2005 18:12 105k [   ] salatg.ps.gz 24-Feb-2005 11:03 152k [   ] salatg.pdf 24-Feb-2005 11:03 234k [TXT] isp82.txt 15-Dec-2004 09:48 45k [   ] isp82.pdf 14-Dec-2004 16:57 849k [   ] roadmap03.ps.gz 22-Oct-2004 15:37 163k [   ] roadmap03.pdf 22-Oct-2004 15:37 221k [   ] sal-cav04.pdf 20-Aug-2004 11:47 118k [   ] sal-cav04.ps.gz 20-Aug-2004 11:47 99k [   ] wsss99.pdf 19-Aug-2004 17:02 167k [   ] testgen.pdf 12-Jul-2004 11:11 155k [   ] testgen.ps.gz 12-Jul-2004 11:11 106k [   ] ics-ijcar04.ps.gz 07-Jun-2004 08:49 45k [   ] ics-ijcar04.pdf 07-Jun-2004 08:49 122k [   ] sss86.ps.gz 25-May-2004 15:41 25k [   ] sss86.pdf 25-May-2004 15:40 49k [   ] sosp81.pdf 25-May-2004 15:32 76k [   ] sosp81.ps.gz 25-May-2004 15:19 71k [   ] csl-93-7.pdf 19-May-2004 12:31 2.0M [   ] fase04.pdf 06-May-2004 11:47 209k [   ] fase04.ps.gz 06-May-2004 11:46 173k [   ] sal-tool.ps.gz 25-Mar-2004 15:33 85k [   ] sal-tool.pdf 25-Mar-2004 15:31 103k [   ] startup.pdf 22-Mar-2004 10:20 134k [   ] computer83.pdf 29-Jan-2004 16:59 3.3M [   ] benchmark.pdf 29-Jan-2004 08:36 393k [   ] startup-verification.ps.gz 25-Jan-2004 13:28 140k [   ] startup-verification.pdf 25-Jan-2004 13:27 166k [   ] isss03.ps 16-Oct-2003 18:26 132k [   ] isss03.pdf 16-Oct-2003 18:26 63k [   ] hcss03.ps.gz 22-Jul-2003 09:53 48k [   ] hcss03.pdf 22-Jul-2003 09:52 65k [   ] sehas03.ps.gz 05-May-2003 10:12 12k [   ] sehas03.pdf 05-May-2003 10:12 20k [   ] procieee03.ps.gz 24-Apr-2003 10:08 69k [   ] procieee03.pdf 24-Apr-2003 10:08 186k [   ] attach.pdf 23-Apr-2003 15:48 514k [   ] attach.ps.gz 19-Apr-2003 14:24 207k [   ] startup.ps.gz 12-Mar-2003 10:09 70k [   ] ftrtft02.ps.gz 21-Nov-2002 10:51 56k [   ] ftrtft02.pdf 21-Nov-2002 10:02 192k [   ] pvs-interfaces.ps.gz 22-Aug-2002 16:32 180k [   ] 4slot.ps.gz 03-Jul-2002 08:31 67k [   ] 4slot.pdf 03-Jul-2002 08:31 136k [   ] modcert.ps.gz 02-Jul-2002 18:01 53k [   ] modcert.pdf 02-Jul-2002 17:59 100k [   ] windowtiming.ps.gz 02-Jul-2002 17:43 58k [   ] mcmillan.ps.gz 02-Jul-2002 17:39 48k [   ] mcmillan.pdf 02-Jul-2002 17:39 100k [   ] sensors.ps.gz 02-Jul-2002 16:16 61k [   ] sensors.pdf 02-Jul-2002 16:15 139k [   ] buscompare.ps.gz 25-Jun-2002 14:24 120k [   ] buscompare.pdf 25-Jun-2002 14:24 292k [   ] windowtiming.pdf 06-Jun-2002 10:49 90k [   ] windowtiming.ps 06-Jun-2002 10:47 236k [   ] ress02.ps.gz 28-Mar-2002 09:34 49k [   ] tse95.ps.gz 23-Jan-2002 21:08 137k [   ] emsoft01.pdf 12-Oct-2001 13:44 120k [   ] emsoft01.ps.gz 12-Oct-2001 13:43 45k [   ] safecomp01.pdf 12-Oct-2001 13:40 51k [   ] safecomp01.ps.gz 12-Oct-2001 13:39 18k [   ] linkfaults.ps.gz 17-Sep-2001 09:54 74k [   ] sreis01.pdf 03-Aug-2001 17:54 53k [   ] sreis01.ps.gz 03-Aug-2001 17:54 21k [   ] tahoe01.pdf 31-Jul-2001 18:16 87k [   ] hol91.ps.gz 29-May-2001 11:11 73k [   ] fm-elsewhere00.ps.gz 21-May-2001 15:57 36k [   ] fm-elsewhere00.pdf 21-May-2001 15:57 113k [   ] hci-aero00.pdf 22-Nov-2000 13:36 116k [   ] hci-aero00.doc 22-Nov-2000 13:35 123k [   ] forte-pstv2000.ps.gz 22-Nov-2000 11:31 16k [   ] hase00.ps.gz 22-Nov-2000 11:29 12k [   ] ress00.pdf 29-Oct-2000 09:04 75k [TXT] cav00.dmp 12-Sep-2000 15:53 107k [   ] movep2k.ps.gz 14-May-2000 19:19 42k [CMP] movep2k.dvi.Z 14-May-2000 19:19 31k [   ] movep2k.ps 11-May-2000 17:08 107k [   ] dasc99.pdf 21-Apr-2000 16:15 65k [   ] dasc99.ps.gz 21-Apr-2000 16:14 36k [   ] dasc99.doc 21-Apr-2000 15:05 63k [   ] faaversion.pdf 01-Feb-2000 19:43 254k [   ] fm99.ps.gz 05-Nov-1999 15:07 38k [CMP] fm99.dvi.Z 13-Oct-1999 10:18 9k [   ] partition.ps.gz 17-Jun-1999 11:14 200k [   ] ncsc84-tcb.ps.gz 15-Dec-1997 10:49 43k [CMP] ncsc84-tcb.dvi.Z 15-Dec-1997 10:49 29k [   ] ncsc84-model.ps.gz 15-Dec-1997 10:48 43k [CMP] ncsc84-model.dvi.Z 15-Dec-1997 10:48 28k

Most of these papers are in gzipped postscript (*.ps.gz) format.

If your browser cannot deal with this format, append the complete name of the file (e.g., spin99.ps.gz) onto one of the fields below.

To convert to plain postscript:

To convert to PDF (Adobe Acrobat) ...be patient, this takes a while: