Liste des Publications/List of Publications
- 2005 -

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

Livres/Books

[1] Jean-Marc Jézéquel, Noël Plouzeau, and Yves Le Traon. -- Développement de logiciel à objets avec UML. -- Monographie IFSIC C119, version 1.6, 146 pages, Université de Rennes 1, September 2005. [PDF] [BibTeX]

[2] Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Muller, and Xavier Blanc, editors. -- IDM05, Actes des 1ères Journées sur l'Ingénierie Dirigée par les Modèles, number ISBN 2-7261-1284-6, Paris, June 2005. http://planetmde.org/idm05/actes.pdf. [BibTeX]

[3] Pierre-Alain Muller. -- Model Driven Engineering for Distributed Real Time Embedded Systems, chapter Model Transformations. -- Number ISBN 1905209320. Hermes Science Publishing Ltd, London, 2005. [BibTeX]

[4] Jean-Marc Jézéquel. -- Model Driven Engineering for Distributed Real Time Embedded Systems, chapter Real Time Components and Contracts. -- Hermes Science Publishing Ltd, London, 2005. [PDF] [BibTeX]

Articles/Articles (Referred Journals)

[1] Pierre-Alain Muller, Philippe Studer, Frédéric Fondement, and Jean Bézivin. -- Independent web application modeling and development with netsilon. -- Software and System Modeling, 4(4):424--442, November 2005. [PDF] [BibTeX]

[2] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Le Traon Yves. -- From genetic to bacteriological algorithms for mutation-based testing. -- Software, Testing, Verification & Reliability journal (STVR), 15(2):73--96, June 2005. [PDF] [BibTeX]

[3] Benoit Baudry and Yves Le Traon. -- Measuring design testability of a uml class diagram. -- Information & Software Technology (IST), December 2004. [PDF] [BibTeX]

[4] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Yves Le Traon. -- Automatic test cases optimization: a bacteriologic algorithm. -- IEEE Software, 22(2):76--82, March 2005. [PDF] [BibTeX]

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

[1] Jean-Marc Jezequel. -- A MDA approach to model and implement transformations. -- In Jean Bezvin and Reiko Heckel, editors, Language Engineering for Model-Driven Software Development, number 04101 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss D agstuhl, Germany, 2005. -- <http://drops.dagstuhl.de/opus/volltexte/2005/20> [date of citation: 2005-01-01]. [BibTeX]

[2] A. Rasse, J.-M. Perronne, P.-A. Muller, and B. Thirion. -- Using process algebra to validate behavioral aspects of object-oriented models. -- In MODEVA Workshop, MODELS / UML'2005, Springer LNCS, Montego Bay, Jamaica, October 2005. [BibTeX]

[3] Pierre-Alain Muller and Michel Hassenforder. -- Hutn as a bridge between modelware and grammarware. -- In WISME Workshop, MODELS / UML'2005, Montego Bay, Jamaica, October 2005. [BibTeX]

[4] Franck Chauvel and Jean-Marc Jézéquel. -- Code generation from UML models with semantic variation points. -- In S. Kent L. Briand, editor, Proceedings of MODELS/UML'2005, volume 3713 of LNCS, pages --, Montego Bay, Jamaica, October 2005. Springer. [PDF] [BibTeX]

[5] Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel. -- Weaving executability into object-oriented meta-languages. -- In S. Kent L. Briand, editor, Proceedings of MODELS/UML'2005, volume 3713 of LNCS, pages 264--278, Montego Bay, Jamaica, October 2005. Springer. [PDF] [BibTeX]

[6] Jim Steel and Jean-Marc Jézéquel. -- Model typing for improving reuse in model-driven engineering. -- In S. Kent L. Briand, editor, Proceedings of MODELS/UML'2005, volume 3713 of LNCS, pages 84--96, Montego Bay, Jamaica, October 2005. Springer. [PDF] [BibTeX]

[7] Clémentine Nebut and Franck Fleurey. -- Une méthode de formalisation progressive des exigences basée sur un modèle simulable. -- In Langages et Modèles à Objets: LMO'05 (L'Objet logiciel, bases de données, réseaux, RSTI série l'Objet Vol. 11 N° 1-2/2005), pages 145--158, Bern, Switzerland, February 2005. [BibTeX]

[8] Tewfik Ziadi and Jean-Marc Jézéquel. -- Manipulation de lignes de produits logiciels : Une approche dirigée par les modèles. -- In 1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris, June 2005. [BibTeX]

[9] Jean-Marie Mottu, Benoit Baudry, Yves Le Traon, and Erwan Brottier. -- Génération automatique de test pour les transformations de modèles. -- In 1ère Journées sur l'Ingénierie Dirigée par les Modèles, Paris, June 2005. [PDF] [BibTeX]

[10] Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, and Benoit Baudry. -- Model composition - a signature-based approach. -- In Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica, October 2005. [PDF] [BibTeX]

[11] Benoit Baudry, Franck Fleurey, Robert France, and Raghu Reddy. -- Exploring the relationship between model composition and model transformation. -- In Aspect Oriented Modeling (AOM) Workshop, Montego Bay, Jamaica, October 2005. [PDF] [BibTeX]

[12] Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry, and Franck Fleurey. -- A taxonomy of faults for uml designs. -- In Model Design and Validation (MoDeVa) Workshop, Montego Bay, Jamaica, October 2005. [PDF] [BibTeX]

[13] Pierre-Alain Muller, Franck Fleurey, Didier Vojtisek, Zoé Drey, Damien Pollet, Frédéric Fondement, Philippe Studer, and Jean-Marc Jézéquel. -- On executable meta-languages applied to model transformations. -- In Model Transformations In Practice Workshop, Montego Bay, Jamaica, October 2005. [PDF] [BibTeX]

[14] Michael Lawley and Jim Steel. -- Practical declarative model transformation with tefkat. -- In Jean-Michel Bruel, editor, Model Transformations In Practice Workshop, volume 3844 of LNCS, pages 139--150, Montego Bay, Jamaica, October 2005. Springer. [BibTeX]

[15] Jacques Klein, Jean-Marc Jézéquel, and Noël Plouzeau. -- Weaving behavioural models. -- In In First Workshop on Models and Aspects, Handling Crosscutting Concerns in MDSD at ECOOP 05, Glasgow, July 2005. [PDF] [BibTeX]

[16] Jacques Klein and Jean-Marc Jézéquel. -- Problems of the semantic-based weaving of scenarios. -- In In Aspects and Software Product Lines: An Early Aspects Workshop at SPLC-Europe 05, Rennes, September 2005. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Damien Pollet. -- Une architecture pour les transformations de modèles et la restructuration de modèles UML. -- PhD thesis, Université de Rennes 1, June 2005. [PDF] [BibTeX]

[2] Pierre-Alain Muller and Didier Bresch. -- Model-driven architecture for distributed and embedded process-control. -- In 5ème Colloque sur l'Enseignement des Technologies et des Sciences de l'Information et des Systèmes (CETSIS), Nancy, October 2005. [BibTeX]

[3] Pierre-Alain Muller. -- Application of model transformation. -- In ARTIST2 Summer School on Component & Modelling, Testing & Verification, and Statical Analysis of Embedded Systems, Nässlingen, Sweden, September 2005. [BibTeX]

[4] Jean-Marie Mottu. -- Le test de transformations de modèles : automatisation de l'oracle. -- Master's thesis, Université de Rennes 1, June 2005. [PDF]

[5] Benoit Baudry, Christophe Gaston, and Sudipto Ghosh. -- Report on the 2nd workshop on model development and validation: Modeva. -- In Jean-Michel Bruel, editor, Satellite Events at the MoDELS'05, pages 32 -- 38, Montego Bay, Jamaica, October 2005. Springer-Verlag. [PDF]