Index of pubs

      Name                                Last modified     Size  Description

[DIR] Parent Directory [   ] RTA-CPS.pdf Mon May 27 14:09:19 2013 973k [   ] SHM09.pdf Mon May 11 15:11:35 2009 127k [   ] abstractions.ilg Sun Sep 3 15:57:01 2006 5158k [   ] abstractions.pdf Wed Oct 13 10:40:31 2004 192k [   ] afm07.pdf Tue Oct 16 1:40:01 2007 204k [   ] bmp.pdf Mon Jan 9 11:28:45 2006 231k [   ] boolean_monoids.pdf Tue Aug 10 12:54:43 2004 183k [   ] brown-pike-memocode.pdf Wed Apr 18 1:48:02 2007 202k [   ] copilot-assurance.pdf Thu Apr 19 17:12:58 2012 144k [   ] copilot-cr.pdf Fri Mar 2 13:54:19 2012 504k [   ] copilot_final.pdf Wed Nov 2 17:14:21 2011 2122k [   ] counterex.pdf Wed Nov 10 12:43:22 2004 242k [   ] cyber-physical-leepike.pdf Tue Mar 25 18:51:59 2008 104k [   ] dcc.pdf Tue Jan 31 1:29:51 2006 262k [   ] diatchki-sectest2011.pdf Sun Feb 27 16:47:51 2011 188k [   ] embedded-experience.pdf Tue Aug 5 20:32:53 2014 231k [   ] emsoft.pdf Thu Jul 28 10:35:47 2005 106k [   ] fm-ethics.pdf Sun Feb 5 21:11:01 2012 196k [   ] index.html Wed Aug 6 1:29:19 2014 1k [   ] infoFlow.pdf Wed Jul 15 20:26:43 2009 178k [   ] k_ind.pdf Thu Jun 2 22:52:21 2005 729k [   ] leepike-fmcad.pdf Mon Dec 1 17:40:28 2008 221k [   ] phil_p100.pdf Tue Aug 10 13:25:47 2004 18k [   ] pike-dsn-paper.pdf Tue Jul 6 3:01:23 2010 88k [   ] pike-holpp.pdf Sat Feb 28 23:55:38 2009 186k [   ] pike-icfp12.pdf Sun Jul 1 17:07:18 2012 187k [   ] pike-isse.pdf Sun Dec 16 3:10:48 2012 3488k [   ] pike-plpv14.pdf Tue Apr 29 18:06:07 2014 124k [   ] pike-position-uav.pdf Mon Apr 13 13:19:30 2009 109k [   ] pike-rv2010.pdf Sat Aug 21 21:05:26 2010 342k [   ] pike-rv2011.pdf Mon Aug 29 18:16:42 2011 1232k [   ] pike-uscar2011.pdf Sun Feb 27 15:44:59 2011 279k [   ] pike_acl2.pdf Tue Jan 9 12:37:58 2007 270k [   ] pike_disproving.pdf Fri Aug 18 14:52:27 2006 208k [   ] pike_diss.pdf Sat Apr 29 21:08:47 2006 999k [   ] pike_tse06.pdf Tue May 30 0:47:08 2006 84k [   ] qcbiphase.pdf Sun Jun 14 14:31:51 2009 193k [   ] saljrnl.pdf Thu Oct 1 1:43:13 2009 340k [   ] smartcheck.pdf Tue Aug 5 20:35:45 2014 320k [   ] survey.pdf Thu Mar 11 22:05:48 2010 727k [   ] unified.pdf Wed Oct 13 10:41:10 2004 213k