Liste des Publications/List of Publications
- 2001 -

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

Livres/Books

[1] F. Cassez, C. Jard, B. Rozoy, and M. Ryan, editors. -- Modelling and Verification of Parallel Processes, volume 2067 of LNCS. -- Springer, 2001. [BibTeX]

Articles/Articles (Referred Journals)

[1] Jean-Marc Jézéquel, Daniel Deveaux, and Yves Le Traon. -- Reliable objects: a lightweight approach applied to Java. -- IEEE Software, 18(4):76--83, July/August 2001. [BibTeX]

[2] Géraldine Texier and Noël Plouzeau. -- Automatic management of sessions in shared spaces. -- Journal of Supercomputing, 2001. [BibTeX]

[3] Loïc Hélouët, Claude Jard, and Benoit Caillaud. -- An event structure semantics for message sequence charts. -- Special issue on graph transformation in Mathematical Structures in Computer Science (MSCS) journal, 2001. [BibTeX]

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

[1] Hanh Vu Le, Akif Kamel, Yves Le Traon, and Jean-Marc Jézéquel. -- Selecting an efficient OO integration testing strategy: An experimental comparison of actual strategies. -- In J. L. Knudsen, editor, Proceedings of ECOOP2001, volume 2072 of LNCS, pages 381--400, Budapest, Hungary, June 2001. Springer. [PDF] [BibTeX]

[2] Gerson Sunyé, François Pennaneac'h, Wai Ming Ho, Alain Le Guennec, and Jean-Marc Jézéquel. -- Using UML Action Semantics for executable modeling and beyond. -- In Klaus R. Dittrich, Andreas Geppert, and Moira C. Norrie, editors, Advanced Information Systems Engineering --- CAiSE 2001, volume 2068 of LNCS, pages 433--447, Interlaken, Switzerland, June 2001. Springer. [PDF] [BibTeX]

[3] Benoit Baudry, Yves Le Traon, Gerson Sunyé, and Jean-Marc Jézéquel. -- Towards a 'safe' use of design patterns to improve oo software testability. -- In Proceedings of ISSRE 2001, November 2001. [PDF] [BibTeX]

[4] Gerson Sunyé, Damien Pollet, Yves Le Traon, and Jean-Marc Jézéquel. -- Refactoring UML models. -- In Proceedings of UML 2001, volume 2185 of LNCS, pages 134--148. Springer Verlag, 2001. [PDF] [BibTeX]

[5] François Pennaneac'h, Jean-Marc Jézéquel, Jacques Malenfant, and Gerson Sunyé. -- UML reflections. -- In Proc. of Reflection 2001, September 2001. [PDF] [BibTeX]

[6] Torben Weis, Christian Becker, Kurt Geihs, and Noël Plouzeau. -- An UML meta model for contract aware components. -- In Proceedings of UML 2001, volume 2185 of LNCS, pages 442--456. Springer Verlag, 2001. [BibTeX]

[7] D. Deveaux, P. Frison, and J.-M. Jézéquel. -- Increase software trustability with self-testable classes in Java. -- In Proceedings of ASWEC 2001, pages 3--11, Canberra, Australia, August 2001. IEEE CS Press. [BibTeX]

[8] Benoit Baudry, Yves Le Traon, and Jean-Marc Jézéquel. -- Robustness and diagnosability of oo systems designed by contracts. -- In Proceedings of Metrics'01, London, UK, April 2001. [PDF] [BibTeX]

[9] L. Du Bousquet, H. Martin, and J.-M. Jézéquel. -- Conformance testing from UML specifications. -- In Proceedings UML2001 wkshp: Practical UML-Based Rigorous Development Methods, GI-Edition - Lecture Notes in Informatics (LNI). Bonner Köllen Verlag, October 2001. [PDF] [BibTeX]

[10] S. Pickin, C. Jard, T. Heuillard, J.-M. Jézéquel, and P. Desfray. -- A UML-integrated test description language for component testing. -- In Proceedings UML2001 wkshp: Practical UML-Based Rigorous Development Methods, GI-Edition - Lecture Notes in Informatics (LNI). Bonner Köllen Verlag, October 2001. [PDF] [BibTeX]

[11] J. Malenfant, M.-T. Segarra, and F. André. -- Dynamic adaptability: the molène experiment. -- In Proceedings of Reflection 2001, September 2001. [BibTeX]

[12] Daniel Deveaux and Yves Le Traon. -- XML to Manage Source Code Engineering in Object-Oriented Development: an Example. -- In Cecilia Mascolo, Wolfgang Emmerich, and Anthony Finkelstein, editors, Proceedings of XML Technologies and Software Engineering, pages 28--31, Toronto, Canada, May 2001. XSE01 workshop at ICSE'2001. [BibTeX]

[13] Loïc Hélouët. -- Some pathological message sequence charts and how to detect them. -- In R.Reed, editor, SDL 2001: meeting UML, 10th SDL Forum, number 2078 in LNCS, pages 348--364, june 2001. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Alain Le Guennec. -- Génie Logiciel et Méthodes Formelles avec UML : Spécification, Validation et Génération de tests. -- PhD thesis, école doctorale MATISSE, Universite de Rennes 1, June 2001. [PDF] [BibTeX]

[2] François Pennaneac'h. -- UML : de l'action à la réflexion. -- PhD thesis, Ecole doctorale MATISSE, Universite de Rennes 1, December 2001. [PDF] [BibTeX]

[3] Wai Ming Ho. -- Contribution à la Réification d'un Processus de Conception. -- PhD thesis, Ecole doctorale MATISSE, Universite de Rennes 1, September 2001. [PDF] [BibTeX]

[4] Jean-Marc Jézéquel. -- Traité IC2 : Langages à objets, chapter Eiffel. -- Hermès Science Publications, Paris, December 2002. [BibTeX]

[5] S. Ramakrishnan, C. Mingins, J.-M. Jézéquel, and A. Ulrich. -- Panel: A framework for distributed component test certification facility - conformity and compliance testing. -- In Proceedings ISSRE2001, November 2001. [PDF] [BibTeX]

[6] Loïc Hélouët and Claude Jard. -- Etat de l'art sur les langages de scénarios. -- In MSR'2001, Colloque francophone sur la modélisation des systèmes réactifs, October 2001. [PDF] [BibTeX]

[7] Loïc Hélouët. -- Détaction d'interactoin entre services modélisés par des hmsc. -- In MSR'2001, Colloque francophone sur la modélisation des systèmes réactifs, 2001. [BibTeX]