Skip to content
  Projet Triskell  

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]