Liste des Publications/List of Publications
- 1998 -

Triskell Team
IRISA
http://www.irisa.fr/triskell

Livres/Books

[1] F. Cassez, C. Jard, O. Roux, and B. Rozoy, editors. -- Modélisation et vérification des processus parallèles, MOVEP'98, Actes de l'ecole d'été, ECN, July 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[2] Jean-Marc Jézéquel and Jean-Lin Pacherie. -- Object-Oriented Application Frameworks, chapter EPEE: A Framework for Supercomputing. -- John Wiley & Sons, New York, 1999. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

Articles/Articles (Referred Journals)

[1] Claude Jard, Jean-Marc Jézéquel, and François Pennaneac'h. -- Vers l'utilisation d'outils de validation de protocoles dans UML. -- Technique et Science Informatique, 17(9), September 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[2] Jean-Marc Jézéquel, Stéphane Lorcy, and Noël Plouzeau. -- Un patron pour la gestion de la qualité de service d'applications réparties. -- L'Objet, 3(6), 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[3] E. Fabre, A. Aghasaryan, A. Benveniste, R. Boubour, and C. Jard. -- Fault detection and diagnosis in distributed systems : an approach by partially stochastic petri nets. -- Journal of Discrete Events Dynamic Systems, 8:203--231, 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

Conférences Internationales/International Conferences (with program commitee)

[1] Jean-Marc Jézéquel. -- Reifying configuration management for object-oriented software. -- In International Conference on Software Engineering, ICSE'20, Kyoto, Japan, April 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[2] Stephane Lorcy, Noël Plouzeau, and Jean-Marc Jézéquel. -- Reifying quality of service contracts for distributed software. -- In 26th Conference on Technology of Object-Oriented Systems (TOOLS USA'98), August 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[3] Jean-Marc Jézéquel, Alain Le Guennec, and François Pennaneac'h. -- Validating distributed software modelled with UML. -- In Proc. Int. Workshop UML98, Mulhouse, France, June 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[4] Thierry Jéron, Jean-Marc Jézéquel, and Alain Le Guennec. -- Validation and test generation for object-oriented distributed software. -- In IEEE Proc. Parallel and Distributed Software Engineering, PDSE'98, Kyoto, Japan, April 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[5] Jean-Marc Jézéquel. -- Object-oriented design of real-time telecom systems. -- In IEEE International Symposium on Object-oriented Real-time distributed Computing, ISORC'98, Kyoto, Japan, April 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[6] Stephane Lorcy and Noël Plouzeau. -- An object-oriented framework for managing the quality of service of distributed applications. -- In Proc. of the 4th Int. Euro-Par Conference (EURO-Par'98), LNCS 1470, pages 738--741, Southampton, UK, September 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[7] Stephane Lorcy and Noël Plouzeau. -- A distributed algorithm for managing group membership with multiple groups. -- In Proc. of the Int. Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA `98), pages 1643--1649, Las Vegas, Nevada, July 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[8] A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, and C. Jard. -- A "hybrid" stochastic petri net approach to fault di agnosis in large distributed systems. -- In Mathematical Theory of Networks and Systems, MNTS'98, Padova, Italy, July 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[9] A. Benveniste, C. Jard, and S. Gaubert. -- Algebraic techniques for timed systems. -- In 9th International Conference on Concurrency Theory, Concur'98, Nice, France, sep 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[10] A. Benveniste, S. Gaubert, and C. Jard. -- Monotone rational series and max-plus algebraic models of real-time systems. -- In 4th Workshop on Discrete Event Systems, Wodes'98, Cagliari, Italy, aug 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[11] C. Jard, T. Jéron, H. Kahlouche, and C. Viho. -- Towards automatic distribution of testers for distributed conformance testing. -- In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, France, nov 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[12] Claude Jard and Thierry Jéron. -- Verification and distributed observation of the alternating bit protocol. -- In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, France, nov 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[13] J.-P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, and H. Canon. -- BDL, a language of distributed reactive objects. -- In ISORC'98, The 1st IEEE International Symposium on Object-oriented Real-time Distributed Computing, Kyoto, Japan, April 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

Autres Publications/Other Publications

[1] Jean-Marc Jézéquel. -- About the notion of contractable components. -- In Workshop on Trusted Components, TOOLS Pacific'98, November 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[2] Jean-Marc Jézéquel. -- Conception par objets d'applications parallèles réparties. -- In 6ème Forum ORAP, January 1998. [PDF] [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[3] Stephane Lorcy and Noël Plouzeau. -- Utilisation d'un modèle de contrats pour la réalisation d'applications réparties. -- In Actes des dixièmes Rencontres Francophones du Parallélisme, des Architectures et des Systèmes (Renpar'10), pages 25--28, Strasbourg, France, June 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]

[4] LoÏc Hélouët, Claude Jard, and Benoit Caillaud. -- Une notion effective d'équivalence pour des familles de scenarios représentées par des HMSC. -- In Approches Formelles dans l'Assistance au Développement de Logiciel, Afadl'98, Poitiers, France, sep 1998. [BibTeX] [BibTeX] [BibTeX] [BibTeX]