Skip to content
  Projet Triskell  
 

Liste des Publications/List of Publications
- 2007 -

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

Livres/Books

[1] Robert B. France. -- Shaping the Future: 10 years of IrisaTech, chapter Model Driven Engineering: Managing Software Complexity, pages 71--78. -- IrisaTech, 2007. [BibTeX]

[2] Jean-Marc Jézéquel. -- Shaping the Future: 10 years of IrisaTech, chapter Generative Software Engineering, pages 51--54. -- IrisaTech, 2007. [BibTeX]

Articles/Articles (Referred Journals)

[1] Olivier Barais, Philippe Lahire, Alexis Muller, Noël Plouzeau, and Gilles Vanwormhoudt. -- Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles. -- RSTI-L'Objet, 13(2-3), 2007. [PDF] [BibTeX]

[2] Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, and Yves Le Traon. -- Towards dependable model transformations: Qualifying input test data. -- Journal of Software and Systems Modeling (SoSyM), 2007. [PDF] [BibTeX]

[3] Jacques Klein, Franck Fleurey, and Jean Marc JĂ©zĂ©quel. -- Weaving multiple aspects in sequence diagrams. -- Transactions on Aspect-Oriented Software Development (TAOSD), LNCS 4620:167--199, 2007. [PDF] [BibTeX]

[4] Simon Pickin, Claude Jard, Thierry JĂ©ron, Jean-Marc JĂ©zĂ©quel, and Yves Le Traon. -- Test synthesis from UML models of distributed software. -- IEEE Transactions on Software Engineering, 33(4):252--268, April 2007. [PDF] [BibTeX]

[5] SĂ©bastien Saudrais, Olivier Barais, Laurence Duchien, and Noel Plouzeau. -- From formal specifications to QoS monitors. -- Journal of Object Technology, Special Issue on Advances in Quality of Service Management, 6(11):7--24, December 2007. [PDF] [BibTeX]

[6] Jim Steel and Jean-Marc Jézéquel. -- On model typing. -- Journal of Software and Systems Modeling (SoSyM), 6(4):401--414, December 2007. [PDF] [BibTeX]

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

[1] Zaid Altahat, Tzilla Elrad, and Didier Vojtisek. -- Using aspect oriented modeling to localize implementation of executable models. -- In Models and Aspects workshop, at ECOOP 2007, July 2007. [PDF] [BibTeX]

[2] Benoit Baudry, ClĂ©mentine Nebut, and Yves Le Traon. -- Model-driven engineering for requirements analysis. -- In EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. [PDF] [BibTeX]

[3] Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, and Bertrand Nicolas. -- Producing a global requirement model from multiple requirement specifications. -- In EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. [PDF] [BibTeX]

[4] Cyril Faucher and Jean-Yves Lafaye. -- Model driven engineering for implementing the iso 19100 series of international standards, October 2007. -- http://www.coastgis07.com. [PDF] [BibTeX]

[5] Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas, and Jean-Marc Jézéquel. -- Model-driven engineering for software migration in a large industrial context. -- In MoDELS'07, Nashville, TN, USA, 2007. [PDF] [BibTeX]

[6] Franck Fleurey, Benoit Baudry, Robert France, and Sudipto Ghosh. -- A generic approach for automatic model composition. -- In Aspect Oriented Modeling (AOM) Workshop, Nashville, USA, October 2007. [BibTeX]

[7] Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, and Sudipto Ghosh. -- Providing support for model composition in metamodels. -- In EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. [PDF] [BibTeX]

[8] Robert France and Bernhard Rumpe. -- Model-driven development of complex software: A research roadmap. -- In FOSE '07: 2007 Future of Software Engineering, pages 37--54, Washington, DC, USA, 2007. IEEE Computer Society. [PDF] [BibTeX]

[9] Jean-Marc Jezequel. -- Modeling and aspect weaving. -- In Ed Brinksma, David Harel, Angelika Mader, Perdita Stevens, and Roel Wieringa, editors, Methods for Modelling Software Systems (MMOSS), number 06351 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. -- <http://drops.dagstuhl.de/opus/volltexte/2007/864> [date of citation: 2007-01-01]. [PDF] [BibTeX]

[10] Yves Le Traon, Tejeddine Mouelhi, and Benoit Baudry. -- Testing security policies : going beyond functional testing. -- In ISSRE'07 : The 18th IEEE International Symposium on Software Reliability Engineering, November 5-9, Trollhätan, Sweden. RSM - DĂ©pt. RĂ©seaux, SĂ©curitĂ© et MultimĂ©dia (Institut TELECOM ; TELECOM Bretagne), IRISA - Institut de Recherche en Informatique et Systèmes alĂ©atoires (INRIA), 2007. [BibTeX]

[11] Lydia Michotte, Robert France, and Franck Fleurey. -- Modeling and integrating architural software fault tolerance features. -- In EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. [PDF] [BibTeX]

[12] Martin Monperrus, Joël Champeau, and Brigitte Hoeltzener. -- Counts count. -- In Proceedings of the 2nd Workshop on Model Size Metrics (MSM'07) co-located with MoDELS'2007, 2007. [PDF] [BibTeX]

[13] Brice Morin, Olivier Barais, Jean-Marcl Jézéquel, and Rodrigo Ramos. -- Towards a generic aspect-oriented modeling framework. -- In Models and Aspects workshop, at ECOOP 2007, July 2007. [PDF] [BibTeX]

[14] Philippe Lahire, Brice Morin, Gilles Vanwormhoudt, Alban Gaignard, Olivier Barais, and Jean-Marc Jézéquel. -- Introducing variability into aspect-oriented modeling approaches. -- In In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), Nashville, TN, USA, October 2007. [PDF] [BibTeX]

[15] Tejeddine Mouelhi, Yves Le Traon, and Benoit Baudry. -- Mutation analysis for security tests qualification. -- In Mutation'07 workshop associated to TAIC-Part'07, Cumberland Lodge, Windsor, UK, 2007. [PDF] [BibTeX]

[16] Tejeddine Mouelhi, Yves Le Traon, and Benoit Baudry. -- Testing security policies: going beyond functional testing. -- In ISSRE'07 (Int. Symposium on Software Reliability Engineering), Trollhättan, Sweden, 2007. [BibTeX]

[17] Pierre-Alain Muller and Olivier Barais. -- Control-theory and models at runtime. -- In Proceedings of the Models Workshop on Models@Runtime, Nashville, USA, oct 2007. [BibTeX]

[18] Freddy Munoz, Olivier Barais, and Benoit Baudry. -- Vigilant usage of aspects. -- In in Proceedings of ADI 2007 - Workshop on Aspects, Dependencies, and Interactions at ECOOP 2007, Berlin, Germany, July 2007. [PDF] [BibTeX]

[19] Rodrigo Ramos, Olivier Barais, and Jean-Marc Jézéquel. -- Matching model-snippets. -- In In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), Nashville, TN, USA, October 2007. [PDF] [BibTeX]

[20] Jacques Simonin, Yves Le Traon, and Jean-Marc JĂ©zĂ©quel. -- An enterprise architecture alignment measure for telecom service development. -- In EDOC'07 (Entreprise Distributed Object Computing Conference), Annapolis, MD, USA, 2007. [BibTeX] [BibTeX]

[21] Sébastien Saudrais, Olivier Barais, Laurence Duchien, and Noël Plouzeau. -- Intégration de propriétés temporelles dans des applications à base de composants. -- In Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), Namur, Belgium, June 2007. [PDF] [BibTeX]

[22] Sébastien Saudrais, Olivier Barais, and Noël Plouzeau. -- Integration of time issues into component-based applications. -- In The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'07), Medford (Boston area), Massachusetts, USA, July 2007. Springer Lecture Notes in Computer Science (LNCS). [PDF] [BibTeX]

[23] SĂ©bastien Saudrais, Olivier Barais, and Noel Plouzeau. -- Monitoring your lego mindstorms with giotto. -- In in Proceedings of ARTIST International Workshop on Tool Platforms for Modeling, Analysis and Validation of Embedded Systems, Berlin, Germany, July 2007. -- A Workshop affiliated with CAV 2007. [PDF] [BibTeX]

[24] Sagar Sen, Benoit Baudry, and Hans Vangheluwe. -- Domain-specific model editors with model completion. -- In In Proceedings of MPM Workshop associated to MoDELS'07, Nashville, TN, USA, October 2007.

[25] Sagar Sen, Benoit Baudry, and Doina Precup. -- Partial model completion in model driven engineering using constraint logic programming. -- In International Conference on the Applications of Declarative Programming, 2007.

[26] Tewfik Ziadi and Jean-Marc Jézéquel. -- Plibs: an eclipse-based tool for software product line behavior engineering. -- In Proc. of 3rd Workshop on Managing Variability for Software Product Lines, SPLC 2007, Kyoto, Japan, September 2007. [BibTeX]

Autres Publications/Other Publications

[1] Olivier Barais, Franck Fleurey, Pierre-Alain Muller, Didier Vojtisek, and Jean-Marc Jézéquel. -- Nouvelles fonctionnalités de kermeta. -- Session Démonstrations des 3 ème Journées sur l'Ingénierie Dirigée par les Modèles, March 2007. [PDF] [BibTeX]

[2] Olivier Barais. -- SĂ©paration des prĂ©occupations en phase de mĂ©ta-modĂ©lisation. -- Atelier Composition de modèles (Cosmo) de la ConfĂ©rence Langage et Modèles Ă  Objets (LMO'07) et de la 3 ème JournĂ©e sur l'IngĂ©nierie DirigĂ©e par les Modèles, March 2007. -- http://www2.lifl.fr/ mullera/CoMo07.htm. [PDF] [BibTeX]

[3] Marouane Himdi. -- Performances des systèmes distribués : proposition d'une plateforme de supervision fédératrice de la supervision. -- PhD thesis, Université de Rennes 1, December 2007. [BibTeX]

[4] Jacques Klein, Benoit Baudry, Olivier Barais, and Andrew Jackson. -- Introduction du test dans la modélisation par aspects. -- In Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), Toulouse, France, March 2007. [PDF] [BibTeX]

[5] Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, and Jean-Marc Jézéquel. -- Intégration du support ocl dans kermeta. spécifiez la sémantique statique de vos méta-modèles. -- Dixième Anniversaire de la Conférence Francophone sur les Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'07), June 2007. [PDF] [BibTeX]

[6] Tejeddine Mouelhi, Yves Le Traon, and Benoit Baudry. -- Mutation analysis for security tests qualification. -- In Mutation'07 : third workshop on mutation analysis in conjuction with TAIC-Part, September 10-11, Cumberland Lodge, Windsor, UK. RSM - DĂ©pt. RĂ©seaux, SĂ©curitĂ© et MultimĂ©dia (Institut TELECOM ; TELECOM Bretagne), IRISA - Institut de Recherche en Informatique et Systèmes alĂ©atoires (INRIA), 2007. [BibTeX]

[7] Tejeddine Mouelhi. -- Mutation analysis applied to security tests. -- Master's thesis, ENST Bretagne, June 2007. [BibTeX] [PDF] [BibTeX]

[8] Sébastien Saudrais. -- Qualité de service temporelle pour composants logiciels. -- PhD thesis, Université de Rennes 1, December 2007. [PDF] [BibTeX]

[9] Jim Steel. -- Typage de modèles. -- PhD thesis, Université de Rennes 1, April 2007. [PDF] [BibTeX]