%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                        BIBLIOGRAPHIE RAPPORT 1996 Projet PAMPA
%
%		  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                          LIVRES ET MONOGRAPHIES                           %
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@BOOK{Jezequel96b,
   AUTHOR = {J\'{e}z\'{e}quel, J.-M.},
   PUBLISHER = {Addison-Wesley},
   TITLE = {{O}bject {O}riented {S}oftware {E}ngineering with {E}iffel},
   NOTE =  "ISBN 1-201-63381-7",
   MONTH = mar,
   YEAR = 1996
}
		  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                            HABILITATIONS                                  % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                                THESES                                     % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Yves-Marie Quemener
%
@Phdthesis{Quemener96b,
   AUTHOR = {Quemener, Y.-M.},
   TITLE = {V\'{e}rification de protocoles \`{a} espace d'\'{e}tats infini
		  repr\'{e}sentable par une grammaire de graphes},
   TYPE = {Th\`{e}se de doctorat},
   SCHOOL = {IFSIC~/~universit\'{e} de Rennes~I},
   YEAR = {1996}, 
   NOTE = {\`{A} soutenir le 22 Novembre 1996}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                 ARTICLES ET CHAPITRES DE LIVRES                           % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@ARTICLE{Guidec96a,
   AUTHOR = {Guidec, F. and J\'{e}z\'{e}quel, J.-M. and Pacherie, J.-L.},
   JOURNAL = {Journal of Systems and Software},
   VOLUME = {Special Issue on {\em Software Engineering for Distributed
                  Computing}},
   PAGES = {},
   title = {An Object Oriented Framework for Supercomputing},
   number = {},
   month = jun,
   year = {1996}
}
%
@ARTICLE{Jard96b,
   AUTHOR = {Jard, C. and Jourdan, G.-V.},
   JOURNAL = {Parallel Processing Letters},
   NUMBER = {2},
   VOLUME = 6,		  
   PAGES = {},
   TITLE = {Incremental Transitive Dependency Tracking in Distributed 
		  Computations},
   YEAR = {1996}
}
%
@ARTICLE{Jard95a,
   AUTHOR = {Jard, C. and J\'{e}z\'{e}quel, J.-M.},
   JOURNAL = {Concurrency Practice and Experience},
   NUMBER = {1},
   PAGES = {71--89},
   TITLE = {Building a Global Clock for Observing Computations in
        Distributed Memory Parallel Computers},
   VOLUME = {8},
   MONTH = jan,
   YEAR = {1996}
}
%
@ARTICLE{Lefur96,
AUTHOR             = {Le~Fur, M.},
JOURNAL            = {Concurrency Practice and Experience},
TITLE              = {Scanning Parameterized Polyhedron Using Fourier-Motzkin 
		      Elimination},
MONTH              = {jul --  aug},
PAGES              = {445 -- 460},
NUMBER             = 6,
VOLUME             = 8,		  
YEAR               = {1996}
}	  

@ARTICLE{FJJV96a, 
AUTHOR		   ={Fernandez, J.-C. and  Jard, C. and J\'eron, T. and Viho,
		     C.}, 
TITLE 		   = {An Experiment in Automatic Generation of Test Suites for
		      Protocols with Verification  Technology},
JOURNAL		   = {Science of Computer Programming},
EDITOR		   = {Groote, J.-F. and Rem, M.},
PUBLISHER	   = {Elsevier Science},
YEAR		   = {1996}
}
@ARTICLE{Jard96d,
AUTHOR             = {Jard, C.},
TITLE              = {Observation d'ex\'ecutions r\'eparties~: d\'etection de
		  propri\'et\'es d'ordonnancement},
JOURNAL            = {Technique et Science Informatique},
EDITOR             = {AFCET},
PUBLISHER          = {Hermes},
YEAR               = {1997},
NOTE               = {A para\^{\i}tre}	
}
@ARTICLE{Caillaud96,
AUTHOR             = {Caillaud, B. and Caspi, P. and Girault, A. and Jard, C.},
TITLE              = {Distributing automata for asynchronous networks of
		  processors},
JOURNAL            = {European Journal on Automated Systems (JESA)},
PUBLISHER          = {Hermes},
YEAR               = {1997},
NOTE               = {A para\^{\i}tre} 
}
@InBook{Pazat96a,
  author = 	 {Pazat, J.-L.},
  title = 	 {Spring School on Data Parallelism},
  chapter = 	 {Tools for High Performance Fortran: a survey},
  pages =	 {134--158},		  
  publisher = 	 {Springer Verlag},
  series =	 "LNCS 1132",		  
  year = 	 1996
}

@InBook{Pazat96b,
  author = 	 {Coelho, F. and Germain, C. and Pazat, J.-L.},
  title = 	 {Spring School on Data Parallelism},
  chapter = 	 {State of the art in compiling HPF},
  publisher = 	 {Springer Verlag},
  pages =	 {104--133},		  
  series =	 "LNCS 1132",
  year = 	 1996
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%              COMMUNICATIONS A CONGRES, COLLOQUES, ETC                     % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
		  
@InProceedings{Andre96b,
   author =	{Andr\'e, F. and Mah\'eo, Y.},
   title =	{CIDRE: une biblioth\`eque  de tableaux partag\'es},
   booktitle = 	{Proc.  Renpar'8, Bordeaux}, 
   publisher = 	{GDR-PRC PRS},
   pages = 	{5--8},
   month =	may,
   year =	"1996"
		  
}	
		  
@InProceedings{Andre96c,
   author =	{Andr\'e, F. and Mah\'eo, Y.},
   title =	{Programmation distribu\'ee avec partage de tableaux: la 
		  biblioth\`eque CIDRE},
   booktitle = 	{Proc. MPR'96, Bordeaux}, 
   publisher = 	{GDR-PRC PRS},
   pages = 	{83--90},
   month =	may,
   year =	"1996"
		  
}	
			  
		  
@InProceedings{Andre96e,
   author =	 {Andr\'{e}, F. and Mah\'eo, Y.},
   title =	 "CIDRE: Programming with Distributed Shared Arrays",
   booktitle =  {Proc. 3rd International Conference on High Performance
		  Computing, Trivandrum India}, 
   publisher =   {IEEE},
   pages =       {},
   month =       dec,
   year =	 "1996"
}	  	
		  
@InProceedings{Boubour96b,
  author =	{Boubour, R. and Jard, C.},
  title =	 {Une approche pour des capteurs d'alarmes intelligents 
		  dans les réseaux},
  booktitle =	{CFIP'96~: Ing\'{e}nierie des Protocoles},
  publisher = {Hermes},
  month =	oct,
  year =        {1996},
  editor =      {A. Bennani and R. Dssouli and A. Benkiran and O. Rafiq}
}
		  
@InProceedings{CNET96b,
  author =	{Aghasaryan, A. and Basseville, M. and Benveniste, A. and
		  Boubour, R. and Fabre, E. and Jard, C.}, 
  title =	 {Diagnostic dans les r\'eseaux de t\'el\'ecommunications},
  booktitle =	{Diagnostic des syst\`emes complexes},
  publisher = {{\sc CNET}},
  month =	jun,
  year =        {1996},
  note = {S\'eminaire de l'Action Scientifique du {\sc CNET}} 
}
		
		  
@INPROCEEDINGS{Jard96a,
   AUTHOR = {Jard, C. and J\'ez\'equel, J.-M. and Nedelka, L.},
   booktitle  = {Proc. of FMOODS'96, Paris},
   PUBLISHER = {Chapman \& Hall},
   MONTH = mar,
   PAGES = {},
   TITLE = {An Approach to Integrate Formal Validation in an {OO} Life-cycle 
		  of Protocols},
   YEAR = {1996}
}
@InProceedings{Jezequel96a,
   author =	"J\'{e}z\'{e}quel, J.-M.",
   title =	"Engineering High Performance Telecom Systems with {Eiffel}",
   booktitle = {TOOLS Europe'96},  
   publisher = {Prentice Hall},
   pages = {67--76},
   month = 	feb,
   year =	"1996"
}

@inproceedings{Jezequel96c,
   author = {J\'{e}z\'{e}quel, J.-M. and Pacherie, J.-L.},
   booktitle = {ECOOP'96 proceedings},
   title = "{Parallel Operators}",
   publisher = {Lecture Notes in Computer Science, Springer Verlag},
   editor = {P. Cointe},
   pages = {384--405},
   number = {1098},
   month = jul,
   year = 1996
}

		  
@INPROCEEDINGS{Pacherie96a,
   AUTHOR = {Pacherie, J.-L. and J\'{e}z\'{e}quel, J.-M.},
   ADDRESS = {Bordeaux, France},
   BOOKTITLE = {Journées de recherche sur la mémoire partagée
		  répartie, MPR'96},
   PUBLISHER = {Université de Bordeaux I},
   MONTH = may,
   TITLE = {Environnement pour la programmation parallèle au-dessus
		  d'une mémoire partagée répartie},
   PAGES = {75},
   YEAR = {1996}
}
@INPROCEEDINGS{Pacherie96b,
   AUTHOR = {Pacherie, J.-L.},
   ADDRESS = {Bordeaux, France},
   BOOKTITLE = {Huitièmes rencontres francophones du parallélisme, RenPar'8},
   PUBLISHER = {Université de Bordeaux I},
   EDITOR = {Castanet, R. and Roman, J.},
   MONTH = may,
   TITLE = {Modèle et environnemnt de programmation parallèle par objets},
   PAGES = {9},
   YEAR = {1996}
}
@INPROCEEDINGS{Pacherie96c,
   AUTHOR = {Pacherie, J.-L. and J\'{e}z\'{e}quel, J.-M.},
   ADDRESS = {Champain Urbana, USA},
   BOOKTITLE = {Pattern Languages of Program, PLoP '96},
   PUBLISHER = {\`a para\^{\i}tre},
   MONTH = sep,
   TITLE = {The ``Ubiquitous Agent'' Design Pattern},
   PAGES = {},
   YEAR = {1996}
}		  
		  
		  
@InProceedings{Massari96,
  author = 	 "L. Massari and Y. Mah{\'e}o",
  title = 	 "{P}erformance {A}nalysis of {A}utomatically {G}enerated 
                  {D}ata-{P}arallel {P}rograms",
  booktitle =	 "4th Euromicro Workshop On Parallel And Distributed
                  Processing",
  year =	 1996,
  pages =        "534--540",
  address =	 "Braga, Portugal",
  publisher =    "IEEE Computer Society Press",
  month =	 jan
}

@InProceedings{Bareau96a,
  author =       "C. Bareau and C. Jard",
  title =        "Dynamic Analysis of Parallelized Sequential Programs
                  using Instrumented Semantics",
  booktitle =    "Parallel Environments for High Performance Computing,
                  European School of Computer Science",
  year =         1996,
  address =      "Grenoble",
  publisher =    "CNRS",
  month =        apr
}

@InProceedings{Caillaud96a,
  author =       "B. Caillaud and P. Caspi and  A. Girault and C. Jard",
  title =        "Un mod\`{e}le pour la r\'{e}partition d'automates 
		  r\'{e}actifs sur r\'{e}seau asynchrone de processeurs",
  booktitle =    "Colloque AFCET sur la modélisation des syst\`emes
		  r\'eactifs", 
  year =         1996,
  address =      "Brest",
  publisher =    "AFCET",
  month =        mar
}
		  
@inproceedings{FJJV96b,
author =        "Fernandez, J.-C. and  Jard, C. and J\'eron, T. and Viho,  C.",
title =         "Using on-the-fly verification techniques 
                  for the generation of test suites",
booktitle=      "Conference on Computer-Aided Verification (CAV '96), New
		  Brunswick, New Jersey, USA", 
editor=         "Alur, A. and Henzinger, T.",		  
publisher=	"Springer",
series=		"LNCS 1102",
month =         jul,
year =          "1996"
}

@inproceedings{DEFJBTP96,
author =       "Doldi, L. and Encontre, V. and Fernandez, J.-C. and 
		  J\'eron, T. and Le Bricquir, S. and Texier, N. 
		  and Phalippou, M.",
title =        "Assessment of automatic generation methods of conformance test
		  suites in an industrial context",
booktitle=     "IFIP TC6 9$^{th}$ International Workshop on Testing  
		  of Communicating Systems",
editor =       "Baumgarten, B. and Burkhardt, H.-J. and Giessler, A.",
publisher =    "Chapman \& Hall",
month =        sep,
year = 	       "1996"  
}		  
		  
@InProceedings{Pazat96,
  author = 	 {Pazat, J.-L.},
  title = 	 {Pandore: A High Performance C Programming Environment for 
		  Educational Purpose},
  booktitle = 	 {10th Annual International Conference on High Performance
		  Computers (HPCS), Ottawa, Canada},
  year =	 1996,
  month =	 jun
}


@INPROCEEDINGS{BCS96,
        AUTHOR             = {Burkart, O. and Caucal, D. and Steffen, B.},
        BOOKTITLE          = {CONCUR '96},
        PAGES              = {247--262},
        PUBLISHER          = {Springer},
        SERIES             = {LNCS 1119},
        TITLE              = {Bisimulation {C}ollapse and the {P}rocess 
		  {T}axonomy}, 
	YEAR               = {1996}
}

@INPROCEEDINGS{BuQ96b,
        AUTHOR             = {Burkart, O. and Quemener, Y.-M.},
        BOOKTITLE          = {INFINITY '96},
        MONTH              = jul,
        PAGES              = {56--70},
        PUBLISHER          = {Universit{\"a}t Passau},
        SERIES             = {MIP-9614,},
        TITLE              = {Model-{C}hecking of {I}nfinite {G}raphs {D}efined by {G}raph {G}rammars},
        YEAR               = 1996
}

@INPROCEEDINGS{QJ96,
	AUTHOR	           = {Quemener, Y.-M. and J\'eron, T.},
	BOOKTITLE          = {FORTE/PSTV '96},
        MONTH              = oct,
	PUBLISHER          = {Chapman and Hill},
        TITLE              = {Finitely Representing Infinite Reachability
		  Graphs of CFSMs with Graph Grammars},
	YEAR               = {1996}
}
		  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%      RAPPORTS DE RECHERCHE ET PUBLICATIONS INTERNES                       % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@TechReport{Andre96,
  author = 	 {Andr\'{e}, F.},
  title = 	 {A Multi-threads Runtime for The Pandore Data-Parallel 
		  Compiler},
  institution =  {IRISA},
  year = 	 {1996},
  number = 	 {986},
  month = 	 feb,
  address = 	 {France}
}
		  
@TECHREPORT{FJJLV96a,
AUTHOR		 = {Fernandez, J.-C. and  Jard, C. and J\'eron, T. and Nedelka,
 		    L. and Viho,  C.}, 
TITLE		 = {An Experiment in Automatic Generation of Test Suites for
		    Protocols with Verification  Technology}, 
INSTITUTION	 = {IRISA},
NUMBER 		 = {1035},
MONTH  		 = jun,
YEAR		 = {1996},
note             ={\'{e}galement disponible en rapport de recherche Inria n$^o$2923}
}
		  
@techreport{FJJLV96b,
author =        "Fernandez, J.-C. and  Jard, C. and J\'eron, T. 
		and Nedelka, L. and Viho,  C.",
title =         "Using on-the-fly verification techniques 
                  for the generation of test suites",
institution =	"IRISA",
number = 	"1036",
month = 	jul,
year =		"1996"
}
		  
@TechReport{JJN96a,
  author = 	 {Jard, C. and Jezequel, J.-M. and Nedelka, L.},
  title = 	 {An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols},
  institution =  {IRISA},
  year = 	 1996,
  number =	 987,
  month =	 feb
}

@TechReport{Quemener96a,
  author = 	 {Quemener, Y.-M. and J\'eron, T.},
  title = 	 {Finitely Representing Infinite Reachability Graphs of CFSMs
		  with Graph Grammars},
  institution =  {IRISA},
  year = 	 1996,
  number =	 994,
  month =	 mar
}	  
		  
@TechReport{Burkart96,
  author = 	 {Burkart, O. and Quemener, Y.-M.},
  title = 	 {Model-Checking of Infinite Graphs Defined by Graph Grammars},
  institution =  {IRISA},
  year = 	 1996,
  number =	 995,
  month =	 may
}	
		  
@TechReport{Jezequel96d,
  author = 	 {J\'ez\'equel, J.-M. and Pacherie, J.-L.},
  title = 	 {Parallel operators},
  institution =  {IRISA},
  year = 	 1996,
  number =	 1003,
  month =	 mar
}	


@techreport{Jezequel96h,
  author = {J\'{e}z\'{e}quel, J.-M. and Matsuoka, Satoshi
		  and Sato, Naohito and Yonezawa, Akinori},
  institution = {{The University of Tokyo}},
  month = 	oct,
  number =	{1666},
  title = "{{An Object-Oriented Approach to Parallel Propagation Problems}}",
  year = 1996
}
		  
@TechReport{Boubour96a,
  author = 	 {Boubour, R. and Jard, C.},
  title = 	 {Une approche pour des capteurs d'alarmes intelligents 
		  dans les réseaux},
  institution =  {IRISA},
  year = 	 1996,
  number =	 1041,
  month =	 jul,
    note =        {\'{e}galement disponible en rapport de recherche Inria n$^o$2982}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                            COMMUNICATIONS SANS SELECTION                  % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
%		  
@Misc{Andre96d,
   author =	{Andr\'e, F. and Mah\'eo, Y.},
   title =	{CIDRE: A  Distributed Shared Arrays Library},
   howpublished = 	{Proc of 6th Workshop on Compilers for Parallel Computers,
		  Aachen Germany. Research center Juelich}, 
   month =	dec,
   year =	"1996"
		  
}	
@Misc{Andre96a,
  AUTHOR = 	 {Andr\'e, F. and Pazat, J.-L.},
  howpublished =    {HPCN'96},
  TITLE = 	 {A Multi-threads Runtime for The Pandore Data-Parallel 
		  Compiler},
  YEAR = 	 {1996},
  MONTH = 	 apr,
  NOTE =          "poster"		  
}

@Misc{Jard96e,
  author =       "Jard, C.",
  title =        "Using on-the-fly verification techniques for the generation
		  of protocol test cases",
  howpublished =    "Application of formal methods to system development,
		  Jacques Cartier Centre, Montr\'eal",
  year =         1996,
  month =        oct,
  note =         "Conf\'{e}rence invit\'{e}e"
}

@Misc{Jard96c,
  author =       "C. Jard",
  title =        "La g\'{e}n\'{e}ration de tests pour les protocoles
                  \`{a} l'aide de la technologie de la v\'{e}rification",
  howpublished =    "Colloque FORMA sur l'utilisation des méthodes formelles,
		  V\'erimag/CNRS, Grenoble",
  year =         1996,
  note =         "Conf\'{e}rence invit\'{e}e",
  month =        jan
}

@Misc{Jeron96a,
 author =        "J\'eron, T.",
  title =        "La g\'{e}n\'{e}ration de tests pour les protocoles
                  \`{a} l'aide de la technologie de la v\'{e}rification",
  howpublished =    "Conf\'erence Software Testing'96, Paris, Club G\'enie Logiciel SEE",
  month =        jun,
  year =         "1996",
  note =         "Conf\'erence invit\'ee"		   
}		  

@Misc{Launay96,
   author =	{Pazat, J.-L. and Launay, P.},
   title =	{Integration of control and data parallelism in an object
		  oriented  language}, 
   howpublished = 	{Proc of 6th Workshop on Compilers for Parallel Computers,
		  Aachen Germany. Research center Juelich}, 
   month =	dec,
   year =	"1996"
		  
}	

%------------------------------------------------------------------------------