Liste des Publications/List of Publications
- 2000 -

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

Livres/Books

[1] Richard Mitchell, Jean-Marc Jézéquel, Jan Bosch, Bertrand Meyer, Alan Cameron Wills, and Mark Woodman, editors. -- Technology of object-oriented languages and systems (TOOLS Europe), volume 33. IEEE Computer Society, June 2000. [BibTeX]

[2] S. Graf and C. Jard, editors. -- SAM2000, 2nd Workshop on SDL and MSC, Grenoble, June 2000. [BibTeX]

[3] F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors. -- Verification and Modeling of Parallel Processes, MOVEP'2k, Euro Summer School, Nantes, June 2000. [BibTeX]

Articles/Articles (Referred Journals)

[1] Yves Le Traon, Thierry Jéron, Jean-Marc Jézéquel, and Pierre Morel. -- Efficient OO integration and regression testing. -- IEEE Trans. on Reliability, 49(1):12--25, March 2000. [BibTeX]

[2] D. Deveaux, R. Fleurquin, P. Frison, J.-M. Jézéquel, and Y. Le Traon. -- Composants objets fiables : une approche pragmatique. -- L'objet, 5(3--4):469--494, April 2000. [BibTeX]

[3] Claude Jard and Thierry Jéron. -- An educational case study in protocol verification and distributed observation. -- Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000. [BibTeX]

[4] M. Bozga, J.-C. Fernandez, L. Ghirvu, C. Jard, T. Jéron, A. Kerbrat, P. Morel, and L. Mounier. -- Verification and test generation for the SSCOP protocol. -- Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems, 36:27--52, 2000. [BibTeX]

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

[1] Freddy Munoz, Benoit Baudry, and Olivier Barais. -- Improving maintenance in aop through an interaction specification framework. -- In ICSM08, 24th International conference on Software Maintentance, Beijing, China, September 2008. IEEE Computer Society Press.

[2] Alain Le Guennec, Gerson Sunyé, and Jean-Marc Jézéquel. -- Precise modeling of design patterns. -- In Proceedings of UML 2000, volume 1939 of LNCS, pages 482--496. Springer Verlag, 2000. [PDF] [BibTeX]

[3] Benoit Baudry, Yves Le Traon, Hanh Vu Le, and Jean-Marc Jézéquel. -- Building trust into oo components using a genetic analogy. -- In Proceedings of ISSRE'2000 (International Symposium on Software Reliability Engineering 2000), San Jose, CA, October 2000. [PDF] [BibTeX]

[4] Wai Ming Ho, Jean-Marc Jézéquel, François Pennaneac'h, and Noël Plouzeau. -- Aspect-oriented design with the UML. -- In Proc. of the ICSE2000 Workshop on Multi-Dimensional Separation of Concerns in Software Engineering, Limerick, Ireland. IEEE Computer Society, June 2000. [BibTeX]

[5] Wai Ming Ho, François Pennaneac'h, and Noël Plouzeau. -- Umlaut: A framework for weaving UML-based aspect-oriented designs. -- In Technology of object-oriented languages and systems (TOOLS Europe), volume 33, pages 324--334. IEEE Computer Society, June 2000. [BibTeX] [BibTeX]

[6] Gerson Sunyé, Alain Le Guennec, and Jean-Marc Jézéquel. -- Design pattern application in UML. -- In E. Bertino, editor, ECOOP'2000 proceedings, number 1850 in LNCS, pages 44--62. Springer Verlag, June 2000. [PDF] [BibTeX]

[7] Thierry Duval and François Pennaneac'h. -- Using the pac-amodeus model and design patterns to make interactive an existing object-oriented kernel. -- In Technology of Object-Oriented Languages and Systems (TOOLS Europe), volume 33, pages 407--418. IEEE Computer Society, 2000. [BibTeX]

[8] Eric Cariou and Antoine Beugnard. -- Specification of Communication Components in UML. -- In The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), session Coordination in Parallel and Distributed Applications and Activities, June 2000. [BibTeX]

[9] Naohito Sato and Jean-Marc Jézéquel. -- Implementing and evaluating an efficient load balancer for distributed molecular dynamics simulation. -- In IEEE Workshop on High-Performance Scientific and Engineering Computing with Applications. IEEE Press, August 2000. [BibTeX]

[10] Benoit Baudry, Yves Le Traon, and Hanh Vu Le. -- Testing-for-trust: the genetic selection model applied to component qualification. -- In Proceedings of TOOLS Europe (Technology of object-oriented languages and systems), volume 33, pages 108--119. IEEE Computer Society, June 2000. [PDF] [BibTeX]

[11] Alain Le Guennec. -- Méthodes formelles avec UML. -- In CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles. Hermes, oct 2000. [PDF] [BibTeX]

[12] Yves Le Traon, Farid Ouabdesselam, and Chantal Robach. -- Analyzing testability on data flow designs. -- In International Symposium on Software Reliability Engineering 2000 (ISSRE'2000), San Jose, CA, October 2000. [BibTeX]

[13] Benoit Baudry, Yves Le Traon, Jean-Marc Jézéquel, and Hanh Vu Le. -- Trustable components: Yet another mutation-based approach. -- In Proceedings of the 1st Symposium on Mutation Testing (Mutation'2000), pages 69--76, San Jose, CA, October 2000. [PDF] [BibTeX]

[14] Claude Jard, Thierry Jéron, and Pierre Morel. -- Verification of test suites. -- In Hasan Ural, Robert L. Probert, and Gregor v. Bochman, editors, IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, pages 3--18, Ottawa, Canada, August 2000. [BibTeX]

[15] Eric Fabre, Albert Benveniste, Claude Jard, Laurie Ricker, and Marc Smith. -- Distributed state reconstruction for discrete event systems. -- In 39th IEEE Conf. on Detection and Control (CDC2000, Sydney, December 2000. [BibTeX]

[16] L. Tanguy, C. Viho, and C. Jard. -- Synthesizing coordination procedures for distributed testing of distributed systems. -- In Ten H. Lai, editor, ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), pages E67--E74, Taipei, Taiwan, ROC, avril 2000. IEEE Computer Society. [BibTeX]

[17] L. Tanguy, C. Viho, and C. Jard. -- Un outil pour la parallélisation automatique de l'exécution répartie de cas de test. -- In J.-P. Courtiat, M. Diaz, and P. Sénac, editors, CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles, pages 333--348, Toulouse, France, October 2000. Hermes. [BibTeX]

[18] Loïc Hélouët and Claude Jard. -- Conditions for synthesis of communicating automata from hmscs. -- In Axel Rennoch (Eds.) Stefania Gnesi, Ina Schieferdecker, editor, 5th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Berlin, April 2000. GMD FOKUS. -- http://www.gmd.de/publications/report/0091. [BibTeX]

[19] Loïc Hélouët, Claude Jard, and Benoit Caillaud. -- An effective equivalence for sets of scenarios. -- In H. Ehrig (Eds.), editor, Proceedings of GRATRA'2000 (joint appligraph and getgrats workshop on graph transformation systems), ETAPS 2000, Berlin, March 2000. [BibTeX]

[20] L. Hélouët and P. Le Maigat. -- Decomposition of message sequence charts. -- In 2nd Conference on SDL and MSC (SAM 2000), June 2000. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Freddy Munoz, Benoit Baudry, and Olivier Barais. -- A classification of invasive patterns in aop. -- Research report inria-00266555, IRISA Research Center, http://hal.inria.fr/inria-00266555/en/, March 2008.

[2] Benoit Caillaud, Jean-Pierre Talpin, Jean-Marc Jézéquel, Albert Benveniste, and Claude Jard. -- Bdl: A semantics backbone for UML dynamic diagrams. -- Technical Report RR-4003, Irisa/INRIA Rennes, September 2000. -- http://www.inria.fr/RRRT/RR-4003.html. [BibTeX]

[3] Eric Cariou. -- Spécification de Composants de Communication en UML. -- In Objets, Composants, Modèles (OCM'2000), May 2000. [BibTeX]

[4] Loïc Hélouët. -- Analyse des exigences des systèmes répartis exprimées par des langages de scénarios. -- PhD thesis, Ecole doctorale MATISSE, Universite de Rennes 1, Octobre 2000. [BibTeX]

[5] Géraldine Texier. -- Gestion des interactions implicites dans les environnements de travail coopératif. -- PhD thesis, Ecole doctorale MATISSE, Université de Rennes 1, 2000. [BibTeX]

[6] Stéphane Lorcy. -- Infrastructure logicielle pour la gestion de la cohérence et de la qualité de service d'un environnement à objets réparti. -- PhD thesis, Ecole doctorale MATISSE, Université de Rennes 1, 2000. [PDF] [BibTeX]

[7] Benoit Baudry. -- Génération, sélection et optimisation génétique de tests. -- Master's thesis, Université de Rennes 1, June 2000. [PDF]