Skip to content
  Projet Triskell  

Liste des Publications/List of Publications
- 2009 -

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

Livres/Books

[1] Denis Aulagnier, Ali Koudri, St√©phane Lecomte, Philippe Soulard, Jo√ęl Champeau, Jorgiano Vidal, Gilles Perrouin, and Pierre Leray. -- Soc/sopc development using mdd and marte profile. -- In Jean-Philippe Babau, Mireille Blay-Fornarino, Jo√ęl Champeau, S√®bastien G√®rard, Sylvain Robert, and Antonino Sabetta, editors, Model Driven Engineering for Distributed Real-time Embedded Systems. ISTE, 2009. [PDF] [BibTeX]

[2] Benoit Baudry. -- Testing model transformations: A case for test generation from input domain models. -- In Jean-Philippe Babau, Mireille Blay-Fornarino, Jo√ęl Champeau, S√®bastien G√®rard, Sylvain Robert, and Antonino Sabetta, editors, Model Driven Engineering for Distributed Real-time Embedded Systems. ISTE, 2009. [PDF] [BibTeX]

Articles/Articles (Referred Journals)

[1] Benoit Baudry, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, and Jean-Marie Mottu. -- Barriers to systematic model transformation testing. -- Communications of the ACM, 53(6), 2010. [PDF] [BibTeX]

[2] Franck Chauvel, Olivier Barais, Isabelle Borne, and Jean-Marc Jézéquel. -- Un processus à base de modèles pour les systèmes auto-adaptatifs. -- Revue de l'Electricité et de l'Electronique (REE), (2):38--44, February 2009. [PDF] [BibTeX]

[3] Benoit Combemale, Xavier Cr√©gut, Pierre-Lo√ɬĮc Garoche, and Xavier Thirioux. -- Essay on semantics definition in mde. an instrumented approach for model verification. -- Journal of Software, 4(6), december 2009. [BibTeX]

[4] Robert France and Jean-Marc Jézéquel. -- Editorial for the special issue on aspects and model-driven engineering. -- Transactions on Aspect-Oriented Software Development (TAOSD), LNCS 5560:16--21, 2009. [PDF] [BibTeX]

[5] Naouel Moha, Yann-Ga√ęl Gu√©h√©neuc, Anne-Fran√ßoise Le Meur, Laurence Duchien, and Alban Tiberghien. -- From a domain analysis to the specification and detection of code and design smells. -- Formal Aspects of Computing, May 2009. [PDF] [BibTeX]

[6] Martin Monperrus, Benoit Long, Jo√ęl Champeau, Brigitte Hoeltzener, Gabriel Marchalot, and Jean-Marc J√©z√©quel. -- Model-driven architecture of a maritime surveillance system simulator. -- Systems Engineering Journal, 13, 2009. [PDF] [BibTeX]

[7] Brice Morin, Olivier Barais, Jean-Marc Jézéquel, Franck Fleurey, and Arnor Solberg. -- Models at runtime to support dynamic adaptation. -- IEEE Computer, pages 46--53, October 2009. [BibTeX]

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

[1] Reda Bendraou, Jean-Marc Jézéquel, and Franck Fleurey. -- Combining aspect and model-driven engineering approaches for software process modeling and simulation. -- In Proceedings of the International Conference on Software Process (ICSP2009), Vancouver, Canada, may 2009. Springer Lecture Notes in Computer Science (LNCS). [BibTeX]

[2] Romain Delamare, Benoit Baudry, Sudipto Ghosh, and Yves Le Traon. -- A test-driven approach to developing pointcut descriptors in aspectj. -- In ICST '09: Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation, Denver, Colorado, USA, April 2009. [PDF] [BibTeX]

[3] Romain Delamare, Benoit Baudry, and Yves Le Traon. -- Ajmutator: A tool for the mutation analysis of aspectj pointcut descriptors. -- In Mutation'09: Proceedings of the 4th International Workshop on Mutation Analysis, Denver, Colorado, USA, April 2009. [PDF] [BibTeX]

[4] Philippe Dhaussy, Pierre-Yves Pillain, Stephen Creff, Amine Raji, Yves Le Traon, and Benoit Baudry. -- Evaluating context descriptions and property definition patterns for software formal validation. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), pages 438--452, Denver, Colorado, USA, October 2009. [PDF] [BibTeX]

[5] Paul Istoan, Grégory Nain, Gilles Perrouin, and Jean-Marc Jézéquel. -- Dynamic software product lines for service-based systems. -- In 9th IEEE International Conference on Computer and Information Technology, Xiamen, CHINA, October 2009. [PDF] [BibTeX]

[6] St√©phane Vaucher, Foutse Khomh, Naouel Moha, and Yann-Ga√ęl Gu√©h√©neuc. -- Tracking Design Smells: Lessons from a Study of God Classes. -- In 16th Working Conference on Reverse Engineering (WCRE 2009), IEEE Computer Society Press (WCRE'09), Lille, France, Oct 2009. [PDF] [BibTeX]

[7] Naouel Moha, Vincent Mahé, Olivier Barais, and Jean-Marc Jézéquel. -- Generic Model Refactorings. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009. [PDF] [BibTeX]

[8] Brice Morin, Olivier Barais, Grégory Nain, and Jean-Marc Jézéquel. -- Taming Dynamically Adaptive Systems with Models and Aspects. -- In 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, May 2009. [PDF] [BibTeX]

[9] Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, and Jean-Marc J√©z√©quel. -- Unifying Runtime Adaptation and Design Evolution. -- In IEEE 9th International Conference on Computer and Information Technology (CIT'09), Xiamen, China, Oct 2009. [PDF] [BibTeX]

[10] Brice Morin, Gilles Perrouin, Philippe Lahire, Olivier Barais, Gilles Vanwormhoudt, and Jean-Marc Jézéquel. -- Weaving Variability into Domain Metamodels. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009. [PDF] [BibTeX]

[11] Jacques Klein, Jörg Kienzle, Brice Morin, and Jean-Marc Jézéquel. -- Aspect Model Unweaving. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009. [PDF] [BibTeX]

[12] Brice Morin, Grégory Nain, Olivier Barais, and Jean-Marc Jézéquel. -- Leveraging Models From Design-time to Runtime. A Live Demo. -- In 4th International Workshop on Models@Run.Time (at MODELS'09), Denver, Colorado, USA, Oct 2009. [PDF] [BibTeX]

[13] Tejeddine Mouelhi, Yves Le Traon, and Benoit Baudry. -- Transforming and selecting functional test cases for security policy testing. -- In ICST, Denver, CO, April 2009. [PDF] [BibTeX]

[14] Pierre-Alain Muller, Frédéric Fondement, and Benoit Baudry. -- Modeling modeling. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), pages 2--16, Denver, Colorado, USA, October 2009. [PDF] [BibTeX]

[15] Freddy Munoz, Benoit Baudry, Romain Delamare, and Yves Le Traon. -- Inquiring the usage of aspect-oriented programming: an empirical study. -- In 25th IEEE International Conference on Software Maintenance (ICSM'09), Edmonton, Alberta, Canada, Sep-Oct 2009. [PDF] [BibTeX]

[16] Freddy Munoz and Benoit Baudry. -- A framework for testing model composition engines. -- In SC '09: Proceedings of the 8th International Conference on Software Composition, pages 125--141, Berlin, Heidelberg, 2009. Springer-Verlag. [PDF] [BibTeX]

[17] Gilles Perrouin, Erwan Brottier, Benoit Baudry, and Yves Le Traon. -- Composing models for detecting inconsistencies: A requirements engineering perspective. -- In Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), Amsterdam, Netherlands, june 2009. Springer Lecture Notes in Computer Science (LNCS). [PDF] [BibTeX]

[18] Sagar Sen, Naouel Moha, Benoit Baudry, and Jean-Marc Jézéquel. -- Meta-model Pruning. -- In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Erwan Brottier. -- Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles. -- PhD thesis, Université de Rennes 1, December 2009. [PDF] [BibTeX]

[2] Franck Chauvel, Olivier Barais, No√ęl Plouzeau, Isabelle Borne, and Jean-Marc J√©z√©quel. -- Composition et expression qualitative de politiques d'adaptation pour les composants fractal. -- In Actes des Journ√©es nationales du GDR GPL 2009, Toulouse, France, January 2009. [BibTeX]

[3] Romain Delamare. -- Analyses Automatiques pour le Test de Programmes Orientés Aspect. -- PhD thesis, Université de Rennes 1, December 2009. [PDF] [BibTeX]

[4] Vincent Le Gloahec, R√©gis Fleurquin, and Salah Sadou. -- Formalisation de bonnes pratiques dans les proc√©d√©s de d√©veloppement logiciels. -- In 5√®mes Journ√©es de l'Ing√©nierie dirig√©e par les mod√®les (IDM 2009), Nancy, France, March 2009. [PDF] [BibTeX]

[5] Freddy Munoz and Benoit Baudry. -- Artificial table testing dynamically adaptive systems. -- Research report inria-00365874, INRIA Bretagne Atlantique, http://hal.inria.fr/inria-00365874/en/, March 2009. [PDF] [BibTeX]

[6] Grégory Nain, Olivier Barais, Régis Fleurquin, and Jean-Marc Jézéquel. -- Entimid : un middleware aux services de la maison. -- In 3ème Conférence Francophone sur les Architectures Logicielles (CAL'O9), Nancy, France, March 2009. [PDF] [BibTeX]

[7] Sagar Sen, Benoit Baudry, and Hans Vangheluwe. -- Towards Domain-specific Model Editors with Automatic Model Completion . -- Simulation Journal, 3(12):109--126, 2009. [PDF] [BibTeX]

[8] Jacques Simonin. -- Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel. -- PhD thesis, Université de Rennes 1, January 2009. [BibTeX]

[9] Didier Vojtisek. -- Openembedd : La plate-forme et ses outils d'ingénierie de modèles. -- Génie Logiciel - Neptune - Ingéniérie dirigée par les modèles, 89:31--37, jun 2009. [PDF] [BibTeX]