% BIBLIOGRAPHIE RAPPORT 1997 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{GGJ-TSI97, EDITOR = {Garavel, H. and Groz, R. and Jard, C.}, MONTH = jun, PUBLISHER = {Hermes}, TITLE = {RAIRO, Technique et science informatiques~: M\'{e}thodes formelles : validation de syst\`{e}mes complexes}, VOLUME = {16}, YEAR = {1997} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % HABILITATIONS % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % THESES % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @PhdThesis{Boubour-these97, AUTHOR = {Boubour, R.}, NOTE = {Soutenue le 17 Octobre}, SCHOOL = {IFSIC~/~universit\'{e} de Rennes~1}, TITLE = {Suivi de pannes par corr\'{e}lation causale d'alarmes dans les syst\`{e}mes r\'{e}partis~: application aux r\'{e}seaux de t\'{e}l\'{e}communication}, TYPE = {Th\`{e}se de doctorat}, YEAR = {1997} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % ARTICLES ET CHAPITRES DE LIVRES % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @Article{CaCaGi97, AUTHOR = {Caillaud, B. and Caspi, P. and Girault, A. and Jard, C.}, JOURNAL = {European Journal on Automated Systems (JESA)}, MONTH = may, NUMBER = {3}, PAGES = {503--524}, PUBLISHER = {Hermes}, TITLE = {Distributing automata for asynchronous networks of processors}, VOLUME = {31}, YEAR = {1997} } @Article{Jard97a, AUTHOR = {Jard, C.}, JOURNAL = {RAIRO, Technique et science informatiques}, MONTH = feb, NUMBER = {2}, PAGES = {225--241}, PUBLISHER = {Hermes}, TITLE = {Observation d'ex\'{e}cutions r\'{e}parties~: d\'{e}tection de propri\'{e}t\'{e}s d'ordonnancement}, VOLUME = {16}, YEAR = {1997} } @InBook{Jard97b, AUTHOR = {Blondel, X. and Jard, C.}, CHAPTER = {LDS appliqu\'{e} \`{a} la mod\'{e}lisation et \`{a} la validation des processus communicants}, PAGES = {109--122}, PUBLISHER = {Observatoire fran\c{c}ais des techniques avanc\'{e}es}, SERIES = {ARAGO-20}, TITLE = {Application des techniques formelles au logiciel}, YEAR = {1997} } @Article{Jezequel97a, AUTHOR = {J\'{e}z\'{e}quel, J.-M. and Meyer, B.}, JOURNAL = {Computer}, MONTH = jan, NUMBER = {1}, PAGES = {129--130}, PUBLISHER = {{IEEE Computer Society}}, TITLE = {Design by Contract: The Lessons of {Ariane}}, VOLUME = {30}, YEAR = {1997} } @InCollection{Jezequel97e, AUTHOR = {Jean-Marc J\'{e}z\'{e}quel}, BOOKTITLE = {Ecole d'hiver ICaRE97 : Conception et mise en {\oe}uvre d'applications parallèles irrégulières}, MONTH = dec, PUBLISHER = {CNRS}, TITLE = {Conception par objet et mise en d'applications irrégulières}, YEAR = {1997} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % COMMUNICATIONS A CONGRES, COLLOQUES, ETC % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % @InProceedings{parco97, AUTHOR = {P.~Launay and J.-L. Pazat.}, BOOKTITLE = {Parallel Computing, ParCo~97}, MONTH = sep, TITLE = {Generation of distributed object-oriented programs.}, YEAR = {1997} } @InProceedings{RenPar9, AUTHOR = {P.~Launay and J.-L. Pazat}, ADDRESS = {Lausanne}, BOOKTITLE = {$9^{\mbox{\scriptsize{\`{e}mes}}}$ rencontres sur le parallélisme}, TITLE = {R\'{e}partition de programmes orient\'{e}s-objets centralis\'{e}s.}, YEAR = {1997} } @InProceedings{Barcelone, AUTHOR = {J.-L. Pazat}, ADDRESS = {Barcelone (Espagne)}, BOOKTITLE = {Third Workshop on Automatic Data Layout and Performance}, MONTH = jan, TITLE = {Generation of distributed object oriented programs.}, YEAR = {1997} } @InProceedings{obpdc97, AUTHOR = {J.-M. J\'{e}z\'{e}quel and T.~Leseney and S.~Matsuoka and J.-M. Pacherie and J.-L. Pazat}, BOOKTITLE = {OBPDC'97}, MONTH = oct, TITLE = {Operators for object-oriented meta-computing.}, YEAR = {1997} } @InProceedings{Pacherie97a, author = "Pacherie, J.-L.", title = "Operator Design Pattern for Parallel Computations", booktitle = "TOOLS USA 97", year = 1997, organization = "ISE Corp.", address = "Santa Barbara CA", month = "August" } @InProceedings{lavenier97, author = "Lavenier, D. and Pacherie, J.-L.", title = "Parallel Processing for Scanning Genomic Data-Bases", booktitle = "Parallel Computing, ParCo'97", year = 1997, month = "September" } @InProceedings{Jezequel97g, author = "Jean-Marc J\'{e}z\'{e}quel and Fran\c{c}ois Pennaneac'h", title = "Validating Distributed OO Software", booktitle = "Workshop on Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP'97 Workshop \#6)", address = "Finland", month = jun, year = 1997 } @InProceedings{BoJa97, AUTHOR = {R. Boubour and C. Jard}, BOOKTITLE = {Proceedings of the 18th Int. Conf. on Application and Theory of Petri Nets, Toulouse.}, EDITOR = {P. Az\'{e}ma and G. Balbo}, MONTH = jun, NUMBER = {1248}, PAGES = {367--386}, SERIES = {Lecture Notes in Computer Science}, TITLE = {Fault Detection in Telecommunication Networks Based on Petri Net Representation of Alarm Propagation}, YEAR = {1997} } @InProceedings{BoJaFa97, AUTHOR = {Boubour, R. and Jard, C. and Fabre, E. and Aghasaryan, A. and Benveniste, A.}, BOOKTITLE = {Proceedings of the annual IEEE Control and Decision Conference (CDC'97), San-Diego.}, MONTH = dec, TITLE = {A {P}etri {N}et approach to fault detection and diagnosis in distributed systems. Part {I}: application to telecommunication networks, motivations, and modeling.}, YEAR = {1997} } @InProceedings{FaAgBe97, AUTHOR = {Fabre, E. and Aghasaryan, A. and Benveniste, A. and Boubour. R. and Jard, C.}, BOOKTITLE = {Proceedings of the annual IEEE Control and Decision Conference (CDC'97), San-Diego.}, MONTH = dec, TITLE = {A {P}etri {N}et approach to fault detection and diagnosis in distributed systems. Part {II}: extending {V}iterbi algorithm and {HMM} techniques to {P}etri {N}ets.}, YEAR = {1997} } @InProceedings{AgBeBo97, AUTHOR = {Aghasaryan, A. and Benveniste, A. and Boubour, R. and Fabre, E. and Jard, C.}, BOOKTITLE = {Actes du 2eme colloque francophone sur la gestion de r\'{e}seau et de service (GRES'97), Rennes.}, MONTH = sep, TITLE = {Suivi de pannes dans les r\'{e}seaux de t\'{e}l\'{e}communication~: une approche par reconnaissance d'ordres partiels}, YEAR = {1997} } @InProceedings{JaJe97, AUTHOR = {Jard, C. and J\'{e}z\'{e}quel, J.M.}, BOOKTITLE = {Actes des journ\'{e}es AFADL - Approches formelles dans l'assistance au d\'{e}veloppement de logiciels, Toulouse}, MONTH = may, TITLE = {Vers l'utilisation d'outils de validation dans un processus de conception objet de protocoles}, YEAR = {1997} } @InProceedings{JaJeMo97, AUTHOR = {Jard, C. and J\'{e}ron, T. and Morel, P. and Viho, C.}, BOOKTITLE = {Actes de la conf\'{e}rence TESTING'97, Paris}, MONTH = jun, TITLE = {Une exp\'{e}rience de g\'{e}n\'{e}ration automatique de tests pour un protocole de coh\'{e}rence de caches}, YEAR = {1997} } @InProceedings{Jezequel97b, AUTHOR = {J\'{e}z\'{e}quel, J.-M}, ADDRESS = {Vienna}, BOOKTITLE = {{HPCN} Europe}, MONTH = apr, PUBLISHER = {{LNCS}, Springer Verlag}, TITLE = {Using Scalable Distributed Computers in Telecommunications}, YEAR = {1997} } @InProceedings{Jezequel97c, AUTHOR = {J.M. J\'{e}z\'{e}quel and Satoshi Matsuoka and Naohito Sato and Akinori Yonezawa}, ADDRESS = {Vienna, Austria}, BOOKTITLE = {Proc. of International Conference on Supercomputing}, MONTH = jul, TITLE = {A Methodology for Specifying Data Distribution using only Standard Object-Oriented Features}, YEAR = {1997} } @InProceedings{JeMo97, AUTHOR = {J\'{e}ron, T. and Morel, P.}, BOOKTITLE = {CFIP'97, {C}ongr\`{e}s {F}rancophone sur l'{I}ng\'{e}ni\'{e}rie des {P}rotocoles, Li\`{e}ge, Belgique}, MONTH = sep, PUBLISHER = {Hermes}, TITLE = {Abstraction, $\tau$-r\'{e}duction et d\'{e}terminisation \`{a} la vol\'{e}e: application à la g\'{e}n\'{e}ration de test}, YEAR = {1997} } @InProceedings{Jezequel97d, AUTHOR = {Jean-Marc J\'{e}z\'{e}quel and Thomas Leseney and Jean-Lin Pacherie and Jean-Louis Pazat and Naohito Sato and Satoshi Matsuoka}, ADDRESS = {Toulouse}, BOOKTITLE = {Proc. of the Second Workshop on Object-Based Parallel and Distributed Computation (OBPDC'97)}, MONTH = oct, TITLE = {Operators for Object-Oriented Meta-Computing}, YEAR = {1997} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % RAPPORTS DE RECHERCHE ET PUBLICATIONS INTERNES % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% @TechReport{Caillaud97a, AUTHOR = {Caillaud, B.}, ADDRESS = {France}, INSTITUTION = {IRISA}, MONTH = {Avril}, NOTE = {\'{e}galement publi\'{e} en rapport INRIA no 3155}, NUMBER = {1101}, TITLE = {{\sc Synet}~: un outil de synth\`{e}se de r\'{e}seaux de Petri born\'{e}s, applications}, YEAR = {1997} } @TechReport{fabre97c, AUTHOR = {A.~Aghasaryan and R.~Boubour and E.~Fabre and C.~Jard and A.~Benveniste}, INSTITUTION = {Irisa}, MONTH = aug, NUMBER = 1117, TITLE = {A Petri net approach to fault detection and diagnosis in distributed systems}, TYPE = {publication interne}, YEAR = {1997}, URL = {ftp://ftp.irisa.fr/techreports/1997/PI-1117.ps.gz} } %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % DIVERS % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % @Misc{Jard97c, author = {Jard, C.}, title = {Diagnostic dans les syst\`{e}mes r\'{e}partis fond\'{e} sur des mod\`{e}les d'ordre partiel}, howpublished = {Actes de JBOPAD97, Ordres partiels et algorithmes distribu\'{e}s, Bordeaux}, month = jun, note = {Conf\'{e}rence invit\'{e}e}, year = {1997} } % @Misc{Jard97d, author = {Jard, C.}, title = {Testing behavioural properties of systems using model-based verification techniques}, howpublished = {Proceedings of the workshop on Formal design of Safety Critical Embedded Systems, Munich, Germany}, month = apr, note = {Invited conference}, year = {1997} } % @Misc{Jard97e, author = {Jard, C.}, title = {G\'{e}n\'{e}ration automatique de tests pour les protocoles}, howpublished = {Actes de la vingti\`{e}me journ\'{e}e de l'OFTA, Paris}, month = jun, note = {Conf\'{e}rence invit\'{e}e}, year = {1997} }