Liste des Publications/List of Publications
- 1999 -

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

Livres/Books

[1] J.-M. Jézéquel, M. Train, and C. Mingins. -- Design Patterns and Contracts. -- Addison-Wesley, October 1999. -- ISBN 1-201-30959-9. [BibTeX]

Articles/Articles (Referred Journals)

[1] Jean-Marc Jézéquel. -- Reifying variants in configuration management. -- ACM Transaction on Software Engineering and Methodology, 8(3):284--295, July 1999. [PDF] [BibTeX]

[2] A. Beugnard, J.-M. Jézéquel, N. Plouzeau, and D. Watkins. -- Making components contract aware. -- IEEE Computer, 13(7), July 1999. [PDF] [BibTeX]

[3] Jean-Marc Jézéquel. -- An object-oriented framework for data parallelism. -- ACM Computing Surveys, 32(1es), March 2000. [BibTeX]

[4] 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. [BibTeX]

[5] T. Jéron, C. Jard, C. Viho, B. Caillaud, H. Kahlouche, P. Morel, J.-C. Fernandez, A. Kerbrat, and Bozga M. -- Génération automatique de tests pour les protocoles : l'exemple de l'approche formelle de tgv. -- Revue Electronique et Electricité, 1999. [BibTeX]

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

[1] Thierry Jéron, Jean-Marc Jézéquel, Yves Le Traon, and Pierre Morel. -- Efficient strategies for integration and regression testing of oo systems. -- In 10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Boca Raton, Florida, November 1999. [BibTeX]

[2] 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. [BibTeX]

[3] Daniel Deveaux, Jean-Marc Jézéquel, and Yves Le Traon. -- Self-testable components: from pragmatic tests to design-for-testability methodology. -- In TOOLS Europe 1999. IEEE Computer Society Press, June 1999. [BibTeX] [BibTeX]

[4] Daniel Deveaux and Jean-Marc Jézéquel. -- Des classes autotestables. -- In LMO'99, Villefranche sur Mer, January 1999. [BibTeX]

[5] Jean-Marc Jézéquel and Naohito Sato. -- A simple dynamic load-balancing schemefor parallel molecular dynamics simulationon distributed memory machines. -- In High-Performance Computing and Network, volume ??? of Lecture Notes in Computer Science, pages ???--??? Springer-Verlag, April 1999. [BibTeX]

[6] Hubert Canon and Claude Jard. -- Un modèle sémantique pour la validation des logiciels objets en télécom munication. -- In André Schaff, editor, Colloque Francophone sur l'Ingénierie des Protocoles, CFIP 99, Nanc y, France, pages 83--98. Hermes, April 1999. [BibTeX]

[7] Claude Jard, Thierry Jéron, Lénaïck Tanguy, and César Viho. -- Remote testing can be as powerful as local testing. -- In Jianping Wu, Samuel Chanson, and Qiang Gao, editors, Formal methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, Beijing, China, pages 25--40. Kluwer Academic Publishers, October 1999. [BibTeX]

[8] Géraldine Texier and Noël Plouzeau. -- Automatic management of sessions in shared spaces. -- In CSREA Press, editor, Proceedings of International Conference on Paralle l and Distributed Processing Techniques and Applications (PDPTA'99), volume 1, 1999. [BibTeX]

Autres Publications/Other Publications

[1] Naohito Sato and Jean-Marc Jézéquel. -- A simple dynamic load-balancing schemefor parallel molecular dynamics simulationon distributed memory machines. -- Technical Report 1237, IRISA, March 1999. [BibTeX]

[2] Wai Ming Ho, Jean-Marc Jézéquel, Alain Le Guennec, and François Pennaneac'h. -- Umlaut: an extendible UML transformation framework. -- Technical Report RR-3775, INRIA, Oct 1999. -- http://www.inria.fr/RRRT/RR-3775.html. [BibTeX]