Liste des Publications/List of Publications
-
2001
-
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]