EN FR
EN FR


previous Previous | up Home


Bibliography

Major publications by the team in recent years
  • 1S. 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, 2015, vol. 32, no 1, pp. 83–90.

    https://hal.archives-ouvertes.fr/hal-01089268
  • 2J. 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, no 1.

    https://hal.inria.fr/inria-00554197
  • 3B. Combemale, J. Deantoni, B. Baudry, R. B. France, J.-M. Jézéquel, J. Gray.

    Globalizing Modeling Languages, in: Computer, June 2014, pp. 10-13.

    https://hal.inria.fr/hal-00994551
  • 4J.-M. Davril, E. Delfosse, N. Hariri, M. Acher, J. Clelang-Huang, P. Heymans.

    Feature Model Extraction from Large Collections of Informal Product Descriptions, in: European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'13), Saint Petersburg, Russia, September 2013, pp. 290-300. [ DOI : 10.1145/2491411.2491455 ]

    https://hal.inria.fr/hal-00859475
  • 5F. Fouquet, E. Daubert, N. Plouzeau, O. Barais, J. Bourcier, J.-M. Jézéquel.

    Dissemination of reconfiguration policies on mesh networks, in: DAIS 2012, Stockholm, Sweden, June 2012.

    https://hal.inria.fr/hal-00688707
  • 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
  • 8P.-A. Muller, F. Fleurey, J.-M. Jézéquel.

    Weaving executability into object-oriented meta-languages, in: Proceedings of MODELS/UML'2005, Montego Bay, Jamaica, October 2005.

    https://hal.inria.fr/hal-00795095
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 15S. 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, 2015, vol. 32, no 1, pp. 83–90.

    https://hal.archives-ouvertes.fr/hal-01089268
  • 16M. 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, August 2015, vol. 14, no 3, pp. 1:1-43. [ DOI : 10.5381/jot.2015.14.3.a1 ]

    https://hal.inria.fr/hal-01083759
  • 17B. Baudry, M. Monperrus.

    The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond, in: ACM Computing Surveys, July 2015, 25 p.

    https://hal.inria.fr/hal-01182103
  • 18A. Blouin, B. Combemale, B. Baudry, O. Beaudoux.

    Kompren: Modeling and Generating Model Slicers, in: Software and Systems Modeling, 2015, vol. 14, no 1, pp. 321-337.

    https://hal.inria.fr/hal-00746566
  • 19A. Blouin, N. Moha, B. Baudry, H. Sahraoui, J.-M. Jézéquel.

    Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels, in: Information and Software Technology, 2015, vol. 62, no 0, pp. 124 - 142. [ DOI : 10.1016/j.infsof.2015.02.007 ]

    https://hal.inria.fr/hal-01120558
  • 20G. 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
  • 21J. Cadavid, B. Combemale, B. Baudry.

    An Analysis of Metamodeling Practices for MOF and OCL, in: Computer Languages, Systems and Structures, 2015, vol. 41, 46 p. [ DOI : 10.1016/j.cl.2015.02.002 ]

    https://hal.inria.fr/hal-01186015
  • 22W. Sun, B. Combemale, R. B. France, A. Blouin, B. Baudry, I. Ray.

    Using Slicing to Improve the Performance of Model Invariant Checking, in: Journal of Object Technology, 2015, 28 p.

    https://hal.inria.fr/hal-01179369

International Conferences with Proceedings

  • 23C. Boudjennah, B. Combemale, D. Exertier, S. Lacrampe, M.-A. Peraldi-Frati.

    CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella, in: Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), Ottawa, Canada, CEUR, 2015.

    https://hal.inria.fr/hal-01186019
  • 24E. Bousse, T. Mayerhofer, B. Combemale, B. Baudry.

    A Generative Approach to Define Rich Domain-Specific Trace Metamodels, in: 11th European Conference on Modelling Foundations and Applications (ECMFA), L’Aquila, Italy, July 2015.

    https://hal.inria.fr/hal-01154225
  • 25J.-M. Bruel, B. Combemale, I. Ober, H. Raynal.

    MDE in Practice for Computational Science, in: International Conference on Computational Science, Reykjavík, Iceland, June 2015.

    https://hal.inria.fr/hal-01141393
  • 26B. Combemale, C. Brun, J. Champeau, X. Crégut, J. Deantoni, J. Le Noir.

    A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models, in: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Toulouse, France, 2016.

    https://hal.inria.fr/hal-01258358
  • 27J.-M. Davril, M. Cordy, P. Heymans, M. Acher.

    Using fuzzy modeling for consistent definitions of product qualities in requirements, in: Artificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on, Otawa , Canada, August 2015. [ DOI : 10.1109/AIRE.2015.7337624 ]

    https://hal.inria.fr/hal-01243006
  • 28J. 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
  • 29T. Degueule, B. Combemale, A. Blouin, O. Barais.

    Reusing Legacy DSLs with Melange, in: 15th Workshop on Domain-Specific Modeling, Pittsburgh, United States, Proceedings of the 15th Workshop on Domain-Specific Modeling, October 2015.

    https://hal.inria.fr/hal-01197039
  • 30T. Degueule, B. Combemale, A. Blouin, O. Barais, J.-M. Jézéquel.

    Melange: A Meta-language for Modular and Reusable Development of DSLs, in: 8th International Conference on Software Language Engineering (SLE), Pittsburgh, United States, October 2015.

    https://hal.inria.fr/hal-01197038
  • 31T. Degueule, J. B. Ferreira Filho, O. Barais, M. Acher, J. Le Noir, S. Madelénat, G. Gailliard, G. Burlot, O. Constant.

    Tooling Support for Variability and Architectural Patterns in Systems Engineering, in: 19th International Conference on Software Product Line, Nashville, United States, Proceedings of the 19th International Conference on Software Product Line, July 2015. [ DOI : 10.1145/2791060.2791097 ]

    https://hal.inria.fr/hal-01242180
  • 32F. Jouault, O. Beaudoux, M. Brun, M. Clavreul, G. Savaton.

    Towards Functional Model Transformations with OCL, in: Proceedings the 8th International Conference on Model Transformation (ICMT'15), L'Aquila, Italy, July 2015, pp. 111-120. [ DOI : 10.1007/978-3-319-21155-8_9 ]

    https://hal.archives-ouvertes.fr/hal-01179294
  • 33P. Laperdrix, W. Rudametkin, B. Baudry.

    Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification, in: Proceedings of the IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Firenze, Italy, May 2015, pp. 98-108.

    https://hal.inria.fr/hal-01121108
  • 34F. Latombe, X. Crégut, B. Combemale, J. Deantoni, M. Pantel.

    Weaving Concurrency in eXecutable Domain-Specific Modeling Languages, in: 8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), Pittsburg, United States, ACM, 2015.

    https://hal.inria.fr/hal-01185911
  • 35F. Latombe, X. Crégut, J. Deantoni, M. Pantel, B. Combemale.

    Coping with Semantic Variation Points in Domain-Specific Modeling Languages, in: 1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, Ottawa, Canada, CEUR, 2015.

    https://hal.inria.fr/hal-01222999
  • 36V. Lelli, A. Blouin, B. Baudry, F. Coulon.

    On Model-Based Testing Advanced GUIs, in: 11th Workshop on Advances in Model Based Testing (A-MOST 2015), Graz, Austria, Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on, April 2015, pp. 1-10. [ DOI : 10.1109/ICSTW.2015.7107403 ]

    https://hal.inria.fr/hal-01123647
  • 37V. 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, pp. 1-10. [ DOI : 10.1109/ICST.2015.7102582 ]

    https://hal.inria.fr/hal-01114724
  • 38P. Merle, O. Barais, J. Parpaillon, N. Plouzeau, S. Tata.

    A Precise Metamodel for Open Cloud Computing Interface, in: 8th IEEE International Conference on Cloud Computing (CLOUD 2015), New York, United States, Proceedings of 8th IEEE International Conference on Cloud Computing (CLOUD 2015), IEEE, June 2015, pp. 852 - 859. [ DOI : 10.1109/CLOUD.2015.117 ]

    https://hal.archives-ouvertes.fr/hal-01188800
  • 39J.-M. Mottu, S. Sen, J. Cadavid, B. Baudry.

    Discovering Model Transformation Pre-conditions using Automatically Generated Test Models, in: IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Washington DC, United States, November 2015.

    https://hal.archives-ouvertes.fr/hal-01228715
  • 40E. Outin, J.-E. Dartois, O. Barais, J.-L. Pazat.

    Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency, in: IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Cambridge, MA, United States, IEEE, September 2015, 8 p. [ DOI : 10.1109/ICCAC.2015.10 ]

    https://hal.inria.fr/hal-01243146
  • 41J. Parpaillon, P. Merle, O. Barais, M. Dutoo, F. Paraiso.

    OCCIware - A Formal and Tooled Framework for Managing Everything as a Service, in: Projects Showcase @ STAF'15, L'Aquila, Italy, CEUR (editor), Proceedings of the Projects Showcase @ STAF'15, July 2015, vol. 1400, pp. 18 - 25.

    https://hal.archives-ouvertes.fr/hal-01188826
  • 42W. Sun, B. Combemale, R. B. France.

    Towards the use of slicing techniques for an efficient invariant checking, in: MODULARITY 2015, Fort Collins, United States, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 - 19, 2015, March 2015, 2 p, Best poster award at Modularity'15. [ DOI : 10.1145/2735386.2735926 ]

    https://hal.inria.fr/hal-01141395
  • 43M. E. Vara Larsen, J. Deantoni, B. Combemale, F. Mallet.

    A Behavioral Coordination Operator Language (BCOoL), in: International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, Canada, T. Lethbridge, J. Cabot, A. Egyed (editors), ACM, September 2015, no 18, 462 p, to be published in the proceedings of the Models 2015 conference.

    https://hal.inria.fr/hal-01182773

Conferences without Proceedings

  • 44M. Acher, G. Bécan, B. Combemale, B. Baudry, J.-M. Jézéquel.

    Product Lines Can Jeopardize Their Trade Secrets, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergame, Italy, August 2015. [ DOI : 10.1145/2786805.2803210 ]

    https://hal.inria.fr/hal-01234342
  • 45M. Acher, R. E. Lopez-Herrejon, R. Rabiser.

    SPLTea 2015: Second International Workshop on Software Product Line Teaching, in: 19th International Conference on Software Product Line (SPLC'15), Nashville, United States, Proceedings of the 19th International Conference on Software Product Line (SPLC'15), July 2015. [ DOI : 10.1145/2791060.2791063 ]

    https://hal.inria.fr/hal-01243213
  • 46S. Ben Nasr, G. Bécan, M. Acher, J. B. Ferreira Filho, B. Baudry, N. Sannier, J.-M. Davril.

    MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix, in: 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergame, Italy, August 2015. [ DOI : 10.1145/2786805.2803180 ]

    https://hal.inria.fr/hal-01234338
  • 47M. Boussaa, O. Barais, G. Sunyé, B. Baudry.

    A Novelty Search Approach for Automatic Test Data Generation, in: 8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, Firenze, Italy, May 2015, 4 p.

    https://hal.archives-ouvertes.fr/hal-01121228
  • 48M. Boussaa, O. Barais, G. Sunyé, B. Baudry.

    A Novelty Search-based Test Data Generator for Object-oriented Programs, in: GECCO 2015, Madrid, Spain, Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, July 2015, pp. 1359–1360. [ DOI : 10.1145/2739482.2764716 ]

    https://hal.archives-ouvertes.fr/hal-01248177
  • 49E. Bousse, J. Corley, B. Combemale, J. Gray, B. Baudry.

    Supporting Efficient and Advanced Omniscient Debugging for xDSMLs, in: 8th International Conference on Software Language Engineering (SLE), Pittsburg, United States, October 2015.

    https://hal.inria.fr/hal-01182517
  • 50G. 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
  • 51G. Bécan, R. Behjati, A. Gotlieb, M. Acher.

    Synthesis of Attributed Feature Models From Product Descriptions, in: International Software Product Line Conference, Nashville, United States, July 2015.

    https://hal.inria.fr/hal-01178454
  • 52B. Combemale, J. Deantoni, O. Barais, A. Blouin, E. Bousse, C. Brun, T. Degueule, D. Vojtisek.

    A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio, in: 8th Transformation Tool Contest, l'Aquila, Italy, CEUR, 2015.

    https://hal.inria.fr/hal-01152342
  • 53J.-M. Davril, P. Heymans, G. Bécan, M. Acher.

    On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models, in: 17th International Configuration Workshop, Vienna, Austria, 17th International Configuration Workshop, September 2015, vol. 17th International Configuration Workshop.

    https://hal.inria.fr/hal-01243571
  • 54J. B. Ferreira Filho, M. Acher, O. Barais.

    Challenges on Software Unbundling: Growing and Letting Go, in: Modularity'15, Fort Collins, CO, United States, March 2015.

    https://hal.inria.fr/hal-01116694
  • 55F. Fleurey, B. Baudry, B. Gauzens, A. Elie, K. Yeboah-Antwi.

    Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach, in: European Conference on Artificial Life 2015, York, United Kingdom, July 2015.

    https://hal.inria.fr/hal-01159131
  • 56A. Moawad, T. Hartmann, F. Fouquet, G. Nain, J. Klein, J. Bourcier.

    Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development, in: International Conference on Model-Driven Engineering and Software Development, Angers, France, February 2015.

    https://hal.inria.fr/hal-01248160
  • 57S. Pinchinat, M. Acher, D. Vojtisek.

    ATSyRa: An Integrated Environment for Synthesizing Attack Trees , in: Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Verona, Italy, July 2015.

    https://hal.inria.fr/hal-01243021
  • 58J. L. Rodas, D. Mendez Acuna, J. A. Galindo Duarte, D. Benavides, J. Cardenas.

    Towards testing variability intensive systems using user reviews, in: Congreso Colombiano de Computación, Bogotá, Colombia, Rubby Casallas, September 2015.

    https://hal.inria.fr/hal-01204507
  • 59M. E. Vara Larsen, J. Deantoni, B. Combemale, F. Mallet.

    A Model-Driven Based Environment for Automatic Model Coordination, in: Models 2015 demo and posters, Ottawa, Canada, CEUR (editor), Models 2015 demo and posters, October 2015.

    https://hal.inria.fr/hal-01198744
  • 60K. Yeboah-Antwi, B. Baudry.

    Embedding Adaptivity in Software Systems using the ECSELR framework, in: GECCO’15, Madrid, Spain, July 2015.

    https://hal.inria.fr/hal-01159118

Scientific Books (or Scientific Book chapters)

  • 61Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, CEUR, Ottawa, Canada, 2015, vol. 1511.

    https://hal.inria.fr/hal-01242558
  • 62B. Bryant, J.-M. Jézéquel, R. Laemmel, M. Mernik, M. Schindler, F. Steinmann, J.-P. Tolvanen, A. Vallecillo, M. Voelter.

    Globalized Domain Specific Language Engineering, in: Globalizing Domain-Specific Languages, B. Combemale, B. H. Cheng, R. B. France, J.-M. Jézéquel, B. Rumpe (editors), Springer International Publishing, October 2015, vol. 9400, pp. 43-69. [ DOI : 10.1007/978-3-319-26172-0_4 ]

    https://hal.inria.fr/hal-01224283
  • 63B. H. Cheng, B. Combemale, R. B. France, J.-M. Jézéquel, B. Rumpe.

    On the Globalization of Domain-Specific Languages, in: Globalizing Domain-Specific Languages, LNCS, Springer International Publishing, 2015, vol. 9400. [ DOI : 10.1007/978-3-319-26172-0_1 ]

    https://hal.inria.fr/hal-01224105
  • 64B. H. Cheng, T. Degueule, C. Atkinson, S. Clarke, U. Frank, P. J. Mosterman, J. Sztipanovits.

    Motivating Use Cases for the Globalization of DSLs, in: Globalizing Domain-Specific Languages, B. Combemale, B. H. Cheng, R. B. France, J.-M. Jézéquel, B. Rumpe (editors), Lecture Notes in Computer Science, Springer International Publishing, 2015, vol. 9400, pp. 21-42. [ DOI : 10.1007/978-3-319-26172-0_3 ]

    https://hal.inria.fr/hal-01233660
  • 65T. Clark, M. Van Den Brand, B. Combemale, B. Rumpe.

    Conceptual Model of the Globalization for Domain-Specific Languages, in: Globalizing Domain-Specific Languages, B. Combemale, B. H. Cheng, R. B. France, J.-M. Jézéquel, B. Rumpe (editors), Lecture Notes in Computer Science, Springer International Publishing, 2015, vol. 9400, pp. 7-20. [ DOI : 10.1007/978-3-319-26172-0_2 ]

    https://hal.inria.fr/hal-01224116
  • 66B. Combemale, B. H. Cheng, R. B. France, J.-M. Jezequel, B. Rumpe.

    Globalizing Domain-Specific Languages, LNCS, Programming and Software Engineering, Springer International Publishing, 2015, vol. 9400. [ DOI : 10.1007/978-3-319-26172-0 ]

    https://hal.inria.fr/hal-01224096

Internal Reports

  • 67G. Bécan, R. Behjati, A. Gotlieb, M. Acher.

    Synthesis of Attributed Feature Models From Product Descriptions: Foundations, Inria Rennes ; Inria, February 2015, no RR-8680.

    https://hal.inria.fr/hal-01116663

Scientific Popularization

  • 68J. B. Ferreira Filho, S. Allier, O. Barais, M. Acher, B. Baudry.

    Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study, in: 19th International Software Product Line Conference (SPLC'15), Nashville, TN, United States, July 2015.

    https://hal.inria.fr/hal-01163423
  • 69F. Paraïso, J. Parpaillon, P. Merle.

    Model-Driven Multi-Cloud Resource Management, October 2015, EIT Digital Future Cloud Symposium présenté, Poster.

    https://hal.inria.fr/hal-01218571

Other Publications

  • 70B. Baudry, S. Allier, M. Rodriguez-Cancio, M. Monperrus.

    Automatic Software Diversity in the Light of Test Suites, September 2015, 11 pages, 4 figures, 8 listings, conference.

    https://hal.archives-ouvertes.fr/hal-01198384
  • 71B. Baudry, S. Allier, M. Rodriguez-Cancio, M. Monperrus.

    DSpot: Test Amplification for Automatic Assessment of Computational Diversity, June 2015, 11 pages.

    https://hal.archives-ouvertes.fr/hal-01162219
  • 72B. Combemale, B. H. Cheng, A. Moreira, J.-M. Bruel, J. Gray.

    Modeling for Sustainability, 2015, working paper or preprint.

    https://hal.inria.fr/hal-01185800
  • 73T. Degueule.

    Towards Language Interfaces for DSLs Integration, March 2015, working paper or preprint.

    https://hal.inria.fr/hal-01138017
  • 74J. H. Kim, A. Legay, L.-M. Traonouez, M. Acher, S. Kang.

    A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems, October 2015, Publication acceptée en temps que poster/papier court à la conférence SAC 2016, section software engineering.

    https://hal.archives-ouvertes.fr/hal-01241673
  • 75P. Laperdrix, B. Baudry.

    Le fingerprinting : une nouvelle technique de traçage, September 2015, pp. 52-57, MISC Magazine n°81.

    https://hal.inria.fr/hal-01247090
  • 76J. Xuan, B. Cornu, M. Martinez, B. Baudry, L. Seinturier, M. Monperrus.

    Dynamic Analysis can be Improved with Automatic Test Suite Refactoring, June 2015, working paper or preprint.

    https://hal.archives-ouvertes.fr/hal-01162220
References in notes
  • 77A. Arcuri, L. C. Briand.

    A practical guide for using statistical tests to assess randomized algorithms in software engineering, in: ICSE, 2011, pp. 1-10.
  • 78A. Avizienis.

    The N-version approach to fault-tolerant software, in: Software Engineering, IEEE Transactions on, 1985, no 12, pp. 1491–1501.
  • 79F. Bachmann, L. Bass.

    Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, no 3, pp. 126–132.
  • 80F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli.

    Metropolis: An integrated electronic system design environment, in: Computer, 2003, vol. 36, no 4, pp. 45–52.
  • 81E. Baniassad, S. Clarke.

    Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
  • 82E. 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, no 1, pp. 3–40.
  • 83D. 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.
  • 84S. Becker, H. Koziolek, R. Reussner.

    The Palladio component model for model-driven performance prediction, in: Journal of Systems and Software, January 2009, vol. 82, no 1, pp. 3–22.
  • 85N. 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.
  • 86A. Beugnard, J.-M. Jézéquel, N. Plouzeau.

    Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
  • 87J. 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.
  • 88J. 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.
  • 89L. C. 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, no 4, pp. 387–404.
  • 90J. 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.
  • 91T. 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.
  • 92G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.

    Breathing Ontological Knowledge Into Feature Model Management, Inria, oct 2013, no RT-0441, 15 p.

    http://hal.inria.fr/hal-00874867
  • 93G. 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
  • 94G. 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
  • 95B. 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.
  • 96J. Coplien, D. Hoffman, D. Weiss.

    Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, no 6, pp. 37–45.
  • 97I. Crnkovic, S. Sentilles, A. Vulgarakis, M. R. Chaudron.

    A classification framework for software component models, in: Software Engineering, IEEE Transactions on, 2011, vol. 37, no 5, pp. 593–615.
  • 98K. Czarnecki, U. W. Eisenecker.

    Generative programming: methods, tools, and applications, ACM Press/Addison-Wesley Publishing Co., New York, NY, USA, 2000.
  • 99R. DeMilli, A. J. Offutt.

    Constraint-based automatic test data generation, in: Software Engineering, IEEE Transactions on, 1991, vol. 17, no 9, pp. 900–910.
  • 100K. 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, no 2, pp. 182–197.
  • 101S. 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.
  • 102R. B. 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.
  • 103S. 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.
  • 104G. Halmans, K. Pohl.

    Communicating the Variability of a Software-Product Family to Customers, in: Software and System Modeling, 2003, vol. 2, no 1, pp. 15-36.
  • 105C. Hardebolle, F. Boulanger.

    ModHel'X: A component-oriented approach to multi-formalism modeling, in: Models in Software Engineering, Springer, 2008, pp. 247–258.
  • 106M. Harman, B. F. Jones.

    Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, no 14, pp. 833–839.
  • 107H. 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.
  • 108J. 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.
  • 109J.-M. Jézéquel.

    Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, no 2, pp. 209–218.

    http://www.irisa.fr/triskell/publis/2008/Jezequel08a.pdf
  • 110K. 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.
  • 111J. Kramer, J. Magee.

    Self-Managed Systems: an Architectural Challenge, in: Future of Software Engineering, IEEE, 2007, pp. 259–268.
  • 112K.-K. Lau, P. V. Elizondo, Z. Wang.

    Exogenous connectors for software components, in: Component-Based Software Engineering, Springer, 2005, pp. 90–106.
  • 113P. McMinn.

    Search-based software test data generation: a survey, in: Software Testing, Verification and Reliability, 2004, vol. 14, no 2, pp. 105–156.
  • 114J. Meekel, T. B. Horton, C. Mellone.

    Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
  • 115A. M. Memon.

    An event-flow model of GUI-based applications for testing, in: Software Testing, Verification and Reliability, 2007, vol. 17, no 3, pp. 137–157.
  • 116B. 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
  • 117P.-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.
  • 118R. 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.
  • 119C. 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
  • 120C. 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
  • 121L. M. Northrop.

    SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, no 4, pp. 32–40.
  • 122L. M. 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.
  • 123I. 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, no 2, pp. 128–145.
  • 124E. Outin, J.-L. Pazat, O. Barais.

    Using Models@Run.time to embed an Energetic Cloud Simulator in a MAPE-K Loop, in: Workshop Autonomique, Toulouse, France, October 2014.

    https://hal.inria.fr/hal-01243158
  • 125D. L. Parnas.

    On the Design and Development of Program Families, in: IEEE Trans. Softw. Eng., 1976, vol. 2, no 1, pp. 1–9.
  • 126S. 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, no 4, pp. 252–268.
  • 127K. 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.
  • 128B. Randell.

    System structure for software fault tolerance, in: Software Engineering, IEEE Transactions on, 1975, no 2, pp. 220–232.
  • 129M. Rinard.

    Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
  • 130J. 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.
  • 131P. Runeson, M. Höst.

    Guidelines for conducting and reporting case study research in software engineering, in: Empirical Software Engineering, 2009, vol. 14, no 2, pp. 131–164.
  • 132D. Schmidt.

    Guest Editor's Introduction: Model-Driven Engineering, in: IEEE Computer, 2006, vol. 39, no 2, pp. 25–31.
  • 133F. Shull, J. Singer, D. I. Sjberg.

    Guide to advanced empirical software engineering, Springer, 2008.
  • 134S. 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.
  • 135J. Steel, J.-M. Jézéquel.

    On Model Typing, in: Journal of Software and Systems Modeling (SoSyM), December 2007, vol. 6, no 4, pp. 401–414.

    http://www.irisa.fr/triskell/publis/2007/Steel07a.pdf
  • 136C. Szyperski, D. Gruntz, S. Murer.

    Component software: beyond object-oriented programming, Addison-Wesley, 2002.
  • 137J.-C. Trigaux, P. Heymans.

    Modelling variability requirements in Software Product Lines: a comparative survey, FUNDP Namur, 2003.
  • 138M. Utting, B. Legeard.

    Practical model-based testing: a tools approach, Morgan Kaufmann, 2010.
  • 139P. Vromant, D. Weyns, S. Malek, J. Andersson.

    On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
  • 140C. 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, no 1, pp. 20–34.
  • 141Z. A. Zhu, S. Misailovic, J. A. Kelner, M. 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.
  • 142T. Ziadi, J.-M. Jézéquel.

    Product Line Engineering with the UML: Deriving Products, Springer Verlag, 2006, pp. 557-586.


previous Previous | up Home