Articles (referred journals)

  1. [PDF] Δ Brice Morin, Nicolas Harrand and Franck Fleurey. Model-Based Software Engineering to Tame the IoT Jungle. To appear in IEEE Software. 2017.
  2. [PDF] Δ Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire. Multitier Diversification in Web-Based Software Applications. IEEE Software 32(1): 83-90. 2015.
  3. [PDF] Δ 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 Evolution and Process 24 (7), p. 765-781, 2012.
  4. [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.
  5. [PDF] Δ Jörg Kienzle, Wisam Al Abed, Franck Fleurey, Jean-Marc Jézéquel, Jacques Klein. Aspect-Oriented Design with Reusable Aspect Models. Transaction on Aspect-Oriented Software Development 7: 272-320 (2010).
  6. [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 44--51, October 2009.
  7. [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.
  8. [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).
  9. [PDF] Jacques Klein, Franck Fleurey, and Jean-Marc Jézéquel. Weaving multiple aspects in sequence diagrams. Trans. on Aspect Oriented Software Development, 2007.
  10. [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.
  11. [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.
  12. [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] Δ Nicolas Harrand, Brice Morin, Franck Fleurey and Knut Eilif Husa. ThingML, A Language and Code Generation Framework for Heterogeneous Targets. MoDELS 2016. Saint Malo, France. 2016.
  2. [PDF] Δ Brice Morin, Franck Fleurey, Knut-Eilif Husa, Olivier Barais. A Generative Middleware for Heterogeneous and Distributed Services. CBSE 2016: 107-116, 2016.
  3. [PDF] Δ Hui Song, Amal Elgammal, Vivek Nallur, Franck Chauvel, Franck Fleurey, Siobhán Clarke. On Architectural Diversity of Dynamic Adaptive Systems. ICSE NIER (2) 2015: 595-598, 2015.
  4. [PDF] Δ Franck Chauvel, Hui Song, Franck Fleurey. Diversity: A Heuristic to Improve Robustness of Self-Adaptive Cloud Architectures. UCC 2015: 132-141, 2015.
  5. [PDF] Δ Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhán Clarke. DIVERSIFY: Ecology-inspired software evolution for diversity emergence. CSMR-WCRE 2014: 395-398, 2014.
  6. [PDF] Δ Steffen Dalgard, Franck Fleurey, Anders E. Liverud. Peer Synchronization Method for Wireless Sensor Networks using Heterogeneous Bluetooth Sensor Nodes. SENSORNETS 2014: 175-180, 2014.
  7. [PDF] Δ Franck Chauvel, Hui Song, Nicolas Ferry, Franck Fleurey. Robustness Indicators for Cloud-Based Systems Topologies. UCC 2014: 307-316, 2014.
  8. [PDF] Δ Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Anne Grete Eldegard, Torbjørn Syversen. Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines. MoDELS 2012, p. 269-284, 2012.
  9. [PDF] Δ François Fouquet, Brice Morin, Franck Fleurey, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel. A dynamic component model for cyber physical systems. CBSE 2012, p.135-144, 2012.
  10. [PDF] Martin Fagereng Johansen, Oystein Haugen and Franck Fleurey. An Algorithm for Generating t-wise Covering Arrays from Large Feature Models. Accepted for publication at the 16th International Software Product Line Conference. Salvador, Brazil, September 2-7, 2012.
  11. [PDF] Δ Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais and Jean-Marc Jezequel. Towards Flexible Evolution of Dynamically Adaptive Systems. In proceedings of 34th International Conference on Software Engineering, New Ideas & Emerging Results Track, ICSE 2012, Zurich, Switzerland, June 2-9, 2012. (Acceptance Ratio : 18%).
  12. [PDF] Δ Martin Fagereng Johansen, Øystein Haugen, Franck Fleurey, Erik Carlson, Jan Endresen, Tormod Wien. A Technique for Agile and Automatic Interaction Testing for Product Lines. ICTSS 2012, p. 39-54, 2012.
  13. [PDF] Franck Fleurey, Brice Morin, Arnor Solberg and Olivier Barais. MDE to Manage Communications with and between Resource-Constrained Systems. In proceedings of 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. (Acceptance Ratio : 20%).
  14. [PDF] Δ Martin Fagereng Johansen, Oystein Haugen and Franck Fleurey. Properties of Realistic Feature Models make Combinatorial Testing of Product Lines Feasible. In proceedings of 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. (Acceptance Ratio : 20%).
  15. [PDF] Δ Phil Greenwood, Ruzanna Chitchyan, Awais Rashid, Joost Noppen, Franck Fleurey and Arnor Solberg. Modelling adaptability and variability in requirements. In proceedings of the 19th IEEE International Requirements Engineering Conference (Demo & Poster track), RE 2011, Trento, Italy, August 29-September 2, 2011.
  16. [PDF] Δ Franck Fleurey, Øystein Haugen, Birger Møller-Pedersen, Andreas Svendsen and Xiaorui Zhang. Standardizing Variability - Challenges and Solutions. In proceedings of the 15th International Conference on System Design Languages, SDL 2011, Toulouse, France, July 5-7, 2011.
  17. [PDF] Franck Fleurey, Brice Morin, and Arnor Solberg. A Model-Driven Approach to Develop Adaptive Firmwares. In SEAMS’11: 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Waikiki, Honolulu, Hawaii, USA, May 2011 (Acceptance Ratio : 28%).
  18. [PDF] Δ Mauricio Alférez, Nuno Amalio, Selim Ciraci, Franck Fleurey, Joerg Kienzle, Jacques Klein, Sebastien Mosser, Gunter Mussbacher, Ella Roubtsova, Gefei Zhang. Aspect-Oriented Model Development at Different Levels of Abstraction. In proceedings of ECMFA 2011 (Acceptance Ratio : 36%).
  19. [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%).
  20. [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%).
  21. [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%).
  22. [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%).
  23. [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 %).
  24. [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%).
  25. [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%).
  26. [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%).
  27. [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%)
  28. [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%)
  29. [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%).
  30. [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.
  31. [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%)
  32. [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%)
  33. [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%)
  34. [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%)
  35. [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%)
  36. [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] Δ Brice Morin, Franck Fleurey, Olivier Barais. Taming Heterogeneity and Distribution in sCPS. SEsCPS@ICSE 2015: 40-43, 2015
  2. [PDF] Δ Hui Song, Franck Chauvel, Franck Fleurey, Nicolas Ferry, Arnor Solberg. Consolas: A Model-Based Tool for Automatic Configuration and Deployment of Cloud Applications. P&D@MoDELS 2015: 5-8, 2015.
  3. [PDF] Δ Anders E. Liverud, Jon Vedum, Franck Fleurey and Trine M. Seeberg. Wearable Wireless Multi-parameter Sensor Module for Physiological Monitoring. Accepted for publication at the 9th International Conference on Wearable Micro and Nano Technologies for Personalized Health (pHealth 2012). Porto, Portugal, June 26-28, 2012.
  4. [PDF] Δ Martin Fagereng Johansen, Oystein Haugen and Franck Fleurey. A survey of empirics of strategies for software product line testing. In proceedings of the 1st Int’l Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST), colocated with ICST 2011, Berlin, Germany.
  5. [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.
  6. [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.
  7. [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.
  8. [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
  9. [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.
  10. [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).
  11. [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.
  12. [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.
  13. [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.
  14. [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.
  15. [PDF] Franck Fleurey, Jim Steel, and Benoit Baudry. MDE and validation: Testing model transformation. In Procedings of the SIVOES-Modeva workshop, Rennes, November 2004.
  16. [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.
  17. [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.

Book Chapters

  1. Ruzanna Chitchyan, Brice Morin, Franck Fleurey, Nelly Bencomo, Arnor Solberg and Thomas Genssler. Dynamic variability in adaptive systems. Book chapter in Aspect-Oriented, Model-Driven Software Product Lines, Cambridge University Press, September 2011.

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