Bibliography

Major publications by the team in recent years

• 1M. Acher, P. Collet, P. Lahire, R. France.
  FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models, in: Science of Computer Programming, June 2013, vol. 78, n^o 6, pp. 657 - 681. [ DOI : 10.1016/j.scico.2012.12.004 ]
  https://hal.inria.fr/hal-00767175
• 2B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu.
  Barriers to Systematic Model Transformation Testing, in: Communications of the ACM journal, Jun 2010, vol. 53, n^o 6, 10 p.
• 3J. Bourcier, A. Diaconescu, P. Lalanda, Julie A. Mccann.
  AutoHome: an Autonomic Management Framework for Pervasive Home Applications, in: ACM Transactions on Autonomous and Adaptive Systems, February 2011, vol. 6, n^o 1.
  https://hal.inria.fr/inria-00554197
• 4B. Combemale, J. Deantoni, B. Baudry, R. France, J.-M. Jézéquel, J. Gray.
  Globalizing Modeling Languages, in: Computer, June 2014, pp. 10-13.
  https://hal.inria.fr/hal-00994551
• 5F. Fouquet, E. Daubert, N. Plouzeau, O. Barais, J. Bourcier, A. Blouin.
  Kevoree : une approche model@runtime pour les systèmes ubiquitaires, in: UbiMob2012, Anglet, France, June 2012.
  https://hal.inria.fr/hal-00714557
• 6C. Jeanneret, M. Glinz, B. Baudry.
  Estimating Footprints of Model Operations, in: International Conference on Software Engineering, Honolulu, United States, May 2011.
  https://hal.inria.fr/hal-00641091
• 7J.-M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, F. Fouquet.
  Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench, in: Software and Systems Modeling, 2013.
  https://hal.inria.fr/hal-00829839
• 8B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
  Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.
  http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf

Publications of the year

Doctoral Dissertations and Habilitation Theses

• 9O. Barais.
  Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices, Université de Rennes 1, December 2014, Habilitation à diriger des recherches.
  https://hal.inria.fr/tel-01096952
• 10J. B. F. Filho.
  Leveraging model-based product lines for systems engineering, Université Rennes 1, December 2014.
  https://hal.inria.fr/tel-01092054
• 11J. Richard-Foy.
  Web applications engineering: reduce the complexity without loosing control, Université de Rennes 1, France, December 2014.
  https://hal.inria.fr/tel-01087372
• 12E. Rouillé.
  Variability management and automation of software development processes, Université Rennes 1, April 2014.
  https://tel.archives-ouvertes.fr/tel-01061129
• 13H. Samih.
  Model-based Testing applied to product line, Université de Rennes 1, December 2014.
  https://hal.inria.fr/tel-01092342

Articles in International Peer-Reviewed Journals

• 14M. E. Alférez, R. Bonifácio, L. Teixeira, P. Accioly, U. Kulesza, A. Moreira, J. Araujo, P. Borba.
  Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness, in: Requirements Engineering, November 2014, vol. 19, n^o 4, pp. 355 - 376. [ DOI : 10.1007/s00766-013-0184-5 ]
  https://hal.inria.fr/hal-01088537
• 15M. E. Alférez, R. E. Lopez-Herrejon, A. Moreira, V. Amaral, A. Egyed.
  Consistency Checking in Early Software Product Line Specifications -The VCC Approach, in: Journal of Universal Computer Science, May 2014, vol. 20, n^o 5, pp. 640 - 665.
  https://hal.inria.fr/hal-01088464
• 16S. Allier, O. Barais, B. Baudry, J. Bourcier, E. Daubert, F. Fleurey, M. Monperrus, H. Song, M. Tricoire.
  Multi-tier diversification in Web-based software applications, in: IEEE Software, 2014, 7 p.
  https://hal.archives-ouvertes.fr/hal-01089268
• 17M. Amrani, B. Combemale, L. Lúcio, G. Selim, J. Dingel, Y. Le Traon, H. Vangheluwe, J. R. Cordy.
  Formal Verification Techniques for Model Transformations: A Tridimensional Classification, in: Journal of Object Technology, 2014, pp. 1 - 43. [ DOI : 10.5381/jot.201Y.VV.N.aN ]
  https://hal.inria.fr/hal-01083759
• 18V. Aranega, J.-M. Mottu, A. Etien, T. Degueule, B. Baudry, J.-L. Dekeyser.
  Towards an Automation of the Mutation Analysis Dedicated to Model Transformation, in: Software Testing, Verification and Reliability, April 2014. [ DOI : 10.1002/stvr.1532 ]
  https://hal.inria.fr/hal-00988164
• 19G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.
  Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study, in: Empirical Software Engineering, 2015, 51 p. [ DOI : 10.1007/s10664-014-9357-1 ]
  https://hal.inria.fr/hal-01096969
• 20B. Combemale, J. Deantoni, B. Baudry, R. France, J.-M. Jézéquel, J. Gray.
  Globalizing Modeling Languages, in: Computer, June 2014, pp. 10-13.
  https://hal.inria.fr/hal-00994551
• 21D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.
  Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models, in: Journal of Universal Computer Science, August 2014, vol. 20, n^o 8, 20 p.
  https://hal.inria.fr/hal-01090552
• 22J. B. Ferreira Filho, O. Barais, M. Acher, J. Le Noir, A. Legay, B. Baudry.
  Generating Counterexamples of Model-based Software Product Lines, in: Software Tools for Technology Transfer (STTT), July 2014.
  https://hal.inria.fr/hal-01026581
• 23G. Sunyé, E. Cunha De Almeida, Y. Le Traon, B. Baudry, J.-M. Jézéquel.
  Model-Based Testing of Global Properties on Large-Scale Distributed Systems, in: Information and Software Technology, 2014.
  https://hal.inria.fr/hal-00942576

International Conferences with Proceedings

• 24E. K. Abbasi, M. Acher, P. Heymans, A. Cleve.
  Reverse Engineering Web Configurators, in: 17th European Conference on Software Maintenance and Reengineering (CSMR), Antwerp, Belgium, IEEE, February 2014.
  https://hal.inria.fr/hal-00913139
• 25M. Acher, M. E. Alférez, J. A. Galindo, P. Romenteau, B. Baudry.
  ViViD: A Variability-Based Tool for Synthesizing Video Sequences, in: SPLC'14 (tool demonstration track), Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01020933
• 26M. Acher, B. Baudry, O. Barais, J.-M. Jézéquel.
  Customization and 3D Printing: A Challenging Playground for Software Product Lines, in: 18th International Software Product Line Conference, Florence, Italy, July 2014.
  https://hal.inria.fr/hal-01018937
• 27M. Acher, B. Combemale, P. Collet.
  Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language, in: Onward! Essays, Portland, United States, ACM, September 2014, pp. 243–253. [ DOI : 10.1145/2661136.2661159 ]
  https://hal.inria.fr/hal-01061576
• 28M. Acher, R. E. Lopez-Herrejon, R. Rabiser.
  A Survey on Teaching of Software Product Lines, in: Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14), Nice, France, ACM, January 2014, pp. 1-8. [ DOI : 10.1145/2556624.2556629 ]
  https://hal.inria.fr/hal-00916746
• 29M. Acher, R. E. Lopez-Herrejon, R. Rabiser.
  SPLTea 2014: First International Workshop on Software Product Line Teaching, in: SPLC - 18th International Software Product Line Conference, Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01024990
• 30F. J. Acosta Padilla, F. Weis, J. Bourcier.
  Towards a Model@runtime Middleware for Cyber Physical Systems, in: Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Bordeaux, France, December 2014.
  https://hal.inria.fr/hal-01090269
• 31R. Al Ali, I. Gerostathopoulos, I. Gonzalez-Herrera, A. Juan-Verdejo, M. Kit, B. Surajbali.
  An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments, in: International Workshop on Hot TopiCS in Cloud Cloud service Scalability (HotTopiCS 2014), Dublin, Ireland, March 2014.
  https://hal.inria.fr/hal-01091541
• 32B. Baudry, S. Allier, M. Monperrus.
  Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants, in: ISSTA, United States, 2014, pp. 149-159. [ DOI : 10.1145/2610384.2610415 ]
  https://hal.archives-ouvertes.fr/hal-00938855
• 33B. Baudry, M. Monperrus, C. Mony, F. Chauvel, F. Fleurey, S. Clarke.
  DIVERSIFY - Ecology-inspired software evolution for diversity emergence, in: CSMR, Antwerp, Belgium, IEEE, February 2014, pp. 395-398.
  https://hal.inria.fr/hal-00916281
• 34S. Ben Nasr, N. Sannier, M. Acher, B. Baudry.
  Moving Toward Product Line Engineering in a Nuclear Industry Consortium, in: 18th International Software Product Line Conference (SPLC'2014), Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01019537
• 35M. Biazzini, B. Baudry.
  "May the fork be with you": novel metrics to analyze collaboration on GitHub, in: Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics (WETSoM 2014), Hyderabad, India, June 2014, pp. 37 - 43. [ DOI : 10.1145/2593868.2593875 ]
  https://hal.inria.fr/hal-01085400
• 36M. Biazzini, M. Monperrus, B. Baudry.
  On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems, in: ICSME 2014, Victoria, Canada, 2014, pp. 261-270, pages: 10.
  https://hal.archives-ouvertes.fr/hal-01063789
• 37A. Blouin, N. Moha, B. Baudry, H. Sahraoui.
  Slicing-based Techniques for Visualizing Large Metamodels, in: IEEE Working Conference on Software Visualization (VISSOFT 2014), Victoria, Canada, September 2014.
  https://hal.inria.fr/hal-01056217
• 38J. Bourgeois, J. Van Der Linden, G. Kortuem, B. A. Price, C. Rimmer.
  Conversations with my Washing Machine: An in-the-wild Study of Demand Shifting with Self-generated Energy, in: 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), Seattle, WA, United States, September 2014. [ DOI : 10.1145/2632048.2632106 ]
  https://hal.inria.fr/hal-01090641
• 39J. Bourgeois, J. Van Der Linden, G. Kortuem, C. Rimmer.
  Using Participatory Data Analysis to Understand Social Constraints and Opportunities of Electricity Demand-Shifting, in: 2nd International Conference on ICT for Sustainability (ICT4S 2014), Stockholm, Sweden, August 2014. [ DOI : 10.2991/ict4s-14.2014.49 ]
  https://hal.inria.fr/hal-01090643
• 40E. Bousse, B. Combemale, B. Baudry.
  Scalable Armies of Model Clones through Data Sharing, in: Model Driven Engineering Languages and Systems, 17th International Conference - MODELS, Valencia, Spain, September 2014.
  https://hal.inria.fr/hal-01023681
• 41E. Bousse, B. Combemale, B. Baudry.
  Towards Scalable Multidimensional Execution Traces for xDSMLs, in: 11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa), Valencia, Spain, September 2014.
  https://hal.inria.fr/hal-01061740
• 42G. Bécan, S. Ben Nasr, M. Acher, B. Baudry.
  WebFML: Synthesizing Feature Models Everywhere, in: SPLC - 18th International Software Product Line Conference, Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01022912
• 43G. Bécan, N. Sannier, M. Acher, O. Barais, A. Blouin, B. Baudry.
  Automating the Formalization of Product Comparison Matrices, in: ASE - 29th IEEE/ACM International Conference on Automated Software Engineering, Västerås, Sweden, September 2014. [ DOI : 10.1145/2642937.2643000 ]
  https://hal.inria.fr/hal-01058440
• 44J. Deantoni, P. Issa Diallo, C. Teodorov, J. Champeau, B. Combemale.
  Towards a Meta-Language for the Concurrency Concern in DSLs, in: Design, Automation and Test in Europe Conference and Exhibition (DATE), Grenoble, France, March 2015.
  https://hal.inria.fr/hal-01087442
• 45T. Duval, A. Blouin, J.-M. Jézéquel.
  When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz Framework, in: Software Engineering and Architectures for Realtime Interactive Systems Working Group, Minnesota, United States, March 2014.
  https://hal.inria.fr/hal-00969072
• 46D. Efstathiou, P. Mcburney, S. Zschaler, J. Bourcier.
  Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks, in: GECCO - Genetic and Evolutionary Computation Conference, Vancouver, Canada, July 2014.
  https://hal.inria.fr/hal-00983064
• 47D. El Kateb, F. Fouquet, J. Bourcier, Y. Le Traon.
  Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning, in: The 14th International Conference on Quality Software, Dallas, United States, October 2014, pp. 85 - 94. [ DOI : 10.1109/QSIC.2014.44 ]
  https://hal.inria.fr/hal-01090246
• 48U. Fahrenberg, M. Acher, A. Legay, A. Wąsowski.
  Sound Merging and Differencing for Class Diagrams, in: FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, S. Gnesi, A. Rensink (editors), LNCS : Fundamental Approaches to Software Engineering, Springer, April 2014, vol. 8411, pp. 63 - 78. [ DOI : 10.1007/978-3-642-54804-8_5 ]
  https://hal.inria.fr/hal-01087323
• 49F. Fouquet, G. Nain, E. Daubert, J. Bourcier, O. Barais, N. Plouzeau, B. Morin.
  Designing and Evolving Distributed Architecture using Kevoree, in: QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, Lille, France, ACM New York, NY, USA ©2014, July 2014, pp. 147-148. [ DOI : 10.1145/2602576.2611461 ]
  https://hal.inria.fr/hal-01096941
• 50J. A. Galindo Duarte, M. E. Alférez, M. Acher, B. Baudry, D. Benavides.
  A Variability-Based Testing Approach for Synthesizing Video Sequences, in: ISSTA '14: International Symposium on Software Testing and Analysis, San José, California, United States, July 2014.
  https://hal.inria.fr/hal-01003148
• 51I. Gonzalez-Herrera, J. Bourcier, O. Barais, F. Fouquet.
  Designing resource-aware distriubted system based on system level containers, in: Middleware Conference, Bordeaux, France, Middleware tutorial, December 2014, 2 p.
  https://hal.inria.fr/hal-01090565
• 52I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel.
  Scapegoat: an Adaptive monitoring framework for Component-based systems, in: Working IEEE/IFIP Conference on Software Architecture, Syndey, Australia, A. Tang (editor), IEEE/IFIP, April 2014.
  https://hal.inria.fr/hal-00983045
• 53T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein, O. Barais, Y. Le Traon.
  A Native Versioning Concept to Support Historized Models at Runtime, in: ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 2014, pp. 252 - 268. [ DOI : 10.1007/978-3-319-11653-2_16 ]
  https://hal.inria.fr/hal-01097020
• 54J.-M. Jézéquel.
  Domain Specific Languages: From Craft to Engineering, in: The 16th International Conference on Information Integration and Web-based Applications & Services, Hanoi, Vietnam, December 2014.
  https://hal.inria.fr/hal-01098012
• 55J.-M. Jézéquel.
  Safely Reusing Model Transformations through Family Polymorphism, in: 8th System Analysis and Modelling Confrence (SAM2014), Valencia, Spain, September 2014.
  https://hal.inria.fr/hal-01097975
• 56J.-M. Jézéquel, D. Mendez, T. Degueule, B. Combemale, O. Barais.
  When Systems Engineering Meets Software Language Engineering, in: CSD&M'14 - Complex Systems Design & Management, Paris, France, Springer, November 2014.
  https://hal.inria.fr/hal-01024166
• 57M. Kezadri, M. Pantel, B. Combemale, X. Thirioux.
  A formal framework to prove the correctness of model driven engineering composition operators, in: ICFEM'14 - 16th International Conference on Formal Engineering Methods, Luxembourg, Springer, November 2014.
  https://hal.inria.fr/hal-01024067
• 58G. Mussbacher, D. Amyot, R. Breu, J.-M. Bruel, B. H. Cheng, P. Collet, B. Combemale, R. France, R. Heldal, J. Hill, J. Kienzle, M. Schöttle, F. Steimann, D. Stikkolorum, J. Whittle.
  The Relevance of Model-Driven Engineering Thirty Years from Now, in: Model-Driven Engineering Languages and Systems, Valencia, Spain, J. Dingel, W. Schulte, I. Ramos, S. Abrahão, E. Insfran (editors), Model-Driven Engineering Languages and Systems, Springer International Publishing Switzerland, September 2014, vol. 8767, 18 p. [ DOI : 10.1007/978-3-319-11653-2_12 ]
  https://hal.inria.fr/hal-01081848
• 59D. Méndez-Acuña.
  Variability Management in Domain-Specific Languages, in: Doctoral Symposium of 17th International Conference in Model-Driven Engineering Languages and Systems, Valencia, Spain, B. Baudry (editor), September 2014.
  https://hal.inria.fr/hal-01077834
• 60I. D. Paez Anaya, V. Simko, J. Bourcier, N. Plouzeau, J.-M. Jézéquel.
  A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks, in: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Hyderabad, India, N. Bencomo (editor), IEEE/ACM, June 2014.
  https://hal.inria.fr/hal-00983046
• 61S. Pinchinat, M. Acher, D. Vojtisek.
  Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis, in: Workshop on Formal Methods in the Development of Software (co-located with SEFM), Grenoble, France, September 2014.
  https://hal.inria.fr/hal-01064645
• 62J. Richard-Foy, O. Barais, J.-M. Jézéquel.
  Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces, in: ICWE - 14th International Conference on Web Engineering, Toulouse, France, July 2014.
  https://hal.inria.fr/hal-01026148
• 63H. Samih, M. Acher, R. Bogusch, H. Le Guen, B. Baudry.
  Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study, in: 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Tianjin, China, IEEE, August 2014.
  https://hal.inria.fr/hal-01002099
• 64H. Samih, R. Bogusch.
  MPLM – MaTeLo Product Line Manager, in: 18th International Software Product Line Conference (2014), Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01025159
• 65H. Samih, H. Le Guen, R. Bogusch, M. Acher, B. Baudry.
  An Approach to Derive Usage Models Variants for Model-based Testing, in: The 26th IFIP International Conference on Testing Software and Systems (2014), Madrid, Spain, Springer, September 2014.
  https://hal.inria.fr/hal-01025124
• 66N. Sannier, B. Baudry.
  INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis, in: REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen, Germany, C. Salinesi, I. van de Weerd (editors), Springer, April 2014.
  https://hal.inria.fr/hal-00982065
• 67N. Sannier, G. Bécan, M. Acher, S. Ben Nasr, B. Baudry.
  Comparing or Configuring Products: Are We Getting the Right Ones?, in: 8th International Workshop on Variability Modelling of Software-intensive Systems, Nice, France, A. Wasowski, T. Weyer (editors), ACM, January 2014. [ DOI : 10.1145/2556624.2556636 ]
  https://hal.inria.fr/hal-00927312
• 68E. Vacchi, W. Cazzola, B. Combemale, M. Acher.
  Automating Variability Model Inference for Component-Based Language Implementations, in: SPLC'14 - 18th International Software Product Line Conference, Florence, Italy, P. Heymans, J. Rubin (editors), ACM, September 2014.
  https://hal.inria.fr/hal-01023864
• 69D. Van Landuyt, S. Op De Beeck, A. Hovsepyan, S. Michiels, W. Joosen, S. Meynckens, G. De Jong, O. Barais, M. Acher.
  Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor, in: 18th International Software Product Line Conference, Florence, Italy, September 2014.
  https://hal.inria.fr/hal-01018938
• 70A. Yol, B. Delabarre, A. Dame, J.-E. Dartois, E. Marchand.
  Vision-based Absolute Localization for Unmanned Aerial Vehicles, in: IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'14, Chicago, United States, September 2014.
  https://hal.inria.fr/hal-01010140

National Conferences with Proceedings

• 71S. Dupuy-Chessa, B. Combemale, M.-P. Gervais, T. Nodenot, X. Le Pallec, L. Wouters.
  Vers une approche centrée humain pour la définition de langages de modélisation graphiques, in: 32ème congrès Inforsid'2014, Lyon, France, May 2014, pp. 79-94.
  https://hal.archives-ouvertes.fr/hal-01002994

Conferences without Proceedings

• 72M. Acher, O. Barais, B. Baudry, A. Blouin, J. Bourcier, B. Combemale, J.-M. Jézéquel, N. Plouzeau.
  Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen, in: GDR GPL, Paris, France, June 2014.
  https://hal.inria.fr/hal-00980126
• 73G. Bécan, M. Acher, J.-M. Jézéquel, T. Menguy.
  On the Variability Secrets of an Online Video Generator, in: Variability Modelling of Software-intensive Systems, Hildesheim, Germany, January 2015, pp. 96 - 102. [ DOI : 10.1145/2701319.2701328 ]
  https://hal.inria.fr/hal-01104797
• 74V. Lelli, A. Blouin, B. Baudry.
  Classifying and Qualifying GUI Defects, in: 8th IEEE International Conference on Software Testing, Verification and Validation, Graz, Austria, April 2015.
  https://hal.inria.fr/hal-01114724

Scientific Books (or Scientific Book chapters)

• 75M. Acher, P. Collet, P. Lahire.
  Architectures logicielles et variabilité multiple, in: Architectures logicielles : principes, techniques et outils, Lavoisier, February 2014.
  https://hal.inria.fr/hal-01098109
• 76M. Acher, P. Collet, P. Lahire.
  Software Architectures and Multiple Variability, in: Software Architecture 2, ISTE Editions, May 2014.
  https://hal.inria.fr/hal-01098107

Books or Proceedings Editing

• 77B. Combemale, J. Deantoni, R. France (editors)
  GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages, CEUR-WS, September 2014, vol. 1236, 82 p.
  https://hal.inria.fr/hal-01074602
• 78B. Combemale, D. J. Pearce, O. Barais, J. J. Vinju (editors)
  Software Language Engineering, Springer, Västerås, Sweden, 2014, n^o 8706, 353 p.
  https://hal.inria.fr/hal-01110914

Internal Reports

• 79M. E. Alférez, J. A. Galindo, M. Acher, B. Baudry.
  Modeling Variability in the Video Domain: Language and Experience Report, July 2014, n^o RR-8576.
  https://hal.inria.fr/hal-01023159
• 80B. Baudry, M. Monperrus.
  The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond, 2014.
  https://hal.archives-ouvertes.fr/hal-01067782
• 81J. Deantoni, P. I. Diallo, J. Champeau, B. Combemale, C. Teodorov.
  Operational Semantics of the Model of Concurrency and Communication Language, September 2014, n^o RR-8584, 23 p.
  https://hal.inria.fr/hal-01060601
• 82F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais, N. Plouzeau, J.-M. Jézéquel.
  Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use, University of Luxembourg, May 2014, n^o TR-SnT-2014-11, 24 p, ISBN 978-2-87971-131-7.
  https://hal.inria.fr/hal-00996764
• 83D. Mendez, B. Baudry, M. Monperrus.
  Analysis and Exploitation of Natural Software Diversity: The Case of API Usages, Inria, 2014.
  https://hal.archives-ouvertes.fr/hal-01095501

Other Publications

• 84T. Degueule, O. Barais, A. Blouin, B. Combemale.
  The K3 Model-Based Language Workbench, July 2014.
  https://hal.inria.fr/hal-01025283
• 85T. Degueule, B. Combemale, O. Barais, A. Blouin, J.-M. Jézéquel.
  Leveraging Family Polymorphism in MDE, May 2014.
  https://hal.inria.fr/hal-00994541
• 86D. Méndez-Acuña, B. Combemale, B. Baudry.
  Variability Management in Domain-Specific Languages, September 2014, International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES).
  https://hal.inria.fr/hal-01077788

References in notes

• 87M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien, P. Lahire.
  Extraction and Evolution of Architectural Variability Models in Plugin-based Systems, in: Software & Systems Modeling (SoSyM), July 2013, 27 p. [ DOI : 10.1007/s10270-013-0364-2 ]
  http://hal.inria.fr/hal-00859472
• 88M. Acher, B. Combemale, P. Collet, O. Barais, P. Lahire, R. France.
  Composing your Compositions of Variability Models, in: ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS'13), Miami, United States, September 2013, vol. Lecture Notes in Computer Science, 17 p.
  http://hal.inria.fr/hal-00859473
• 89M. Acher, P. Heymans, A. Cleve, J.-L. Hainaut, B. Baudry.
  Support for Reverse Engineering and Maintaining Feature Models, in: VaMoS'13 - Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Pisa, Italy, ACM, January 2013.
  http://hal.inria.fr/hal-00766786
• 90A. Arcuri, L. C. Briand.
  A practical guide for using statistical tests to assess randomized algorithms in software engineering, in: ICSE, 2011, pp. 1-10.
• 91A. Avizienis.
  The N-version approach to fault-tolerant software, in: Software Engineering, IEEE Transactions on, 1985, n^o 12, pp. 1491–1501.
• 92F. Bachmann, L. Bass.
  Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, n^o 3, pp. 126–132.
• 93F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli.
  Metropolis: An integrated electronic system design environment, in: Computer, 2003, vol. 36, n^o 4, pp. 45–52.
• 94E. Baniassad, S. Clarke.
  Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
• 95E. G. Barrantes, D. H. Ackley, S. Forrest, D. Stefanović.
  Randomized instruction set emulation, in: ACM Transactions on Information and System Security (TISSEC), 2005, vol. 8, n^o 1, pp. 3–40.
• 96D. Batory, R. E. Lopez-Herrejon, J.-P. Martin.
  Generating Product-Lines of Product-Families, in: ASE '02: Automated software engineering, IEEE, 2002, pp. 81–92.
• 97S. Becker, H. Koziolek, R. Reussner.
  The Palladio component model for model-driven performance prediction, in: Journal of Systems and Software, January 2009, vol. 82, n^o 1, pp. 3–22.
• 98D. Benavides, S. Segura, A. Ruiz-Cortes.
  Automated Analysis of Feature Models 20 years Later: a Literature Review, in: Information Systems, 2010, vol. 35, n^o 6.
• 99N. Bencomo.
  On the use of software models during software execution, in: MISE '09: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering, IEEE Computer Society, May 2009.
• 100T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker, K. Czarnecki, A. Wasowski.
  A survey of variability modeling in industrial practice, in: VaMoS'13, ACM, 2013.
• 101A. Beugnard, J.-M. Jézéquel, N. Plouzeau.
  Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
• 102A. Blouin, B. Combemale, B. Baudry, O. Beaudoux.
  Kompren: Modeling and Generating Model Slicers, in: Journal of Software and Systems Modeling (SoSyM), 2012, pp. 1–17.
  http://dx.doi.org/10.1007/s10270-012-0300-x
• 103J. Bosch.
  Design and use of software architectures: adopting and evolving a product-line approach, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
• 104J. Bosch, G. Florijn, D. Greefhorst, J. Kuusela, J. H. Obbink, K. Pohl.
  Variability Issues in Software Product Lines, in: PFE '01: Revised Papers from the 4th International Workshop on Software Product-Family Engineering, London, UK, Springer-Verlag, 2002, pp. 13–21.
• 105L. Briand, E. Arisholm, S. Counsell, F. Houdek, P. Thévenod–Fosse.
  Empirical studies of object-oriented artifacts, methods, and processes: state of the art and future directions, in: Empirical Software Engineering, 1999, vol. 4, n^o 4, pp. 387–404.
• 106J. T. Buck, S. Ha, E. A. Lee, D. G. Messerschmitt.
  Ptolemy: A framework for simulating and prototyping heterogeneous systems, in: Int. Journal of Computer Simulation, 1994.
• 107T. Bures, P. Hnetynka, F. Plasil.
  Sofa 2.0: Balancing advanced features in a hierarchical component model, in: Software Engineering Research, Management and Applications, 2006. Fourth International Conference on, IEEE, 2006, pp. 40–48.
• 108G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.
  Breathing Ontological Knowledge Into Feature Model Management, Inria, oct 2013, n^o RT-0441, 15 p.
  http://hal.inria.fr/hal-00874867
• 109B. H. C. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee, J. Andersson, B. Becker, N. Bencomo, Y. Brun, B. Cukic, G. Marzo Serugendo, S. Dustdar, A. Finkelstein, C. Gacek, K. Geihs, V. Grassi, G. Karsai, H. M. Kienle, J. Kramer, M. Litoiu, S. Malek, R. Mirandola, H. A. Müller, S. Park, M. Shaw, M. Tichy, M. Tivoli, D. Weyns, J. Whittle.
  D. Hutchison, T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell, M. Naor, O. Nierstrasz, C. Pandu Rangan, B. Steffen, M. Sudan, D. Terzopoulos, D. Tygar, M. Y. Vardi, G. Weikum, B. H. C. Cheng, R. Lemos, H. Giese, P. Inverardi, J. Magee (editors), Software Engineering for Self-Adaptive Systems: A Research Roadmap , Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee, Springer Berlin Heidelberg, Berlin, Heidelberg, 2009, vol. 5525.
• 110J. Coplien, D. Hoffman, D. Weiss.
  Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, n^o 6, pp. 37–45.
• 111I. Crnkovic, S. Sentilles, A. Vulgarakis, M. R. Chaudron.
  A classification framework for software component models, in: Software Engineering, IEEE Transactions on, 2011, vol. 37, n^o 5, pp. 593–615.
• 112K. Czarnecki, U. W. Eisenecker.
  Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
• 113R. DeMilli, A. J. Offutt.
  Constraint-based automatic test data generation, in: Software Engineering, IEEE Transactions on, 1991, vol. 17, n^o 9, pp. 900–910.
• 114K. Deb, A. Pratap, S. Agarwal, T. Meyarivan.
  A fast and elitist multiobjective genetic algorithm: NSGA-II, in: Evolutionary Computation, IEEE Transactions on, 2002, vol. 6, n^o 2, pp. 182–197.
• 115S. Forrest, A. Somayaji, D. H. Ackley.
  Building diverse computer systems, in: Operating Systems, 1997., The Sixth Workshop on Hot Topics in, IEEE, 1997, pp. 67–72.
• 116R. France, B. Rumpe.
  Model-driven Development of Complex Software: A Research Roadmap, in: Proceedings of the Future of Software Engineering Symposium (FOSE '07), L. C. Briand, A. L. Wolf (editors), IEEE, 2007, pp. 37–54.
• 117S. Frey, F. Fittkau, W. Hasselbring.
  Search-based genetic optimization for deployment and reconfiguration of software in the cloud, in: Proceedings of the 2013 International Conference on Software Engineering, IEEE Press, 2013, pp. 512–521.
• 118G. Halmans, K. Pohl.
  Communicating the Variability of a Software-Product Family to Customers, in: Software and System Modeling, 2003, vol. 2, n^o 1, pp. 15-36.
• 119C. Hardebolle, F. Boulanger.
  ModHel'X: A component-oriented approach to multi-formalism modeling, in: Models in Software Engineering, Springer, 2008, pp. 247–258.
• 120M. Harman, B. F. Jones.
  Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, n^o 14, pp. 833–839.
• 121H. Hemmati, L. C. Briand, A. Arcuri, S. Ali.
  An enhanced test case selection approach for model-based testing: an industrial case study, in: SIGSOFT FSE, 2010, pp. 267-276.
• 122A. Hubaux, M. Acher, T. T. Tun, P. Heymans, P. Collet, P. Lahire.
  Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, in: Domain Engineering: Product Lines, Conceptual Models, and Languages, I. Reinhartz-Berger, A. Sturm, T. Clark, J. Bettin, S. Cohen (editors), Springer, August 2013, pp. 3-28. [ DOI : 10.1007/978-3-642-36654-3_1 ]
  http://hal.inria.fr/hal-00767213
• 123J. Hutchinson, J. Whittle, M. Rouncefield, S. Kristoffersen.
  Empirical assessment of MDE in industry, in: Proceedings of the 33rd International Conference on Software Engineering (ICSE '11), R. N. Taylor, H. Gall, N. Medvidovic (editors), ACM, 2011, pp. 471–480.
• 124J.-M. Jézéquel.
  Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, n^o 2, pp. 209–218.
  http://www.irisa.fr/triskell/publis/2008/Jezequel08a.pdf
• 125K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, A. S. Peterson.
  Feature-Oriented Domain Analysis (FODA) Feasibility Study, Carnegie-Mellon University Software Engineering Institute, November 1990.
• 126J. Kramer, J. Magee.
  Self-Managed Systems: an Architectural Challenge, in: Future of Software Engineering, IEEE, 2007, pp. 259–268.
• 127K.-K. Lau, P. V. Elizondo, Z. Wang.
  Exogenous connectors for software components, in: Component-Based Software Engineering, Springer, 2005, pp. 90–106.
• 128P. McMinn.
  Search-based software test data generation: a survey, in: Software Testing, Verification and Reliability, 2004, vol. 14, n^o 2, pp. 105–156.
• 129J. Meekel, T. B. Horton, C. Mellone.
  Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
• 130A. M. Memon.
  An event-flow model of GUI-based applications for testing, in: Software Testing, Verification and Reliability, 2007, vol. 17, n^o 3, pp. 137–157.
• 131B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
  Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, pp. 46-53.
  http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf
• 132B. Morin, O. Barais, G. Nain, J.-M. Jézéquel.
  Taming Dynamically Adaptive Systems with Models and Aspects, in: 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, Canada, 2009.
  http://hal.inria.fr/inria-00468516
• 133P.-A. Muller, F. Fleurey, J.-M. Jézéquel.
  Weaving Executability into Object-Oriented Meta-Languages, in: Proc. of MODELS/UML'2005, Jamaica, LNCS, Springer, 2005.
• 134R. Mélisson, P. Merle, D. Romero, R. Rouvoy, L. Seinturier.
  Reconfigurable run-time support for distributed service component architectures, in: the IEEE/ACM international conference, New York, New York, USA, ACM Press, 2010, 171 p.
• 135G. Nain.
  EnTiMid : Un modèle de composants pour intégrer des objets communicants dans des applications à base de services, Université Rennes 1, December 2011.
  http://hal.inria.fr/tel-00646664
• 136C. Nebut, Y. Le Traon, J.-M. Jézéquel.
  System Testing of Product Families: from Requirements to Test Cases, Springer Verlag, 2006, pp. 447–478.
  http://www.irisa.fr/triskell/publis/2006/Nebut06b.pdf
• 137C. Nebut, S. Pickin, Y. Le Traon, J.-M. Jézéquel.
  Automated Requirements-based Generation of Test Cases for Product Families, in: Proc. of the 18th IEEE International Conference on Automated Software Engineering (ASE'03), 2003.
  http://www.irisa.fr/triskell/publis/2003/nebut03b.pdf
• 138L. M. Northrop.
  SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, n^o 4, pp. 32–40.
• 139L. Northrop.
  A Framework for Software Product Line Practice, in: Proceedings of the Workshop on Object-Oriented Technology, Springer-Verlag London, UK, 1999, pp. 365–376.
• 140I. Ober, S. Graf, I. Ober.
  Validating timed UML models by simulation and verification, in: International Journal on Software Tools for Technology Transfer, 2006, vol. 8, n^o 2, pp. 128–145.
• 141D. L. Parnas.
  On the Design and Development of Program Families, in: IEEE Trans. Softw. Eng., 1976, vol. 2, n^o 1, pp. 1–9.
• 142S. Pickin, C. Jard, T. Jéron, J.-M. Jézéquel, Y. Le Traon.
  Test Synthesis from UML Models of Distributed Software, in: IEEE Transactions on Software Engineering, April 2007, vol. 33, n^o 4, pp. 252–268.
• 143K. Pohl, G. Böckle, F. J. van der Linden.
  Software Product Line Engineering: Foundations, Principles and Techniques, Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2005.
• 144B. Randell.
  System structure for software fault tolerance, in: Software Engineering, IEEE Transactions on, 1975, n^o 2, pp. 220–232.
• 145M. C. Rinard.
  Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
• 146J. Rothenberg, L. E. Widman, K. A. Loparo, N. R. Nielsen.
  The Nature of Modeling, in: in Artificial Intelligence, Simulation and Modeling, John Wiley & Sons, 1989, pp. 75–92.
• 147P. Runeson, M. Höst.
  Guidelines for conducting and reporting case study research in software engineering, in: Empirical Software Engineering, 2009, vol. 14, n^o 2, pp. 131–164.
• 148D. Schmidt.
  Guest Editor's Introduction: Model-Driven Engineering, in: IEEE Computer, 2006, vol. 39, n^o 2, pp. 25–31.
• 149F. Shull, J. Singer, D. I. Sjberg.
  Guide to advanced empirical software engineering, Springer, 2008.
• 150S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, M. Rinard.
  Managing performance vs. accuracy trade-offs with loop perforation, in: Proc. of the Symp. on Foundations of software engineering, New York, NY, USA, ESEC/FSE '11, ACM, 2011, pp. 124-134.
• 151J. Steel, J.-M. Jézéquel.
  On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, n^o 4, pp. 401–414.
  http://www.irisa.fr/triskell/publis/2007/Steel07a.pdf
• 152C. Szyperski, D. Gruntz, S. Murer.
  Component software: beyond object-oriented programming, Addison-Wesley, 2002.
• 153J.-C. Trigaux, P. Heymans.
  Modelling variability requirements in Software Product Lines: a comparative survey, FUNDP Namur, 2003.
• 154M. Utting, B. Legeard.
  Practical model-based testing: a tools approach, Morgan Kaufmann, 2010.
• 155P. Vromant, D. Weyns, S. Malek, J. Andersson.
  On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
• 156C. Yilmaz, M. B. Cohen, A. A. Porter.
  Covering arrays for efficient fault characterization in complex configuration spaces, in: Software Engineering, IEEE Transactions on, 2006, vol. 32, n^o 1, pp. 20–34.
• 157Z. A. Zhu, S. Misailovic, J. A. Kelner, M. C. Rinard.
  Randomized accuracy-aware program transformations for efficient approximate computations, in: Proc. of the Symp. on Principles of Programming Languages (POPL), 2012, pp. 441-454.
• 158T. Ziadi, J.-M. Jézéquel.
  Product Line Engineering with the UML: Deriving Products, Springer Verlag, 2006, pp. 557-586.