Articles (referred journals)

  1. [PDF] 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 (Jun. 2010), p. 139-143.
  2. [PDF] 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.
  3. [PDF] Franck Fleurey, Benoit Baudry, Pierre-Alain Muller, Yves Le Traon. Qualifying Input Test Data for Model Transformations. Software and Systems Modeling (SoSyM), Volume 8, Number 2, April 2009.
  4. [PDF] Pierre-Alain Muller, Frédéric Fondement, Franck Fleurey, Michel Hassenforder, Rémi Schneckenburger, Sébastien Gérard, Jean-Marc Jézéquel. Model-Driven Analysis and Synthesis of Textual Concrete Syntax. Software and Systems Modeling (SoSyM), Volume 7, Number 4, October 2008 , pp. 423-441(19).
  5. [PDF] Jacques Klein, Franck Fleurey, and Jean-Marc Jézéquel. Weaving multiple aspects in sequence diagrams. Trans. on Aspect Oriented Software Development, 2007.
  6. [PDF] Clémentine Nebut, Franck Fleurey, Yves Le Traon, Jean-Marc Jézéquel. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, vol. 32, no. 3, pp. 140-155, Mar., 2006.
  7. [PDF] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Yves LeTraon. From genetic to bacteriological algorithms for mutation-based testing. Software, Testing, Verification & Reliability journal (STVR), 15(2):73--96, 2005.
  8. [PDF] Benoit Baudry, Franck Fleurey, Jean-Marc Jézéquel, and Yves LeTraon. Automatic test cases optimization: a bacteriologic algorithm. IEEE Software, 22(2):76--82, March 2005.

International Conferences (with program committee)

  1. [PDF] Δ Brice Morin, Tejeddine Mouelhi, Franck Fleurey, Yves Le Traon, Olivier Barais and Jean-Marc Jézéquel. Security-Driven Model-Based Dynamic Adaptation. in the proceedings of the 25nd IEEE/ACM International Conference on Automated Software Engineering - ASE 2010 (Acceptance Ratio : 18%).
  2. [PDF] Andreas Svendsen, Xiaorui Zhang, Roy Lind-Tviberg, Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Gøran K. Olsen. Developing a Software Product Line for Train Control: A Case Study of CVL. In proceedings of the SPLC 2010 conference (Acceptance Ratio : 31%).
  3. [PDF] Franck Fleurey and Arnor Solberg. A Domain Specific Modeling Language supporting Specification, Simulation and Execution of Dynamic Adaptive Systems. In proceedings of the MoDELS/UML 2009 conference (Acceptance Ratio : 18%).
  4. [PDF] Carlos Cetina, Oystein Haugen, Xiaorui Zhang, Franck Fleurey and Vicente Pelechano. Strategies for Variability Transformation at Run-time. In proceedings of the SPLC 2009 conference(Acceptance Ratio : 30%).
  5. [PDF] 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 ICSP 2009 conference (Acceptance Ratio : 33 %).
  6. [PDF] Brice Morin, Franck Fleurey, Nelly Bencomo, jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, Gordon Blair. An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability. In proceedings of the MoDELS/UML 2008 conference (Acceptance Ratio : 21%).
  7. [PDF] Tejeddine Mouelhi, Yves Le Traon, Franck Fleurey, Benoit Baudry. A Model-Based Framework for Security Policies Specification, Deployment and Testing. in proceedings of the MoDELS/UML 2008 conference (Acceptance Ratio : 21%).
  8. [PDF] 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 proceedings of the MoDELS/UML 2007 conference (Acceptance Ratio : 28%).
  9. [PDF] Lydia Michotte, Robert France, Franck Fleurey.Modeling and Integrating Aspects into Component Architectures. In proceedings of the 11th IEEE International EDOC Conference (EDOC 2007), Annapolis Maryland, U.S.A. (Acceptance Ratio : 28%)
  10. [PDF] Robert France, Franck Fleurey, Raghu Reddy, Benoit Baudry, Sudipto Ghosh. Providing Support for Model Composition in Metamodels.In proceedings of the 11th IEEE International EDOC Conference (EDOC 2007), Annapolis Maryland, U.S.A. (Acceptance Ratio : 28%)
  11. [PDF] Pierre-Alain Muller, Franck Fleurey, and Jean-Marc Jézéquel.Model-Driven Analysis and Synthesis of Concrete Syntax. In proceedings of the MoDELS/UML 2006 conference (Acceptance Ratio : 28%).
  12. [PDF] Erwan Brottier, Franck Fleurey, Jim Steel, Benoit Baudry and Yves Le Traon. Metamodel-based test Generation for Model Transformations : an Algorithm and a Tool. In proceedings of the IEEE ISSRE’2006 conference.
  13. [PDF] Benoit Baudry, Franck Fleurey, and Yves Le Traon. Improving test suites for efficient fault localization. In proceedings of the 28th International Conference on Software Engineering (ICSE 06). ACM, 2006. (Acceptance Ratio : 9%)
  14. [PDF] 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, LNCS, Montego Bay, Jamaica, October 2005. Springer. (Acceptance Ratio : 27%)
  15. [PDF] 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), Linz, October 2004. (Acceptance Ratio : 27%)
  16. [PDF] Clémentine Nebut, Franck Fleurey, Yves Le traon, and Jean-Marc Jézéquel. Requirements by contracts allow automated system testing. In Proc. of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE'03), Denver (CO) 2003. (Acceptance Ratio : 21%)
  17. [PDF] B. Baudry, F. Fleurey, J-M. Jézéquel, and Y. Le Traon. Genes and bacteria for automatic test cases optimization in the .net environment. In Proceedings of ISSRE02 (International Symposium on Software Reliability Engineering), November 2002. (Acceptance Ratio : 45%)
  18. [PDF] B. Baudry, F. Fleurey, J-M. Jézéquel, and Y. Le Traon. Automatic test cases optimization using a bacteriological adaptation model: Application to .net components. In Proceedings of ASE02 (Automated Software Engineering), October 2002. (Acceptance Ratio : 40%).

International Workshops (with program committee)

  1. [PDF] Δ Martin Fagereng Johansen, Franck Fleurey, Mathieu Acher, Philippe Collet and Philippe Lahire. Exploring the Synergies Between Feature Models and Ontologies. In proceedings of the 2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE'2010). Co-located with SPLC 2010, Jeju Island, South Korea.
  2. [PDF] Δ Mathieu Acher, Philippe Collet, Franck Fleurey, Philippe Lahire, Sabine Moisan, and Jean-Paul Rigault. Modeling Context and Dynamic Adaptations with Feature Models. In the Models@run.time workshop in Association with MODELS 2009, Denver, CO.
  3. [PDF] Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, Jean-Marc Jézéquel. Modeling and Validating Dynamic Adaptation. In the Models@run.time workshop in Association with MODELS 2008, Toulouse, France.
  4. [PDF] Tejeddine Mouelhi, Franck Fleurey, Benoit Baudry and Yves Le Traon. Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach. In the Modeling Security workshop in Association with MODELS 2008, Toulouse, France
  5. [PDF] Tejeddine Mouelhi, Benoit Baudry and Franck Fleurey. A Generic Metamodel For Security Policies Mutation. In the first International ICST workshop on Security Testing, Lillehammer, April 2008.
  6. [PDF] Franck Fleurey, Benoit Baudry, Sudipto Ghosh and Robert France. A Generic Approach For Automatic Model Composition. In Aspect Oriented Modeling (AOM) Workshop colocated with MoDELS'07, Nashville, USA, October 2007 (selected as best paper).
  7. [PDF] Pierre-Alain Muller, Franck Fleurey, Zoé Drey, Damien Pollet, Frédéric Fondement and Philippe Studer. On Executable Meta-Languages applied to Model Transformations. Model Transformation In Practice (MTIP) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.
  8. [PDF] Trung Dinh-Trong, Sudipto Ghosh, Robert France, Benoit Baudry and Franck Fleurey. A Taxonomy of Faults for UML Designs. Model Design and Validation (MoDeVa) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.
  9. [PDF] Benoit Baudry, Franck Fleurey, Robert France, and Raghu Reddy. Exploring the Relationship between Model Composition and Model Transformation. Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.
  10. [PDF] Raghu Reddy, Robert France, Sudipto Ghosh, Franck Fleurey, Benoit Baudry. Model Composition - A Signature-Based Approach. Aspect Oriented Modeling (AOM) workshop held in conjunction with MODELS/UML 2005 conference, Montego Bay, Jamaica, October, 2005.
  11. [PDF] Franck Fleurey, Jim Steel, and Benoit Baudry. MDE and validation: Testing model transformation. In Procedings of the SIVOES-Modeva workshop, Rennes, November 2004.
  12. [PDF] Clémentine Nebut, Franck Fleurey, Yves Le Traon, and Jean-Marc Jézéquel. A requirement-based approach to test product families. In Proc. of the 5th workshop on Product Families Engineering (PFE-05) LNCS. Springer Verlag, 2003.
  13. [PDF] B. Baudry, F. Fleurey, J-M. Jézéquel, and Y. Le Traon. Computational intelligence for testing .net components. In Proceedings of Microsoft Summer Research Workshop, September 2002.

Technical Reports

  1. [PDF] Franck Fleurey, Erwan Breton, Benoit Baudry, Alain Nicolas and Jean-Marc Jézéquel. Generating regression tests for software migration. INRIA Rennes Technical Report, June 2009.

French Conferences

  1. Olivier Barais, Franck Fleurey, Pierre-Alain Muller, Didier Vojtisek, and Jézéquel Jean-Marc. -- 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.
  2. [PDF] Jacques Klein and Franck Fleurey. Tissage d'aspects comportementaux. Langages et Modèles à Objets: LMO'06, Nimes, France, 2006.
  3. [PDF] Clémentine Nebut and Franck Fleurey. Une méthode de formalisation progressive des exigences basée sur un modèle simulable. 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.

Other documents

  1. [PDF] Franck Fleurey. Langage et méthode pour une ingénierie des modèles fiable. Thèse de doctorat, Université de Rennes 1, Octobre 2006.
  2. Zoé Drey, Cyril Faucher, Franck Fleurey, and Didier Vojtisek. -- Kermeta language reference manual, 2006.
  3. [PDF] Franck Fleurey. Génération de tests pour la localisation automatique d'erreurs. Thèse de master, Université de Rennes 1, Juin 2003.
  4. [PDF] Franck Fleurey. Utilisation des traces d'exécution pour la génération de test, l'obtention du critère d'arrêt, le diagnostic pour des systèmes orientés-objet. Etude Bibliographique de Master, Université de Rennes 1, Décembre 2002.

Contact

Franck FLEUREY
SINTEF IKT,
Po. Box 124 Blindern,
0314 Oslo
Norway

franck@fleurey.com

Links

edit