| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 17091166.pdf | 1999-10-12 09:45 | 181K | ||
| DongLiuCOMPSAC02.pdf | 2002-11-03 13:25 | 68K | ||
| LABBE_FACJ.pdf | 2007-05-23 11:05 | 543K | ||
| Thesis_haoping_2ndRe..> | 2009-02-17 15:22 | 1.5M | ||
| acsc94.ps | 2000-04-13 12:36 | 122K | ||
| air.gif | 2001-08-16 11:35 | 1.0M | ||
| apsec01.ps | 2003-11-24 18:46 | 949K | ||
| apsec02ieee.pdf | 2003-08-14 19:59 | 102K | ||
| apsec04.pdf | 2005-05-17 17:48 | 145K | ||
| apsec95.ps | 1995-12-04 10:09 | 175K | ||
| apsec96.ps | 1998-03-24 16:03 | 191K | ||
| apsec99.pdf | 2005-05-17 17:47 | 629K | ||
| apsec99.ps | 2001-08-13 15:59 | 128K | ||
| ase02sdlw.pdf | 2002-11-06 01:10 | 258K | ||
| beijing04.pdf | 2004-07-02 08:33 | 803K | ||
| book.pdf | 2009-08-25 00:28 | 1.3M | ||
| dirp.zip | 2004-06-07 15:18 | 1.3M | ||
| dlllw04www.pdf | 2004-04-05 12:19 | 326K | ||
| dong.gif | 1999-09-11 12:42 | 12K | ||
| dong.ps | 1999-02-12 14:08 | 177K | ||
| dsw02fme.pdf | 2002-07-17 13:50 | 349K | ||
| fac02md.pdf | 2002-11-06 02:34 | 178K | ||
| fm03dsw.pdf | 2003-10-03 13:28 | 294K | ||
| fm03qdc.pdf | 2003-10-03 13:27 | 206K | ||
| fm99.pdf | 2000-06-27 10:43 | 181K | ||
| fme02dsw.pdf | 2002-07-12 14:21 | 349K | ||
| fuchs92.ps | 1999-01-07 09:55 | 109K | ||
| iceccs04tdc.pdf | 2004-08-07 15:35 | 398K | ||
| iceccs05lsc-csp.pdf | 2005-07-26 02:33 | 210K | ||
| iceccs05oz-his.pdf | 2005-07-26 02:28 | 180K | ||
| iceccs05ozta.pdf | 2005-07-26 02:34 | 185K | ||
| iceccs05tut-dd.pdf | 2005-07-26 02:24 | 41K | ||
| iceccs95.ps | 1998-03-24 15:49 | 167K | ||
| iceccs95drd.pdf | 2005-07-26 03:23 | 598K | ||
| icfem02dlssw.pdf | 2002-10-12 00:30 | 235K | ||
| icfem02dsw.pdf | 2002-10-12 00:25 | 154K | ||
| icfem02td.pdf | 2002-10-12 00:24 | 92K | ||
| icfem04.pdf | 2004-11-23 18:41 | 515K | ||
| icfem06orc.pdf | 2007-04-10 10:39 | 504K | ||
| icfem06tcsp-clp.pdf | 2007-04-10 10:39 | 214K | ||
| icfem97.pdf | 2001-08-13 15:56 | 174K | ||
| icfem97.ps | 1998-07-13 07:18 | 343K | ||
| icfem98.ps | 1998-10-13 15:30 | 145K | ||
| icodp93.ps | 1994-09-06 16:25 | 137K | ||
| icse01-dong.pdf | 2001-08-10 09:42 | 40K | ||
| icse01ieee.ps | 2001-01-20 12:24 | 26K | ||
| icse01slides.pdf | 2001-05-25 11:19 | 701K | ||
| icse04dllw.pdf | 2004-08-07 15:31 | 323K | ||
| icse04dong.pdf | 2004-08-07 15:32 | 203K | ||
| icse04tut.pdf | 2004-05-31 15:06 | 1.0M | ||
| icse04tut.ps.Z | 2004-05-31 14:57 | 1.7M | ||
| icse98.ps | 1997-09-15 14:42 | 183K | ||
| ictac04.pdf | 2005-04-11 15:10 | 157K | ||
| ieee04pervasive.pdf | 2004-12-15 16:53 | 1.0M | ||
| ifm04dqs.pdf | 2004-03-15 10:49 | 307K | ||
| ifm99dl.ps | 1999-02-26 15:46 | 145K | ||
| ifm99md.ps | 1999-03-01 09:29 | 443K | ||
| mahony.ps | 1999-02-12 12:14 | 162K | ||
| oos95.aux | 1999-09-28 10:50 | 2.2K | ||
| oos95.dvi | 1999-09-28 10:50 | 83K | ||
| oos95.log | 1999-09-28 10:50 | 13K | ||
| oos95.pdf | 2005-07-26 02:18 | 324K | ||
| oos95.ps | 1996-04-04 13:12 | 289K | ||
| oos95.tex | 1999-08-23 13:43 | 49K | ||
| oos97.ps | 1999-02-02 14:23 | 202K | ||
| orc-ta.pdf | 2005-12-01 00:33 | 1.7M | ||
| pdse97.ps | 1997-04-16 21:29 | 146K | ||
| pervasive04.pdf | 2004-08-16 09:57 | 1.0M | ||
| phd.pdf | 2003-11-14 13:25 | 1.7M | ||
| phd.ps | 1996-05-23 15:24 | 1.7M | ||
| reasoning-alloy06.pdf | 2009-08-24 15:25 | 238K | ||
| sd.ps | 2000-10-12 14:05 | 203K | ||
| seke03.pdf | 2003-08-22 16:57 | 93K | ||
| seke99.ps | 1999-03-29 21:40 | 89K | ||
| sensor-smartspace.pdf | 2006-05-08 16:52 | 150K | ||
| sensor.ps | 2007-10-12 17:51 | 372K | ||
| tcoz-uml.doc | 2000-10-21 10:20 | 230K | ||
| tcsp-clp.pdf | 2005-12-02 01:27 | 120K | ||
| tools93.ps | 1999-01-07 10:57 | 173K | ||
| tools95.pdf | 2005-07-26 02:09 | 203K | ||
| tools95.ps | 1998-03-24 16:04 | 365K | ||
| tosem10.pdf | 2010-09-18 09:01 | 338K | ||
| tse00.pdf | 2001-04-11 17:08 | 578K | ||
| tse00.ps | 2000-02-14 10:13 | 665K | ||
| tse00ieee.pdf | 2003-06-18 23:12 | 651K | ||
| tse06.pdf | 2006-12-14 17:04 | 2.6M | ||
| tse08-appex-Finalpat..> | 2014-01-29 10:51 | 1.0M | ||
| tse08.pdf | 2010-09-18 08:59 | 2.1M | ||
| tse99.ps.Z | 1998-08-26 14:01 | 135K | ||
| www01sdlw.pdf | 2004-03-16 11:13 | 262K | ||
| www04.pdf | 2009-02-23 13:28 | 315K | ||
| zml-html.zip | 2001-02-16 14:25 | 392K | ||
| zml-html/ | 2001-02-16 14:42 | - | ||
| zum98.ps | 1999-01-10 17:23 | 211K | ||