%                        BIBLIOGRAPHIE  1998 Projet PAMPA
%
%
% Pour les mois n'utiliser que les abreviations standard:
% jan feb mar apr may jun jul aug sep oct nov dec
%		  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                          LIVRES ET MONOGRAPHIES                           %
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@BOOK{Jezequel98,
   AUTHOR = {J\'{e}z\'{e}quel, J.-M. and Mingins, C. and Train, M.},
   PUBLISHER = {Addison-Wesley},
   TITLE = {{A}dvanced {D}esign {P}atterns: An {Eiffel} Perspective},
   MONTH = dec,
   YEAR = 1998
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                            HABILITATIONS                                  % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                                THESES                                     % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                 ARTICLES ET CHAPITRES DE LIVRES                           % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@Article{Jard98a,
  author =       {Jard, C. and J\'ez\'equel, J.-M. and Pennaneac'h, F.},
  title =        {Vers l'utilisation d'outils de validation de protocoles dans {UML}},
  journal =      {Technique et Science Informatique},
  year =         1998,
  volume =       17,
  number =       9,
  month =        sep
}

@Article{Fabre98a,
  author =       {Fabre, E. and Aghasaryan, A. and Benveniste, A. and Boubour, R. and Jard, C.},
  title =        {Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets},
  journal =      {Journal of Discrete Events Dynamic Systems},
  year =         1998,
  volume =       8,
  pages =        {203--231}
}

@Article{Jezequel98h,
  author =       {Jean-Marc J\'{e}z\'{e}quel and Stephane Lorcy and Noel Plouzeau},
  title =        {Un patron pour la gestion de la qualit\'e de service d'applications r\'eparties},
  journal =      {L'Objet},
  year =         1998,
  volume =       3,
  number =       6
}

@Article{Jezequel98g,
  author =       {Jean-Marc J\'{e}z\'{e}quel},
  title =        {An Object-Oriented Framework for Data Parallelism},
  journal =      {ACM Computing Surveys},
  year =         1998,
  month =        dec,
  volume =       {To be published}
}

@InBook{Jezequel98f,
  author =       {Jean-Marc J\'{e}z\'{e}quel and Jean-Lin Pacherie},
  title =        {Object-Oriented Application Frameworks},
  chapter =      {{EPEE}: A Framework for Supercomputing},
  publisher =    {John Wiley \& Sons},
  year =         1998,
  address =      {New York}
}


@Article{Bozga98a,
  author =        {Bozga, Marius and Fernandez, Jean-Claude and Ghirvu, Lucian
                  and Jard, Claude and J\'e{ron}, Thierry and Kerbrat, Alain
                  and Morel, Pierre and Mounier, Laurent},
  title =         {Verification and test generation for the {SSCOP} protocol},
  journal =       {Journal of Science of Computer Programming, 
                   Special Issue on The Application of Formal Methods 
                   in Industrial Critical Systems},
  publisher =     {Elsevier},
  volume =        {To appear},
  year =          1998
} 

@Article{Jeron98b,
  author =        {J\'{e}ron, T. and  Jard, C. and Viho, C. and  Caillaud, B.
                   and Kahlouche, H. and  Morel, P.  and Fernandez, J.-C. 
                   and Kerbrat, A. and Bozga, M.},
  title =         {Génération automatique de tests pour les protocoles: 
                   l'exemple de l'approche formelle de TGV},
 journal =        {REE},
 publisher =      {},
 volume =         {To appear},
 year =           1998
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%              COMMUNICATIONS A CONGRES, COLLOQUES, ETC                     % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
@InProceedings{Talpin98,
  author = 	 {Talpin, J.-P. and Benveniste, A. and Caillaud, B. and Jard, C. and Bouziane, Z. and Canon, H.},
  title = 	 {{BDL}, a Language of Distributed Reactive Objects},
  booktitle = 	 {ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing},
  year =	 1998,
  address =	 {Kyoto, Japan},
  month =	 {April}
}

@InProceedings{Aghasaryan98a,
  author =       {Aghasaryan, A. and Fabre, E. and Benveniste, A. and Boubour, R. and Jard, C.  },
  title =        {A "hybrid" stochastic Petri net approach to fault diagnosis in large distributed systems},
  booktitle =    {Mathematical Theory of Networks and Systems, MNTS'98},
  year =         1998,
  address =      {Padova, Italy},
  month =        {jul}
}

@InProceedings{Benveniste98a,
  author =       {Benveniste, A. and Jard, C. and Gaubert, S.},
  title =        {Algebraic techniques for timed systems},
  booktitle =    {9th International Conference on Concurrency Theory, Concur'98},
  year =         1998,
  address =      {Nice, France},
  month =        {sep}
}

@InProceedings{Benveniste98b,
  author =       {Benveniste, A. and Gaubert, S. and Jard, C.},
  title =        {Monotone rational series and Max-plus algebraic models of real-time systems},
  booktitle =    {4th Workshop on Discrete Event Systems, Wodes'98},
  year =         1998,
  address =      {Cagliari, Italy},
  month =        {aug}
}

@InProceedings{Jard98b,
  author =       {Jard, C. and J\'{e}ron, T. and Kahlouche, H. and Viho, C.},
  title =        {Towards automatic distribution of testers for distributed conformance testing},
  booktitle =    {IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII)},
  year =         1998,
  address =      {Paris, France},
  month =        {nov}
}

@InProceedings{Jard98c,
  author =       {Jard, C. and J\'{e}ron, T.},
  title =        {Verification and distributed observation of the alternating bit protocol},
  booktitle =    {IFIP TC6/WG6.1 Joint International Conference on formal descri
ption techniques (Forte XI), and protocol specification, testing and verificatio
n (Pstv XVIII), special seesion on educational case studies in protocols},
  year =         1998,
  address =      {Paris, France},
  month =        {nov}
}

@InProceedings{Helouet98a,
  author =       {H\'{e}louet, L. and Jard, C. and Caillaud, B.},
  title =        {Une notion effective d'\'{e}quivalence pour des familles de scenarios repr\'{e}sent\'{e}es par des {HMSC}},
  booktitle =    {Approches Formelles dans
    l'Assistance au Développement de Logiciel, Afadl'98},
  year =         1998,
  address =      {Poitiers, France},
  month =        {sep}
}

@InProceedings{Jezequel98b,
  author =      "Jean-Marc J\'{e}z\'{e}quel", 
  title =       "Reifying Configuration Management for Object-Oriented Software",
  booktitle =   {International Conference on Software Engineering, ICSE'20,
                  Kyoto, Japan}, 
  month =        apr,
  year =        1998
}

@INPROCEEDINGS{Lorcy98a,
  author =       {Stephane Lorcy and Noel Plouzeau and Jean-Marc J\'{e}z\'{e}quel},
  title =        {Reifying Quality of Service Contracts for Distributed Software},
  booktitle =    {26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98)},
  month =        aug,
  year =         1998
}

@InProceedings{Jezequel98e,
  author =      "Jean-Marc J\'{e}z\'{e}quel and Alain LeGuennec and Francois Pennaneach", 
  title =       "Validating Distributed Software Modelled with {UML}",
  booktitle =   {Proc. Int. Workshop UML98, Mulhouse, France}, 
  month =        jun,
  year =        1998
}

@InProceedings{Jeron98a,
  author =      "Thierry J\'eron and Jean-Marc J\'{e}z\'{e}quel and Alain LeGuennec", 
  title =       "Validation and Test Generation for Object-Oriented Distributed
 Software",
  booktitle =   {IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan}, 
  month =        apr,
  year =        1998
}

@InProceedings{Jezequel98c,
  author =      "Jean-Marc J\'{e}z\'{e}quel", 
  title =       "Object-Oriented Design of Real-Time Telecom Systems ",
  booktitle =   {IEEE International Symposium on Object-oriented Real-time
           distributed Computing, ISORC'98, Kyoto, Japan}, 
  month =        apr,
  year =        1998
}

@InProceedings{Caillaud99, author = {Caillaud, B.}, title = {Application des
  techniques de synth\`{e}se de r\'{e}seaux de Petri born\'{e}s \`{a} la
  r\'{e}partition d'automates r\'{e}actifs}, booktitle = {Deuxi\`{e}me
  congr\`{e}s sur la mod\'{e}lisation des syst\`{e}mes r\'{e}actifs (MSR'99)},
  year = 1999, address = {Cachan, France}, month = {mars} }


@inproceedings{Viho96a,
author =       "Kahlouche, H. and Viho, C. and Zendri, M.",
title =        "An industrial experiment in  automatic generation  of executable test suites for a cache coherency protocol", 
booktitle=     "IFIP TC6 11$^{th}$ International Workshop on Testing  
		  of Communicating Systems",
editor =       "Petrenko, A. and  Yevtushenko, N.",
publisher =    "Chapman \& Hall",
month =        sep,
year = 	       "1998"  
}	

@inproceedings{Bouziane98a,
author =       "Bouziane, Z.",
title =        "A Primitive Recursive Algorithm for the General Petri Net Reachability Problem",
booktitle=     "1998 IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS)",
month =        nov,
address = "Palo Alto, US",
year =         "1998"
}  
	  
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%      RAPPORTS DE RECHERCHE ET PUBLICATIONS INTERNES                       % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%

@TechReport{Bouziane98,
author =       "Bouziane, Z.",
title =        "A Primitive Recursive Algorithm for the General Petri Net Reacha
bility Problem",
 institution =  {IRISA},
month =        may,
year =         "1998"
}  

@TechReport{Talpin98a,
  author = 	 {Talpin, J.-P. and Benveniste, A. and Caillaud, B. and Jard, C. and Bouziane, Z. and Canon, H.},
  title = 	 {{BDL}, a Language of Distributed Reactive Objects},
  institution =  {IRISA},
  year = 	 1998,
  type =	 {Research Report},
  number =	 1145,
  month =	 {January},
  note =         {also published as INRIA research report No 3353}

}

@TechReport{Helouet98,
  author = 	 {Helouet,L. and Jard, C and Caillaud, B.},
  title = 	 {An effective equivalence for sets of scenarios represented by HMSCs},
  institution =  {IRISA},
  year = 	 1998,
  type =	 {Research Report},
  number =	 1205,
  month =	 {sep},
  note = {also published as INRIA research report No 3499}
}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                                                                           % 
%                                    DIVERS - conférences invitées          % 
%                                                                           % 
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%

@InProceedings{Jezequel98d,
  author =       {Jean-Marc J\'{e}z\'{e}quel},
  title =        {Conception par objets d'applications parallèles réparties},
  booktitle =    {6ème Forum ORAP},
  year =         1998,
  month =        jan
}

@InProceedings{Jard98d,
  author =       {Jard, C.},
  title =        {Distribution of testers for distributed systems},
  booktitle =    {Dagstuhl seminar : Test Automation for Reactive Systems - Theory and Practice},
  year =         1998,
  note =         {Invited conference},
  month =       sep 
}

@InProceedings{Jard98e,
  author =       {Jard, C.},
  title =        {Sp\'{e}cification, v\'{e}rification et g\'{e}n\'{e}ration de tests pour des protocoles ATM},
  booktitle =    {Programme DSP-STTC/CNRS/MENRT, ma\^{i}trise des syst\`{e}mes complexes r\'{e}actifs et s\^{u}rs, Action {FORMA}},
  year =         1998,
  note =         {Invited conference},
  month =       jan 
}

@InProceedings{Jeron98c,
  author =       {J\'eron, T.},
  title =        {TGV: principles, tool architecture and algorithms},
  booktitle =    {Dagstuhl seminar : Test Automation for Reactive Systems - Theory and Practice},
  year =         1998,
  note =         {Invited conference},
  month =       sep 
}

@InProceedings{Benveniste98c,
  author =       {Benveniste, A. and Fabre, E. and Jard, C.},
  title =        {Partially stochastic Petri nets : a framework for fault detection and diagnosis in large distributed systems},
  booktitle =    {Ecole MOVEP sur la modélisation des processus parallèles},
  year =         1998,
  address = {Nantes},
  note =         {Invited conference},
  month =      jul 
}