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: