Liste des Publications/List of Publications
- 2004 -

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

Livres/Books

[1] Jean-Marc Jézéquel and Jeanine Souquières, editors. -- Approches formelles pour le développement de logiciels, volume 23 of RSTI série TSI. Hermes-Lavoisier, 2004. [BibTeX]

[2] Jean-Marc Jézéquel, Mariano Belaunde, Jean Bézivin, Sébastien Gérard, and Pierre-Alain Muller. -- L'ingéniérie piloté par les modèles, chapter Les concepts de l'ingéniérie des modèles. -- Number 30 in collection Arrago. OFTA, Paris, May 2004. [PDF] [BibTeX]

[3] P.-A. Muller and N. Gaertner. -- Modélisation objet avec UML. -- Number ISBN 2212113978. Eyrolles, Paris, 2004. -- Edition Best Of, format semi poche, (Edition spéciale Best Sellers). [BibTeX]

Articles/Articles (Referred Journals)

[1] F. Badeau, D. Bert, S. Boulmé, C. Métayer, M.-L. Potet, N. Stouls, and L. Voisin. -- Traduction de B vers des langages de programmation. -- TSI, 2004. [BibTeX]

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

[1] P.-A. Muller, D. Bresch, and P. Studer. -- Model-driven architecture for automatic-control. -- In Proc. of UML 2004, number 3273, Lisbon, Portugal, October 2004. Springer LNCS. [BibTeX]

[2] Pierre-Alain Muller, Philippe Studer, and Jean-Marc Jézéquel. -- Model-driven generative approach for concrete syntax composition. -- In Proc. of OOPSLA Workshop on Best Practices for Model-Driven Development, Vancouvers, October 2004. [PDF] [BibTeX]

[3] Pierre-Alain Muller, Cédric Dumoulin, Frédéric Fondement, and Michel Hassenforder. -- The topmodl initiative. -- In 3rd Workshop in Software Model Engineering (WiSME 2004) at UML2004, Lisbon, Portugal, October 2004. [BibTeX]

[4] Tewfik Ziadi, Loïc Hélouët, and Jean-Marc Jézéquel. -- Behaviors generation from product lines requirements. -- In Proc. UML2004 workshop on Software Architecture Description, September 2004. [PDF] [BibTeX]

[5] Franck Fleurey, Benoit Baudry, and Yves Le Traon. -- From testing to diagnosis: An automated approach. -- In Proc. 19th IEEE International Conference on Automated Software Engineering (ASE'04), Vienna, October 2004. [PDF] [BibTeX]

[6] Franck Fleurey, Jim Steel, and Benoit Baudry. -- MDE and validation: Testing model transformations. -- In Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), Rennes, November 2004. [PDF] [BibTeX]

[7] D. Lugato, F. Maraux, Y. Le Traon, C. Nebut, V. Normand, H. Dubois, J.-Y. Pierron, and J.-P. Gallois. -- Automated functional test case synthesis from thalès industrial requirements. -- In Proc. of the 10th IEEE Real-Time and embedded technology and Applications Symposium, Toronto, May 2004. [BibTeX]

[8] Jean-Marc Jézéquel, Olivier Defour, and Noël Plouzeau. -- An MDA approach to tame component based software development. -- In J. S. de Boer, editor, Post Proceedings of Formal Methods for Components and Objects (FMCO'03), number 3188 in LNCS. Springer Heidelberg, 2004. [PDF] [BibTeX]

[9] Jacques Klein, Benoit Caillaud, and Loic Hélouët. -- Merging scenarios. -- In 9th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), pages 209--226, Linz, Austria, sep 2004. [PDF] [BibTeX]

[10] Jim Steel and Michael Lawley. -- An mda approach to testing the tarzan model transformation engine. -- In Proceedings of ISSRE04 (International Conference on Software Reliability Engineering), St Malo, France, November 2004. [BibTeX]

[11] Olivier Defour, Jean-Marc Jézéquel, and Noël Plouzeau. -- Extra-functional contract support in components. -- In Proc. of International Symposium on Component-based Software Engineering (CBSE7), May 2004. [PDF] [BibTeX]

[12] Olivier Defour, Jean-Marc Jézéquel, and Noël Plouzeau. -- Applying CLP to predict extra-functional properties of component-based models. -- In J. S. de Boer, editor, Proceedings of Logic Programming: 20th International Conference, ICLP 2004, number 3132 in LNCS. Springer Heidelberg, September 2004. [PDF] [BibTeX]

[13] Simon Pickin and Jean-Marc Jézéquel. -- Using UML sequence diagrams as basis for a formal test description language. -- In Proc. of Fourth International Conference on Integrated Formal Methods IFM2004, number 2999 in LNCS, pages --, Canterbury, Kent, England, April 2004. Springer. [PDF] [BibTeX]

[14] Tewfic Ziadi, Loic Hélouët, and Jean-Marc Jézéquel. -- Revisiting statechart synthesis with an algebraic approach. -- In 26th International Conference on Software Engineering (ICSE 04), ACM, pages 242--251, Edinburgh, UK, May 2004. [PDF] [BibTeX]

[15] Yves Le Traon and Benoit Baudry. -- Optimal allocation of testing resources. -- In Proc. of the SIVOES-Modeva workshop, SIVOES (Specification Implementation and Validation Of Embedded Systems)-MoDeVa (Model Design and Validation), Rennes, November 2004. [BibTeX]

[16] P. Collet, D. Deveaux, R. Rousseau, and Y. Le Traon. -- Contract-based testing: from objects to components. -- In Proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), November 2004. [BibTeX]

[17] Benoit Baudry, Yves Le Traon, and Gerson Sunyé. -- Improving the testability of uml diagram. -- In Proc. of the 1st IEEE Int. Workshop on Testability Assesment (IWoTA 2004), pages 70--80, November 2004. [PDF] [BibTeX]

[18] Jacques Klein and Noël Plouzeau. -- Transformation of behavioral models based on compositions of sequence diagrams. -- In Proceedings of Model-Driven Architecture: Foundations and Applications 2004 (MDAFA), page 255, Linkoping, Sweden, jun 2004. [PDF] [BibTeX]

[19] Marouane Himdi. -- Development of generic probes for functional and extra-functional diagnosis. -- In Supplementary proc. of the 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 2004 Student Paper), St Malo, November 2004. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Jean Bézivin, Mireille Blay, Mokrane Bouzhegoub, Jacky Estublier, Jean-Marie Favre, Sébastien Gérard, and Jean-Marc Jézéquel. -- Rapport de synthèse de l'AS CNRS sur le MDA. -- CNRS, November 2004. [PDF] [BibTeX]

[2] Jean-Marc Jézéquel. -- Perspectives on model driven engineering. -- Invited presentation to the 11e Rencontre INRIA-Industrie - "L'ingénierie du logiciel", INRIA - Rocquencourt, France, January 2004. [PDF] [BibTeX]

[3] J.-M. Jézéquel and W. Emmerich. -- Panel mda in practice. -- In 26th International Conference on Software Engineering (ICSE 04), ACM, pages 691--692, Edinburgh, UK, May 2004. [PDF] [BibTeX]

[4] Karine Macedo. -- Modélisation d'aspects qualité de service en UML : application aux composants logiciels. -- PhD thesis, Université de Rennes 1, May 2004. [PDF] [BibTeX]

[5] Yves Le Traon. -- Contribution au test de logiciels orientés-objet. -- PhD thesis, Habilitation à diriger les recherches de l'université de Rennes I, July 2004. [BibTeX]

[6] Clémentine Nebut. -- Génération automatique de tests à partir des exigences et application aux lignes de produits logicielles. -- PhD thesis, Université de Rennes 1, November 2004. [PDF] [BibTeX]

[7] Tewfic Ziadi. -- Manipulation de lignes de produits en UML. -- PhD thesis, Université de Rennes 1, December 2004. [PDF] [BibTeX]

[8] Pierre-Alain Muller. -- The topmodl initiative. -- In conférence invitée, the Fujaba days 2004, Darmstadt, September 2004. [BibTeX]

[9] Pierre-Alain Muller. -- Moving from general-purpose to domain-specific modelling languages. -- In conférence invitée, FDL'04, Lille, France, September 2004. [BibTeX]