Index of /~bochmann/Curriculum/Pub

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [DIR] xx RecentPublication..> 22-Nov-2016 14:58 - [TXT] pubs-WebServices.html 20-Nov-2016 22:15 12K [TXT] pubs-UCLP.html 19-Nov-2016 20:30 3.0K [TXT] pubs-SEMethods.html 20-Nov-2016 22:20 16K [TXT] pubs-OpticalNetworks..> 20-Nov-2016 22:14 16K [TXT] pubs-DistrMMSystems...> 19-Nov-2016 20:43 5.9K [TXT] pubs-1990ies.htm 19-Nov-2016 20:10 72K [   ] formatWithCopies.xsl 02-Oct-2012 11:43 2.6K [   ] formatWithCopies-Det..> 02-Oct-2012 11:48 1.8K [   ] formatList.xsl 29-Sep-2012 12:20 1.2K [TXT] early-pubs.html 20-Nov-2016 20:53 12K [TXT] classified-pubs.html 20-Nov-2016 18:54 1.9K [TXT] all-pubs.html 20-Nov-2016 22:21 202K [DIR] Theses/ 15-Jul-2018 14:23 - [DIR] Slides/ 22-Nov-2016 14:58 - [   ] List.xml 02-Apr-2016 20:43 372K [   ] Boch04 with Bassel A..> 12-Jun-2006 14:41 203K [   ] Belgrado98 - Estelle..> 21-Jun-2012 15:27 177K [   ] 2016 - ForenRIA - Di..> 25-Jun-2016 18:47 1.0M [   ] 2015 - Synthesizing ..> 03-Feb-2016 15:49 274K [   ] 2014 - Supporting de..> 03-Feb-2016 16:52 409K [   ] 2014 - PDist-RIA Cra..> 03-Feb-2016 15:41 912K [   ] 2014 - Indexing Rich..> 03-Feb-2016 15:45 598K [   ] 2014 - GDist-RIA Cra..> 03-Feb-2016 15:43 622K [   ] 2014 - Associativity..> 03-Feb-2016 16:47 47K [   ] 2014 - A scalable P2..> 03-Feb-2016 15:44 443K [   ] 2014 - A model-based..> 03-Feb-2016 15:39 2.2M [   ] 2013 - Using logic t..> 21-Dec-2011 20:43 346K [   ] 2013 - Stochastic pe..> 19-Nov-2013 08:01 728K [   ] 2013 - Performance m..> 19-Nov-2013 08:00 812K [   ] 2013 - Model-based R..> 03-Feb-2016 15:42 390K [   ] 2013 - Distributed q..> 03-Jun-2013 21:37 277K [   ] 2013 - Distributed B..> 03-Jun-2013 19:40 418K [   ] 2013 - Dist-RIA Craw..> 19-Nov-2013 07:57 223K [   ] 2013 - Building Rich..> 04-Jun-2013 10:23 191K [   ] 2013 - A proof of wa..> 20-Mar-2013 17:32 222K [   ] 2013 - A brief histo..> 19-Nov-2013 07:56 162K [   ] 2012 - Solving some ..> 20-Sep-2012 15:40 226K [   ] 2012 - Load balancin..> 20-Jun-2012 13:09 276K [   ] 2012 - Load balancin..> 29-Sep-2012 17:01 1.1M [   ] 2012 - FSM-based tes..> 13-Sep-2012 10:50 293K [   ] 2012 - Evaluating re..> 23-Sep-2012 12:04 481K [   ] 2012 - Crawling Rich..> 04-Jun-2013 10:22 220K [   ] 2012 - A statistical..> 20-Sep-2012 15:37 460K [   ] 2011 - Using diffusi..> 05-Jun-2011 22:36 132K [   ] 2011 - Transforming ..> 21-Sep-2011 10:47 563K [   ] 2011 - Protocol Engi..> 29-Sep-2012 17:39 160K [   ] 2011 - Performance m..> 26-Oct-2010 15:13 501K [   ] 2011 - On the realiz..> 01-Sep-2011 11:09 313K [   ] 2011 - Improved usag..> 29-Sep-2012 17:09 738K [   ] 2011 - Forward-looki..> 15-Sep-2012 14:15 964K [   ] 2011 - A strategy fo..> 20-Sep-2012 15:43 550K [   ] 2010 - Some notes on..> 09-Oct-2010 11:25 164K [   ] 2010 - Some modeling..> 23-Sep-2012 12:08 235K [   ] 2010 - Distributed B..> 19-Aug-2010 15:21 442K [   ] 2010 - Corrections t..> 15-Sep-2012 14:20 116K [   ] 2010 - Applying a di..> 11-Oct-2011 17:45 293K [   ] 2009 - Using first-o..> 26-Mar-2009 19:30 348K [   ] 2009 - Towards a glo..> 09-Oct-2010 10:57 111K [   ] 2009 - Resource crit..> 20-Sep-2012 16:07 266K [   ] 2009 - Resource crit..> 28-Sep-2009 14:24 384K [   ] 2009 - Peer-to-peer ..> 09-Nov-2009 14:56 282K [   ] 2009 - On testing 1-..> 25-May-2009 23:47 147K [   ] 2009 - GeoP2P - An A..> 09-Nov-2009 14:49 299K [   ] 2009 - Direct Realiz..> 14-Dec-2009 14:52 144K [   ] 2009 - Differentiate..> 09-Oct-2010 12:03 283K [   ] 2009 - Deploying agi..> 09-Oct-2010 11:02 493K [   ] 2009 - CliqueStream ..> 09-Oct-2010 11:30 342K [   ] 2009 - Applying a di..> 11-Oct-2011 17:45 521K [   ] 2009 - A proof of wa..> 14-Feb-2010 09:55 70K [   ] 2009 - A locality pr..> 24-Sep-2012 11:34 182K [   ] 2009 - A distributed..> 28-Feb-2009 05:48 119K [   ] 2009 - A diffusive l..> 11-Nov-2009 10:16 62K [   ] 2009 - A computation..> 09-Oct-2010 12:05 130K [   ] 2009 - A locality p..> 09-Nov-2009 14:43 182K [   ] 2008 - Testing syste..> 12-Oct-2007 18:53 157K [   ] 2008 - OSN-IX - A No..> 24-Sep-2012 11:48 665K [   ] 2008 - Grade-of-serv..> 29-May-2008 11:06 1.1M [   ] 2008 - Deriving comp..> 01-Jul-2016 19:18 15M [   ] 2008 - Deriving comp..> 18-Sep-2008 14:00 175K [   ] 2008 - CliqueStream ..> 21-Oct-2008 16:56 247K [   ] 2007 - Service-orien..> 15-May-2007 10:34 92K [   ] 2007 - Realizability..> 19-Sep-2007 14:47 174K [   ] 2007 - Least constra..> 23-Oct-2007 10:44 314K [   ] 2007 - Inter-area sh..> 15-Oct-2007 15:21 688K [   ] 2007 - Design of an ..> 25-Apr-2008 18:16 1.4M [   ] 2007 - Deriving prot..> 28-Jun-2006 16:55 1.2M [   ] 2007 - An overview o..> 17-Oct-2008 14:41 96K [   ] 2007 - AAPN - slides..> 08-Jul-2016 18:49 1.5M [   ] 2007 - A QoS-based s..> 24-Sep-2012 12:06 199K [   ] 2006 - UCLP workshop..> 08-Jul-2016 20:05 110K [   ] 2006 - Salzburg talk..> 08-Jul-2016 18:42 1.2M [   ] 2006 - Routing of MP..> 04-Oct-2006 09:46 281K [   ] 2006 - Quick Birkhof..> 28-Jun-2006 16:58 223K [   ] 2006 - Progressive s..> 01-Jun-2009 23:39 373K [   ] 2006 - Petri net pro..> 21-Oct-2008 02:15 342K [   ] 2006 - Optimization ..> 05-Jun-2006 14:31 271K [   ] 2006 - Load balancin..> 26-Sep-2012 10:07 1.1M [   ] 2006 - Generalizing ..> 24-Sep-2012 12:13 177K [   ] 2006 - Fault detecti..> 26-Sep-2012 10:03 158K [   ] 2006 - Delay perform..> 28-Jun-2006 16:58 76K [   ] 2006 - Constructing ..> 22-Mar-2006 15:40 246K [   ] 2006 - Blocking mode..> 26-Sep-2012 10:05 274K [   ] 2006 - A Novel Frame..> 28-Sep-2012 21:46 31K [   ] 2005 - Submodule con..> 28-Jun-2006 16:59 165K [   ] 2005 - Service-orien..> 25-Apr-2005 16:21 115K [   ] 2005 - Service disco..> 24-Mar-2005 16:43 293K [   ] 2005 - Retransmissio..> 03-Feb-2005 11:31 161K [   ] 2005 - Removing Time..> 17-Oct-2008 14:27 94K [   ] 2005 - Presentation-..> 08-Jul-2016 18:25 465K [   ] 2005 - Montreal Work..> 08-Jul-2016 18:35 447K [   ] 2005 - Hierarchical ..> 07-Jun-2005 14:50 422K [   ] 2005 - Dealing with ..> 07-Jun-2005 14:41 396K [   ] 2005 - Customer-mana..> 30-Oct-2003 04:58 156K [   ] 2005 - An Agile All-..> 25-Jan-2006 15:02 446K [   ] 2004 - The Agile All..> 09-Jun-2004 14:11 340K [   ] 2004 - Shared protec..> 13-Aug-2004 16:09 161K [   ] 2004 - Robust optica..> 13-Aug-2004 16:03 165K [   ] 2004 - QoS-based dis..> 08-Jul-2016 15:06 15M [   ] 2004 - Personal and ..> 07-Jul-2016 19:42 9.6M [   ] 2004 - High-level de..> 17-Feb-2005 17:23 174K [   ] 2004 - FSM-based inc..> 15-Sep-2012 15:11 726K [   ] 2004 - Contention av..> 13-Aug-2004 15:55 172K [   ] 2004 - Congestion co..> 15-Sep-2012 14:57 396K [   ] 2004 - Comparison of..> 08-Jul-2016 12:41 638K [   ] 2004 - Blocking anal..> 02-Sep-2004 17:18 1.1M [   ] 2004 - An incrementa..> 26-Sep-2012 10:32 1.4M [   ] 2004 - An incrementa..> 26-Sep-2012 10:31 191K [   ] 2004 - An incrementa..> 26-Sep-2012 10:33 122K [   ] 2004 - An incrementa..> 26-Sep-2012 10:33 737 [   ] 2004 - ACSD Hamilton..> 08-Jul-2016 18:31 188K [   ] 2004 - A trust model..> 21-Sep-2004 12:13 235K [   ] 2004 - A secure auth..> 22-Apr-2004 16:45 129K [   ] 2004 - A probabilist..> 05-Aug-2004 10:25 162K [   ] 2004 - A bandwidth a..> 20-Apr-2004 12:12 231K [   ] 2004 - A QoS-based f..> 26-Sep-2012 11:08 99K [   ] 2004 - A QoS-based f..> 16-Sep-2004 15:11 186K [   ] 2004 - A Grid orient..> 26-Sep-2012 11:03 579K [   ] 2003 - Wide-area ser..> 02-Oct-2007 16:37 244K [   ] 2003 - User-managed ..> 30-Oct-2003 03:51 257K [   ] 2003 - Support for p..> 23-Oct-2003 01:56 169K [   ] 2003 - Scalability o..> 31-Oct-2005 11:10 83K [   ] 2003 - Revisiting Jo..> 26-Sep-2012 11:27 171K [   ] 2003 - Pushing Quali..> 20-Oct-2008 14:27 156K [   ] 2003 - Protocol synt..> 29-Mar-2004 16:03 270K [   ] 2003 - Progressive s..> 26-Sep-2012 13:03 189K [   ] 2003 - Performance E..> 09-Oct-2010 11:44 145K [   ] 2003 - Modeling the ..> 26-Sep-2012 12:55 413K [   ] 2003 - Methods for d..> 01-Mar-2003 09:40 266K [   ] 2003 - Markovian com..> 17-Oct-2008 15:40 124K [   ] 2003 - Integrating Q..> 26-Sep-2012 11:17 166K [   ] 2003 - Integrating Q..> 26-Sep-2012 11:23 173K [   ] 2003 - Fault diagnos..> 17-Oct-2008 15:39 137K [   ] 2003 - Decomposing s..> 26-Sep-2012 11:15 216K [   ] 2003 - An experiment..> 03-Sep-2003 17:08 214K [   ] 2003 - Agent support..> 26-Sep-2012 12:50 216K [   ] 2002 - Towards Datab..> 26-Sep-2012 13:12 307K [   ] 2002 - Submodule con..> 28-Oct-2004 12:15 138K [   ] 2002 - Server select..> 19-Nov-2002 15:27 235K [   ] 2002 - Segmented bur..> 13-Aug-2004 15:47 215K [   ] 2002 - QoS issues fo..> 08-Jul-2016 19:56 269K [   ] 2002 - FSM-based re-..> 26-Sep-2012 13:15 325K [   ] 2002 - Describing re..> 01-Jul-2016 18:32 9.0M [   ] 2002 - Adaptacao de ..> 26-Sep-2012 14:26 93K [   ] 2002 - A hybrid arch..> 13-Aug-2004 15:51 201K [   ] 2001 - Submodule con..> 26-Oct-2005 12:20 132K [   ] 2001 - Selecting the..> 30-Sep-2005 12:05 197K [   ] 2001 - Preemptive ba..> 26-Feb-2003 22:43 1.0M [   ] 2001 - Optimal wavel..> 26-Sep-2012 14:47 423K [   ] 2001 - Introducing Q..> 05-Feb-2001 16:41 81K [   ] 2001 - Diagnosing mu..> 26-Sep-2012 14:39 373K [   ] 2001 - Data distribu..> 26-Sep-2012 14:33 318K [   ] 2001 - Accessing tra..> 26-Sep-2012 14:49 475K [   ] 2001 - A secure auth..> 09-Mar-2001 10:37 88K [   ] 2001 - A scalable lo..> 03-Sep-2003 17:06 154K [   ] 2000 - Quality of se..> 17-Oct-2008 15:36 65K [   ] 2000 - Protocol re-s..> 25-May-2000 11:10 274K [   ] 2000 - On the fly re..> 17-Oct-2008 15:59 77K [   ] 2000 - Automatic der..> 26-Sep-2012 14:57 96K [   ] 2000 - Activity Nets..> 11-Oct-2000 00:13 194K [   ] 2000 - A Petri net b..> 23-Mar-2000 14:39 110K [   ] 1999 - Submodule con..> 15-Jul-1999 21:36 48K [   ] 1999 - Submodule con..> 17-Oct-2008 15:49 136K [   ] 1999 - Submodule con..> 20-Nov-2003 21:23 252K [   ] 1999 - Service manag..> 15-Jul-1999 21:36 41K [   ] 1999 - Quality of se..> 22-Feb-2000 22:54 60K [   ] 1999 - Quality of se..> 28-Nov-2000 22:10 37K [   ] 1999 - Protocol synt..> 26-Sep-2012 15:01 173K [   ] 1999 - Object compos..> 15-Jul-1999 21:42 80K [   ] 1999 - Locating a fa..> 17-Oct-2008 15:01 55K [   ] 1999 - An approach t..> 15-Jul-1999 21:38 115K [   ] 1999 - A method and ..> 02-Sep-1999 13:29 257K [   ] 1999 - A digital lib..> 15-Jul-1999 21:39 133K [   ] 1998 - Quality of se..> 02-Jul-2016 10:48 15M [   ] 1998 - On the design..> 07-Jul-2016 18:11 10M [   ] 1998 - Object Naming..> 17-Oct-2008 16:28 60K [   ] 1998 - Meta-data mod..> 12-Mar-2004 13:26 72K [   ] 1998 - Meta-data mod..> 24-Jun-2016 18:01 6.9M [   ] 1998 - La gestion de..> 25-Jun-2016 10:21 1.2M [   ] 1998 - Distributed o..> 17-Oct-2008 15:45 79K [   ] 1998 - Distributed m..> 15-Jul-1999 21:38 163K [   ] 1998 - Denombrement ..> 02-Jul-2016 11:41 9.6M [   ] 1998 - A quality of ..> 08-Jul-2016 15:24 13M [   ] 1998 - A pattern sys..> 29-Sep-2012 20:22 178K [   ] 1997 - xxEnabling te..> 15-Jul-1999 21:43 250K [   ] 1997 - Some principl..> 15-Jul-1999 21:36 68K [   ] 1997 - New models fo..> 25-Jun-2016 10:40 7.6M [   ] 1997 - HTML extensio..> 15-Jul-1999 21:41 41K [   ] 1997 - Enabling tech..> 25-Jun-2016 15:30 21M [   ] 1997 - Deriving test..> 02-Jul-2016 15:22 26M [   ] 1997 - Cooperative q..> 15-Jul-1999 21:36 53K [   ] 1997 - Checking expe..> 15-Jul-2009 16:28 313K [   ] 1997 - Automating th..> 15-Jul-1999 21:36 66K [   ] 1997 - Approaches to..> 22-Sep-2012 15:55 122K [   ] 1997 - Application d..> 15-Jul-1999 21:36 63K [   ] 1997 - A formal meth..> 15-Sep-2012 15:45 593K [   ] 1996 - Testing in co..> 24-Jun-2016 19:20 12M [   ] 1996 - Testing deter..> 22-Sep-2012 21:04 213K [   ] 1996 - Specification..> 15-Jul-1999 21:42 66K [   ] 1996 - Some principl..> 21-Sep-2012 16:08 195K [   ] 1996 - Performance e..> 21-Sep-2012 16:02 1.0M [   ] 1996 - On fault cove..> 15-Jul-1999 21:42 171K [   ] 1996 - Metadata mode..> 22-Sep-2012 18:12 51K [   ] 1996 - Extending OMT..> 28-Sep-2012 22:09 61K [   ] 1996 - Deriving prot..> 20-Dec-2006 04:28 233K [   ] 1996 - Architectural..> 27-Jan-2000 16:23 52K [   ] 1996 - A test genera..> 15-Jul-1999 21:43 189K [   ] 1996 - A quality of ..> 26-Sep-2012 15:38 1.7M [   ] 1996 - A framework f..> 15-Jul-2009 16:18 924K [   ] 1995 - Verification ..> 21-Sep-2012 15:25 668K [   ] 1995 - Validation of..> 06-Apr-2016 14:53 870K [   ] 1995 - Testing Trace..> 15-Jul-2009 08:01 238K [   ] 1995 - Protocol synt..> 21-Sep-2012 15:52 962K [   ] 1995 - Object-orient..> 21-Sep-2012 15:32 463K [   ] 1995 - Object-orient..> 15-Jul-1999 21:35 183K [   ] 1995 - Object-orient..> 21-Sep-2012 21:58 83K [   ] 1995 - Modeling Basi..> 21-Sep-2012 15:39 223K [   ] 1995 - Merging behav..> 01-Oct-1999 14:31 264K [   ] 1995 - Distributed m..> 15-Sep-2012 15:55 891K [   ] 1995 - Distributed m..> 01-Jul-2016 22:11 11M [   ] 1995 - An efficient ..> 21-Sep-2012 15:28 157K [   ] 1995 - An Automatic ..> 21-Sep-2012 15:37 1.1M [   ] 1995 - A top down me..> 21-Sep-2012 15:29 788K [   ] 1994 - Test selectio..> 15-Jul-1999 21:41 217K [   ] 1994 - Specializatio..> 15-Jul-1999 21:38 134K [   ] 1994 - Software test..> 15-Sep-2012 16:24 1.6M [   ] 1994 - Selecting tes..> 15-Jul-2009 08:08 119K [   ] 1994 - Protocol test..> 15-Jul-1999 21:35 182K [   ] 1994 - Protocol test..> 21-Sep-2012 15:04 2.1M [   ] 1994 - Prise en comp..> 03-Mar-2008 15:16 167K [   ] 1994 - On specifying..> 22-Sep-2012 18:23 256K [   ] 1994 - On specifying..> 24-Jun-2016 20:11 29M [   ] 1994 - On distribute..> 21-Sep-2012 15:10 88K [   ] 1994 - On controllin..> 08-Jul-2016 14:37 7.6M [   ] 1994 - Object-orient..> 02-Apr-2016 20:33 22M [   ] 1994 - Functional re..> 22-Sep-2012 17:58 68K [   ] 1994 - Fault coverag..> 21-Sep-2012 20:36 167K [   ] 1994 - Fault coverag..> 21-Sep-2012 13:23 919K [   ] 1994 - Experiments o..> 22-Sep-2012 18:57 173K [   ] 1994 - Derivation de..> 15-Sep-2012 16:06 106K [   ] 1994 - Configuration..> 21-Sep-2012 15:15 436K [   ] 1994 - Automatic ana..> 15-Jul-1999 21:39 341K [   ] 1994 - A systematic ..> 22-Sep-2012 18:18 169K [   ] 1994 - A systematic ..> 22-Sep-2012 18:25 162K [   ] 1994 - A structural ..> 22-Sep-2012 21:26 152K [   ] 1994 - A quality-of-..> 28-Sep-2012 20:17 29K [   ] 1994 - A quality-of-..> 28-Sep-2012 20:14 44K [   ] 1994 - A metric appr..> 22-Sep-2012 21:24 145K [   ] 1994 - A Conceptual ..> 22-Sep-2012 21:06 192K [   ] 1993 - The Macrotec ..> 09-Apr-2008 14:17 28K [   ] 1993 - Testing for a..> 21-Sep-2012 11:57 571K [   ] 1993 - Test generati..> 15-Jul-1999 21:41 147K [   ] 1993 - Test generati..> 22-Sep-2012 18:44 38K [   ] 1993 - Sélection ..> 22-Sep-2012 17:49 77K [   ] 1993 - Specification..> 21-Sep-2012 20:23 126K [   ] 1993 - Specializatio..> 21-Sep-2012 20:28 83K [TXT] 1993 - Protocol Engi..> 15-Sep-2012 19:42 60K [TXT] 1993 - Protocol Engi..> 22-Sep-2012 23:12 60K [   ] 1993 - Object-orient..> 22-Sep-2012 17:46 64K [   ] 1993 - Multiple faul..> 21-Sep-2012 13:17 1.0M [   ] 1993 - Modeling and ..> 21-Sep-2012 13:04 1.0M [   ] 1993 - Incremental c..> 15-Jul-1999 21:39 278K [   ] 1993 - Generating te..> 22-Sep-2012 18:52 67K [   ] 1993 - Generating sy..> 15-Jul-1999 21:41 61K [   ] 1993 - Fairness of N..> 22-Sep-2012 16:08 130K [   ] 1993 - Diagnosis for..> 21-Sep-2012 13:19 1.0M [   ] 1993 - Diagnosing mu..> 17-Oct-2008 16:59 164K [   ] 1993 - Diagnosing di..> 15-Jul-1999 21:37 145K [   ] 1993 - Derivation de..> 21-Sep-2012 13:13 106K [   ] 1993 - Conformance t..> 22-Sep-2012 21:23 184K [   ] 1993 - Conformance r..> 22-Sep-2012 15:48 177K [   ] 1993 - Abstract dyna..> 21-Sep-2012 21:50 68K [   ] 1993 - A subset of L..> 21-Sep-2012 12:00 917K [   ] 1993 - A framework f..> 15-Sep-2012 16:51 148K [   ] 1992 - Type evolutio..> 22-Sep-2012 17:07 134K [   ] 1992 - Test system f..> 22-Sep-2012 17:43 192K [   ] 1992 - Test result a..> 21-Sep-2012 11:54 886K [   ] 1992 - Test generati..> 22-Sep-2012 18:38 172K [   ] 1992 - Semantics and..> 22-Sep-2012 17:05 77K [   ] 1992 - Protocol Engi..> 22-Sep-2012 23:13 29K [   ] 1992 - Prolog for in..> 24-Jun-2016 18:18 14M [TXT] 1992 - Performance s..> 15-Sep-2012 19:38 442K [   ] 1992 - Performance s..> 15-Sep-2012 19:38 77K [   ] 1992 - Object-orient..> 25-Jun-2016 10:16 12M [   ] 1992 - Multiple inhe..> 22-Sep-2012 18:05 174K [   ] 1992 - Model-checkin..> 21-Sep-2012 11:38 780K [   ] 1992 - Generating te..> 22-Sep-2012 21:29 170K [   ] 1992 - Failure-equiv..> 15-Sep-2012 16:53 914K [   ] 1992 - Dynamic modif..> 22-Sep-2012 17:13 49K [   ] 1992 - Dynamic exten..> 22-Sep-2012 17:15 116K [   ] 1992 - Diagnostic te..> 22-Sep-2012 17:25 64K [   ] 1992 - Control-flow ..> 21-Sep-2012 11:48 913K [TXT] 1992 - Conception et..> 15-Sep-2012 19:35 207K [   ] 1992 - Conception et..> 15-Sep-2012 19:35 46K [   ] 1992 - Automatic tes..> 22-Sep-2012 16:25 103K [   ] 1992 - A framework f..> 21-Sep-2012 11:39 1.0M [   ] 1991 - The equivalen..> 15-Sep-2012 17:00 772K [   ] 1991 - The Lotos mod..> 21-Sep-2012 11:11 484K [   ] 1991 - Testing non-d..> 22-Sep-2012 15:39 79K [   ] 1991 - Test suite de..> 22-Sep-2012 15:43 51K [   ] 1991 - Test selectio..> 12-Jun-2006 14:38 1.2M [   ] 1991 - Test selectio..> 15-Jul-1999 21:37 170K [   ] 1991 - Test selectio..> 22-Sep-2012 18:34 66K [   ] 1991 - Object-orient..> 21-Sep-2012 19:10 93K [   ] 1991 - OSI specifica..> 22-Sep-2012 16:55 59K [TXT] 1991 - Le projet MMS..> 15-Sep-2012 18:59 142K [   ] 1991 - Le projet MMS..> 15-Sep-2012 18:56 71K [   ] 1991 - Formal descri..> 21-Sep-2012 21:38 45K [   ] 1991 - Fairness in L..> 21-Sep-2012 11:21 198K [   ] 1991 - Execution of ..> 22-Sep-2012 21:19 175K [   ] 1991 - Error recover..> 07-Jul-2016 19:18 6.9M [   ] 1990 - Translation f..> 22-Sep-2012 17:01 55K [   ] 1990 - Test result a..> 21-Sep-2012 11:01 62K [   ] 1990 - Specification..> 22-Feb-2010 15:19 2.4M [   ] 1990 - RMondel - A R..> 22-Sep-2012 17:03 20K [   ] 1990 - Protocol spec..> 12-Jun-2006 15:45 1.5M [   ] 1990 - Mondel - An o..> 22-Sep-2012 16:49 104K [   ] 1990 - Method of ana..> 15-Sep-2012 17:13 921K [   ] 1990 - Implementatio..> 22-Sep-2012 16:46 84K [   ] 1990 - Formal specif..> 22-Sep-2012 16:38 68K [   ] 1990 - Extension of ..> 01-Oct-2012 16:40 590K [   ] 1990 - Design princi..> 12-Jun-2006 14:36 1.0M [   ] 1990 - Deriving prot..> 29-Jun-2006 05:30 1.9M [   ] 1990 - Deriving prot..> 15-Sep-2012 17:19 291K [   ] 1990 - Deriving anal..> 24-Jun-2016 21:10 13M [   ] 1990 - An execution ..> 21-Sep-2012 11:04 660K [   ] 1990 - ASN.1 and Est..> 15-Jul-1999 21:35 114K [   ] 1989 - Trace analysi..> 15-Sep-2012 17:30 1.1M [   ] 1989 - Test result a..> 15-Jul-1999 21:31 62K [   ] 1989 - On the distri..> 15-Jul-1999 22:00 70K [   ] 1989 - New results o..> 20-Dec-2006 04:38 921K [   ] 1989 - Formal method..> 22-Sep-2012 16:36 38K [   ] 1988 - Impact of Que..> 01-Jul-2016 21:05 13M [   ] 1988 - Delay-indepen..> 27-Feb-2012 11:53 1.0M [   ] 1988 - Adding Perfor..> 15-Jul-1999 21:30 169K [   ] 1987 - Some comments..> 15-Sep-2012 17:46 1.0M [   ] 1987 - Semiautomatic..> 20-Mar-2013 17:35 4.7M [   ] 1987 - A Test Design..> 15-Sep-2012 17:36 3.1M [   ] 1986 - Semi-automati..> 17-Sep-2012 10:35 588K [   ] 1986 - Formal specif..> 21-Sep-2012 09:56 551K [   ] 1986 - Deriving prot..> 21-Sep-2012 09:54 685K [   ] 1984 - Synchronizati..> 17-Sep-2012 10:37 847K [   ] 1983 - Synchronizati..> 21-Sep-2012 09:38 450K [   ] 1983 - Structured sp..> 10-Oct-2013 15:44 5.0M [   ] 1983 - Relationship ..> 01-Oct-2012 16:29 409K [   ] 1983 - On the Constr..> 13-Mar-2008 01:57 1.2M [   ] 1983 - Formal descri..> 17-Sep-2012 10:40 868K [   ] 1983 - An approach t..> 17-Sep-2012 10:41 1.0M [   ] 1982 - Hardware spec..> 17-Sep-2012 10:49 2.9M [   ] 1982 - Experience wi..> 21-Sep-2012 19:01 12M [   ] 1982 - Experience wi..> 17-Sep-2012 10:47 1.0M [   ] 1981 - Data structur..> 17-Sep-2012 10:58 11M [   ] 1980 - Videotex Netw..> 17-Sep-2012 11:00 7.3M [   ] 1980 - Formal method..> 17-Sep-2012 11:03 1.0M [   ] 1980 - A General Tra..> 12-Jun-2006 14:33 843K [   ] 1979 - Semantic equi..> 17-Sep-2012 11:16 785K [   ] 1979 - Distributed s..> 02-Jul-2013 10:19 629K [   ] 1979 - Development a..> 17-Sep-2012 11:08 2.6M [   ] 1978 Liege - Finite ..> 24-Jun-2016 17:55 6.7M [   ] 1978 - Message Link ..> 12-Jun-2006 15:00 1.2M [   ] 1978 - Finite State ..> 12-Jun-2006 15:15 887K [   ] 1978 - Compiler writ..> 17-Sep-2012 11:17 637K [   ] 1978 - Compile time ..> 17-Sep-2012 11:19 1.8M [   ] 1977 - Standard issu..> 17-Sep-2012 11:27 849K [   ] 1977 - Operating sys..> 21-Sep-2012 09:19 763K [   ] 1977 - Notes on the ..> 12-Jun-2006 15:02 333K [   ] 1977 - A unified met..> 13-Jun-2006 11:47 3.9M [   ] 1976 - Semantic eval..> 17-Sep-2012 11:34 767K [   ] 1976 - Comments on m..> 17-Sep-2012 11:32 366K [   ] 1976 - A sampler of ..> 17-Sep-2012 11:35 4.4M [   ] 1975 - Logical verif..> 21-Sep-2012 18:38 5.5M [   ] 1975 - Communication..> 13-Jun-2006 02:15 318K [   ] 1974 - Properties of..> 17-Sep-2012 11:37 683K [   ] 1973 - Multiple exit..> 21-Sep-2012 08:56 184K [   ] 1973 - Hierarchical ..> 20-Sep-2012 16:13 136K [   ] 1973 - Compiler Gene..> 12-Jun-2006 15:09 112K [   ] 1972 - Virtual-photo..> 18-Sep-2012 11:08 167K [   ] 1972 - Precise measu..> 17-Sep-2012 11:41 4.0M [   ] 1972 - Photoreaction..> 18-Sep-2012 11:07 352K [   ] 1971 - PhD thesis - ..> 17-Jun-2016 20:47 3.3M [   ] 1970 - Photon cross ..> 18-Sep-2012 11:10 430K [   ] 1970 - High energy n..> 18-Sep-2012 11:13 217K [   ] 1969 - Regge cuts an..> 18-Sep-2012 11:15 344K [   ] 1969 - Multi-step co..> 18-Sep-2012 11:21 425K [   ] 1969 - Incoherent Pr..> 18-Sep-2012 11:19 203K [   ] 1969 - Effect of cor..> 18-Sep-2012 11:22 170K [   ] 1968 - Precision mea..> 18-Sep-2012 11:25 229K
Apache/2.0.59 (FreeBSD) mod_ssl/2.0.59 OpenSSL/0.9.7e-p1 PHP/5.1.6 with Suhosin-Patch Server at www.site.uottawa.ca Port 443