Skip to content
  Projet Triskell  

Liste des Publications/List of Publications
- 2010 -

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

Livres/Books

[1] Benoit Baudry and Eric Wohlstadter, editors. -- Software Composition, 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings, volume 6144 of Lecture Notes in Computer Science. -- Springer, 2010. [BibTeX]

[2] Benoit Combemale. -- Simulation et vérification de modèle par métamodélisation executable. -- éditions Universitaires Européennes, June 2010. -- to appear. [BibTeX]

[3] Jean-Marc J√©z√©quel, Olivier Barais, and Franck Fleurey. -- Model Driven Language Engineering with Kermeta. -- In Joao M. Fernandes, Ralf Lammel, Joao Saraiva, and Joost Visser, editors, 3rd Summer School on Generative and Transformational Techniques in Software Engineering. LNCS 6491, Springer, 2010. [PDF] [BibTeX]

[4] Mario S√ľdholt, Uwe Hohenstein, Jean-Marc J√©z√©quel, and Benoit Baudry. -- Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development. -- ACM, 03 2010. [BibTeX]

Articles/Articles (Referred Journals)

[1] Eduardo De Almeida, Gerson Suny√©, Yves Le Traon, and Patrick Valduriez. -- Testing peer-to-peer systems. -- Empirical Software Engineering, 15:346--379, 2010. -- 10.1007/s10664-009-9124-x. [PDF] [BibTeX]

[2] Reda Bendraou, Jean-Marc Jézéquel, Marie-Pierre Gervais, and Xavier Blanc. -- A comparison of six uml-based languages for software process modeling. -- IEEE Transactions on Software Engineering, 2010. [PDF] [BibTeX]

[3] Reda Bendraou, Jean-Marc Jézéquel, and Franck Fleurey. -- Achieving process modeling and execution through the combination of aspect and model-driven engineering approaches. -- Journal of Software Maintenance and Evolution, 2010. [PDF] [BibTeX]

[4] Johann Bourcier, Ada Diaconescu, Philippe Lalanda, and McCann Julie A. -- Autohome: an autonomic management framework for pervasive home applications. -- ACM Transactions on Autonomous and Adaptive Systems (TAAS), 2010. [PDF] [BibTeX]

[5] Yassine Jamoussi, Maha Driss, Jean-Marc J√©z√©quel, and Henda Hajjami Ben Gh√©zala. -- Qos assurance for service-based applications using discrete-event simulation. -- IJCSI International Journal of Computer Science Issues, 7(6), july 2010. [PDF] [BibTeX]

[6] Jean-Marc Jézéquel. -- Ingénierie dirigé par les modèles : du design-time au runtime. -- Génie Logiciel - Ingéniérie dirigée par les modèles, (93):25--30, jun 2010. [PDF] [BibTeX]

[7] J√∂rg Kienzle, Wisam Al Abed, Franck Fleurey, Jean-Marc J√©z√©quel, and Jacques Klein. -- Aspect-oriented design with reusable aspect models. -- Transactions on Aspect-Oriented Software Development, 7:272--320, 2010. [PDF] [BibTeX]

[8] Naouel Moha, Yann-Ga√ęl Gu√©h√©neuc, Laurence Duchien, and Anne-Fran√ßoise Le Meur. -- Decor: A method for the specification and detection of code and design smells. -- IEEE Transactions on Software Engineering, 36(1):20--36, January/February 2010. [PDF] [BibTeX]

[9] Naouel Moha, Sagar Sen, Cyril Faucher, Olivier Barais, and Jean-Marc Jézéquel. -- Evaluation of kermeta for solving graph-based problems. -- International Journal on Software Tools for Technology Transfer (STTT), 12(3--4):273--285, 2010. [PDF] [BibTeX]

[10] 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 Asp. Comput., 22(3-4):345--361, 2010. [BibTeX]

[11] Martin Monperrus, Jean-Marc J√©z√©quel, Benoit Baudry, Jo√ęl Champeau, and Brigitte Hoeltzener. -- Model-driven generative development of measurement software. -- Software and Systems Modeling (SoSyM), tba, 2010. [PDF] [BibTeX]

[12] Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, and Benoit Combemale. -- Modeling modeling modeling. -- SOSYM, 2010. [PDF] [BibTeX]

[13] Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, and Jean-Marc Jézéquel. -- Reusable model transformations. -- Software and Systems Modeling (SoSyM), tba:346--379, 2010. -- 10.1007/s10664-009-9124-x. [PDF] [BibTeX]

[14] Jacques Simonin, Philippe Picouet, and Jean-Marc Jézéquel. -- Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information. -- Ingéniérie des systèmes d'information, pages 37--61, sep 2010. [PDF] [BibTeX]

[15] Chouki Tibermacine, Régis Fleurquin, and Salah Sadou. -- A family of languages for architecture constraint specification. -- J. Syst. Softw., 83(5):815--831, 2010. [PDF] [BibTeX]

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

[1] Olivier Beaudoux, Arnaud Blouin, Olivier Barais, and Jean-Marc Jézéquel. -- Active operations on collections. -- In ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS'10), pages 91--105, Oslo, Norway, 2010. [PDF] [BibTeX]

[2] Olivier Beaudoux and Arnaud Blouin. -- Linking data and presentations: from mapping to active transformations. -- In DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, pages 107--110, Manchester, England, 2010. [PDF] [BibTeX]

[3] Olivier Beaudoux, Arnaud Blouin, and Jean-Marc Jézéquel. -- Using model driven engineering technologies for building authoringapplications. -- In DocEng'10: Proceedings of the 2010 ACM symposium on Document engineering, pages 279--282, Manchester, England, 2010. [PDF] [BibTeX]

[4] Arnaud Blouin and Olivier Beaudoux. -- Improving modularity and usability of interactive systems with Malai. -- In EICS'10: Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems, pages 115--124, Berlin, Germany, 2010. [BibTeX]

[5] Mickael Clavreul, Olivier Barais, and Jean-Marc J√©z√©quel. -- Integrating legacy systems with mde. -- In ICSE'10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering and ICSE Workshops, volume 2, pages 69--78, Cape Town, South Africa, May 2010. [PDF] [BibTeX]

[6] Xavier Cr√©gut, Benoit Combemale, Marc Pantel, Rapha√ęl Faudoux, and Jonatas Pavei. -- Generative technologies for model animation in the TopCased platform. -- In 6th European Conference on Modelling Foundations and Applications (ECMFA 2010), volume 6138 of Lecture Notes in Computer Science (LNCS), pages 90--103, Paris, France, June 2010. Springer. [PDF] [BibTeX]

[7] Francoise André, Erwan Daubert, Grégory Nain, Brice Morin, and Olivier Barais. -- F4plan: An approach to build efficient adaptation plans. -- In MobiQuitous. ACM, 2010. [BibTeX]

[8] Romain Delamare, Freddy Munoz, Benoit Baudry, and Yves Le Traon. -- Vidock: a tool for impact analysis of aspect weaving on test cases. -- In International Conference on Testing Software and Systems, Natal, Brazil, November 2010. IFIP. [PDF] [BibTeX]

[9] Maha Driss, Naouel Moha, Yassine Jamoussi, Jean-Marc J√©z√©quel, and Henda Hajjami Ben Gh√©zala. -- A requirement-centric approach to web service modeling, discovery, and selection. -- In ICSOC International Conference on Service Oriented Computing, San Francisco, California, December 2010. Springer. [PDF] [BibTeX]

[10] François Fouquet, Olivier Barais, and Jean-Marc Jézéquel. -- Building a kermeta compiler using scala: an experience report. -- In Workshop Scala Days 2010, Lausanne, Switzerland, 2010. EPFL. [PDF] [BibTeX]

[11] Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, and Claude Jard. -- Variability modeling and qos analysis of web services orchestrations. -- In International Conference on Web Services, Miami, FL, USA, July 2010. IEEE. [PDF] [BibTeX]

[12] Vincent Le Gloahec, R√©gis Fleurquin, and Salah Sadou. -- Good practices as a quality-oriented modeling assistant. -- In QSIC'10: Proceedings of the 10th International Conference on Quality Software, Zhangjiajie, China, July 2010. IEEE. [PDF] [BibTeX]

[13] Vincent Le Gloahec, R√©gis Fleurquin, and Salah Sadou. -- Good architecture = good (adl + practices). -- In QoSA'10: Proceedings of the 6th International Conference on the Quality of Software Architecture, Prague, Czech Republic, June 2010. Springer Lecture Notes in Computer Science (LNCS). [PDF] [BibTeX]

[14] Vincent Mahé, Benoit Combemale, and Juan Cadavid. -- Crossing Model Driven Engineering and Agility: Preliminary Thought on Benefits and Challenges. -- In 3rd Workshop on Model-Driven Tool & Process Integration, in conjunction with ECMFA 2010, Paris, France, June 2010. [PDF] [BibTeX]

[15] Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais, and Jean-Marc J√©z√©quel. -- Security-Driven Model-Based Dynamic Adaptation. -- In 25nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September 2010. [PDF] [BibTeX]

[16] Brice Morin, Jacques Klein, Jörg Kienzle, and Jean-Marc Jézéquel. -- Flexible Model Element Introduction Policies for Aspect-Oriented Modeling. -- In 13rd ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (MODELS 2010), Oslo, Norway, October 2010. [PDF] [BibTeX]

[17] Grégory Nain, François Fouquet, Brice Morin, Olivier Barais, and Jean-Marc Jézéquel. -- Integrating iot and ios with a component-based approach. -- In Procedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), Lille, France, 2010. [PDF] [BibTeX]

[18] Gilles Perrouin, Sagar Sen, Jacques Klein, Benoit Baudry, and Yves Le Traon. -- Automatic and scalable t-wise test case generation strategies for software product lines. -- In International Conference on Software Testing, Paris, France, April 2010. Springer Lecture Notes in Computer Science (LNCS). [PDF] [BibTeX]

[19] Jacques Simonin, Emmanuel Bertin, Yves Le Traon, Jean-Marc J√©z√©quel, and No√ęl Crespi. -- Business and information system alignment: A formal solution for telecom services. -- In International Conference on Software Engineering Advances, Nice, France, August 2010. IARA. [PDF] [BibTeX]

[20] Chouki Tibermacine, Soraya Sakhraoui, Vincent Le Gloahec, R√©gis Fleurquin, and Salah Sadou. -- Towards an automation of software evolution good practices. -- In SEKE'10: Proceedings of the 22nd International Conference on Software Engineering and Knowledge Engineering, Redwood City, USA, July 2010. Knowledge Systems Institute. [PDF] [BibTeX]

Autres Publications/Other Publications

[1] Benoit Baudry, Pierre Bazex, Jean-Charles Dalbin, Philippe Dhaussy, Hubert Dubois, Christian Percebois, Erwann Poupart, and Laurent Sabatier. -- Trust in mde components: the domino experiment. -- In SD4RCES workshop in conjunction with SAFECOMP 2010, Vienna, 2010. [PDF] [BibTeX]

[2] Benoit Baudry. -- Introducing the question-learn-test-feedback pattern to investigate evolving software construction paradigms. -- Hdr, Université de Rennes 1; Université Européenne de Bretagne, 12 2010. [BibTeX]

[3] Patrick Albert, Mireille Blay-Fornarino, Philippe Collet, Benoit Combemale, Sophie Dupuy-Chessa, Agn√®s Front, Anthony Grost, Philippe Lahire, Xavier Le Pallec, Lionel Ledrich, Thierry Nodenot, Anne-Marie Pinna-Dery, and St√©phane Rusinek. -- End-User Modelling. -- In D√©fis du G√©nie de la Programmation et du Logiciel, journ√©es nationales du GDR GPL, Pau, France, March 2010. [PDF] [BibTeX]

[4] Régis Fleurquin. -- Des langages pour améliorer le développement et la maintenance des logiciels à base de composants. -- Hdr, Université de Bretagne Sud; Université Européenne de Bretagne, 07 2010. [BibTeX]

[5] Marie Gouyette, Olivier Barais, J√©r√īme Le Noir, and Jean-Marc J√©z√©quel. -- Managing variability in multi-views engineering : A live demo. -- In Journ√©e Lignes de Produits, Paris, France, October 2010. [PDF] [BibTeX]

[6] Brice Morin, Franck Fleurey, Olivier Barais, and Jean-Marc Jézéquel. -- Aspect-oriented modeling to support dynamic adaptation. -- In Forum Demo at AOSD'10, Rennes and St Malo, France, 2010. [PDF] [BibTeX]

[7] Juan F. Ingl√ɬ©s-Romero, Cristina Vicente-Chicote, Brice Morin, and Barais Olivier. -- Using modelsfor designing adaptive robotics software: an experience report. -- In 1st international workshop on Model Based Engineering for Robotics: RoSym'10 at (MODELS'10), Oslo, Norway, 2010. [BibTeX]

[8] Tejeddine Mouelhi. -- Formalizing security fault models, specifying test criteria and automatically generating penetration testing algorithms. -- PhD thesis, Télcéom Bretagne, 09 2011. [BibTeX]

[9] Sagar Sen. -- Découverte automatique de modèles effectifs. -- PhD thesis, Université Rennes 1, 06 2010. [BibTeX]