Liste des Publications/List of Publications

The UMLAUT Team

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.

[2]

Claude Jard, Jean-Marc Jézéquel, Alain Le Guennec, and Benoit Caillaud. -- Protocol engineering using UML. -- Annales des Telecoms, 54(11--12):526--538, November 1999.

[3]

C. Jard, J.-M. Jézéquel, and F. Pennaneac'h. -- Vers l'utilisation d'outils de validation de protocoles dans UML. -- Technique et Science Informatique, 17(9), September 1998.

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

[1]

Akif Kamel, H Vu Le, Yves Le Traon, and Jean-Marc Jézéquel. -- Selecting an efficient OO integration testing strategy: An experimental comparison of actual strategies. -- In Proceedings of ECOOP2001, LNCS, 2001.

[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 Proceedings of CAiSE 2001.

[3]

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.

[4]

W.M. Ho, F. Pennaneac'h, and N. 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.

[5]

G. Sunyé, A. Le Guennec, and J.-M. Jézéquel. -- Design pattern application in UML. -- In E. Bertino, editor, ECOOP'2000 proceedings, number 1850, pages 44--62. Lecture Notes in Computer Science, Springer Verlag, June 2000.

[6]

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.

[7]

Alain Le Guennec. -- Méthodes formelles avec uml. -- In CFIP'2000 : Colloque Francophone sur l'Ingénierie des Protocoles. Hermes, oct 2000.

[8]

Wai-Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, and François Pennaneac'h. -- UMLAUT: an extendible UML transformation framework. -- In Proc. Automated Software Engineering, ASE'99, Florida, October 1999.

[9]

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.

[10]

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.

Autres Publications/Other Publications

[1]

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.

[2]

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

[3]

W.M. Ho and Le Guennec A. Pennaneac'h F. Jézéquel, J.-M. -- Umlaut: an extendible uml transformation framework. -- (RR-3775), Oct 1999. -- http://www.inria.fr/RRRT/RR-3775.html.

[4]

Jean-Marc Jézéquel and François Pennaneac'h. -- Preliminary ideas for validating distributed OO software. -- In Workshop on Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP'97 Workshop #6), Finland, June 1997.

Last update: $Date: 2001/03/15 08:14:15 $ $Revision: 1.8 $