EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1B. Baudry, M. Monperrus.

    The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond, in: ACM Computing Surveys, 2015, vol. 48, no 1, pp. 16:1–16:26.

    https://hal.inria.fr/hal-01182103
  • 2A. 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, pp. 124 - 142. [ DOI : 10.1016/j.infsof.2015.02.007 ]

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

    NOTICE: A Framework for Non-functional Testing of Compilers, in: Proc. of the Int. Conf. on Software Quality, Reliability & Security (QRS), August 2016.

    https://hal.archives-ouvertes.fr/hal-01344835
  • 4G. Bécan, M. Acher, B. Baudry, S. Ben Nasr.

    Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study, in: Empirical Software Engineering, 2015, vol. 21, no 4, pp. 1794–1841. [ DOI : 10.1007/s10664-014-9357-1 ]

    https://hal.inria.fr/hal-01096969
  • 5G. Bécan, N. Sannier, M. Acher, O. Barais, A. Blouin, B. Baudry.

    Automating the Formalization of Product Comparison Matrices, in: Proc. of the Int. Conf. on Automated Software Engineering (ASE), September 2014. [ DOI : 10.1145/2642937.2643000 ]

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

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

    https://hal.inria.fr/hal-00994551
  • 7B. Combemale, J. Deantoni, M. E. Vara Larsen, F. Mallet, O. Barais, B. Baudry, R. France.

    Reifying Concurrency for Executable Metamodeling, in: Proc. of the Int. Conf. on Software Language Engineering, October 2013, pp. 365-384. [ DOI : 10.1007/978-3-319-02654-1_20 ]

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

    Feature Model Extraction from Large Collections of Informal Product Descriptions, in: Proc. of the Europ. Software Engineering Conf. and the ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE), September 2013, pp. 290-300. [ DOI : 10.1145/2491411.2491455 ]

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

    Melange: A Meta-language for Modular and Reusable Development of DSLs, in: Proc. of the Int. Conf. on Software Language Engineering (SLE), October 2015.

    https://hal.inria.fr/hal-01197038
  • 10J. A. Galindo Duarte, M. Alferez, M. Acher, B. Baudry, D. Benavides.

    A Variability-Based Testing Approach for Synthesizing Video Sequences, in: Proc. of the Int. Symp. on Software Testing and Analysis (ISSTA), July 2014.

    https://hal.inria.fr/hal-01003148
  • 11I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel, B. Baudry.

    ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems, in: Journal of Systems and Software, 2016. [ DOI : 10.1016/j.jss.2016.02.027 ]

    https://hal.inria.fr/hal-01354999
  • 12J.-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, 2015, vol. 14, no 2, pp. 905-920.

    https://hal.inria.fr/hal-00829839
  • 13P. Laperdrix, W. Rudametkin, B. Baudry.

    Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints, in: Proc. of the Symp. on Security and Privacy (S&P), May 2016.

    https://hal.inria.fr/hal-01285470
  • 14M. Rodriguez-Cancio, B. Combemale, B. Baudry.

    Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding, in: Proc. of the Int. Conf. on Automated Software Engineering (ASE), September 2016.

    https://hal.inria.fr/hal-01343818
  • 15M. Tricoire, O. Barais, M. Leduc, J. Bourcier, F. Fouquet, G. Nain, M. Ludovic, G. Sunyé, B. Morin.

    KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser, in: Proc. of WICSA and CompArch, April 2016. [ DOI : 10.1109/CBSE.2016.20 ]

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

Doctoral Dissertations and Habilitation Theses

  • 16F. J. Acosta Padilla.

    Self-adaptation for Internet of Things applications, Université de Rennes 1, France, December 2016.

    https://hal.inria.fr/tel-01426219
  • 17S. Ben Nasr.

    Mining and Modeling Variability from Natural Language Documents: Two Case Studies, Université Rennes 1, April 2016.

    https://hal.inria.fr/tel-01388392
  • 18J. Bourgeois.

    Interactive Demand-Shifting in the Context of Domestic Micro-Generation, The Open University ; Université de Rennes 1 [UR1], June 2016.

    https://hal.inria.fr/tel-01385022
  • 19G. Bécan.

    Metamodels and Feature Models: Complementary Approaches to Formalize Product Comparison Matrices, Université Rennes 1, September 2016.

    https://hal.inria.fr/tel-01416129
  • 20T. Degueule.

    Composition and Interoperability for External Domain-Specific Language Engineering, Université de Rennes 1 [UR1], December 2016.

    https://hal.inria.fr/tel-01427009
  • 21D. Méndez-Acuña.

    Leveraging Software Product Lines Engineering in the Construction of Domain Specific Languages, Université de Rennes 1, France, December 2016.

    https://hal.archives-ouvertes.fr/tel-01427187

Articles in International Peer-Reviewed Journals

  • 22S. Ben Nasr, G. Bécan, M. Acher, J. F. F. Bosco, N. Sannier, B. Baudry, J.-M. Davril.

    Automated Extraction of Product Comparison Matrices From Informal Product Descriptions, in: Journal of Systems and Software, 2017, vol. 124, pp. 82 - 103. [ DOI : 10.1016/j.jss.2016.11.018 ]

    https://hal.inria.fr/hal-01427218
  • 23J. F. F. Bosco, M. Acher, O. Barais.

    Software Unbundling: Challenges and Perspectives, in: Transactions on Modularity and Composition, May 2016.

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

    Safe Model Polymorphism for Flexible Modeling, in: Computer Languages, Systems and Structures, September 2016.

    https://hal.inria.fr/hal-01367305
  • 25I. Gonzalez-Herrera, J. Bourcier, E. Daubert, W. Rudametkin, O. Barais, F. Fouquet, J.-M. Jézéquel, B. Baudry.

    ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems, in: Journal of Systems and Software, 2016. [ DOI : 10.1016/j.jss.2016.02.027 ]

    https://hal.inria.fr/hal-01354999
  • 26A. Hervieu, D. Marijan, A. Gotlieb, B. Baudry.

    Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming, in: Information and Software Technology, March 2016, vol. 71, pp. 129-146.

    https://hal.inria.fr/hal-01352831
  • 27M. Kezadri, M. Pantel, X. Thirioux, B. Combemale.

    Correct-by-construction model driven engineering composition operators, in: Formal Aspects of Computing, January 2016, vol. 28, no 3. [ DOI : 10.1007/s00165-016-0354-6 ]

    https://hal.inria.fr/hal-01319576
  • 28G. Khandu Narwane, J. A. Galindo Duarte, S. Narayanan Krishna, D. Benavides, J.-V. Millo, S. Ramesh.

    Traceability analyses between features and assets in software product lines, in: Entropy, July 2016.

    https://hal.inria.fr/hal-01342351
  • 29D. Méndez-Acuña, J. A. Galindo Duarte, T. Degueule, B. Combemale, B. Baudry.

    Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review, in: Computer Languages, Systems and Structures, September 2016. [ DOI : 10.1016/j.cl.2016.09.004 ]

    https://hal.archives-ouvertes.fr/hal-01372702
  • 30J. Xuan, B. Cornu, M. Martinez, B. Baudry, L. Seinturier, M. Monperrus.

    B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis, in: Information and Software Technology, 2016, vol. 76, pp. 65-80. [ DOI : 10.1016/j.infsof.2016.04.016 ]

    https://hal.archives-ouvertes.fr/hal-01309004
  • 31K. Yeboah-Antwi, B. Baudry.

    Online Genetic Improvement on the java virtual machine with ECSELR, in: Genetic Programming and Evolvable Machines, October 2016, pp. 1-27. [ DOI : 10.1007/s10710-016-9278-4 ]

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

Invited Conferences

  • 32G. Perrouin, M. Acher, J.-M. Davril, A. Legay, P. Heymans.

    A Complexity Tale: Web Configurators, in: VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16), Austin, United States, May 2016, pp. 28 - 31. [ DOI : 10.1145/2897045.2897051 ]

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

International Conferences with Proceedings

  • 33A. Allen, C. Aragon, C. Becker, J. C. Carver, A. Chis, B. Combemale, M. Croucher, K. CROWSTON, D. Garijo, A. Gehani, C. Goble, R. Haines, R. Hirschfeld, J. Howison, K. Huff, C. Jay, D. Katz, C. Kirchner, K. Kuksenok, R. Lämmel, O. Nierstrasz, M. Turk, R. V. van Nieuwpoort, M. Vaughn, J. Vinju.

    Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software, in: Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), Manchester, United Kingdom, G. Allen, J. Carver, M. Heroux, L. J. Hwang, D. S. Katz, K. E. Niemeyer, M. Parashar, C. C. Venters, S.-C. T. Choi, T. Crick, M. R. Crusoe, S. Gesing, R. Haines (editors), Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), CEUR, 2016, vol. 1686.

    https://hal.inria.fr/hal-01367344
  • 34O. Barais, J. Bourcier, Y.-D. Bromberg, C. Dion.

    Towards microservices architecture to transcode videos in the large at low costs, in: TEMU 2016 - International Conference on Telecommunications and Multimedia, Heraklion, Greece, July 2016, pp. 1 - 6. [ DOI : 10.1109/TEMU.2016.7551918 ]

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

    Automatic Non-functional Testing of Code Generators Families, in: 15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Amsterdam, Netherlands, Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, October 2016, 11 p.

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

    NOTICE: A Framework for Non-functional Testing of Compilers, in: 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Vienna, Austria, IEEE Computer Society Conference Publishing Services (CPS), August 2016.

    https://hal.archives-ouvertes.fr/hal-01344835
  • 37E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni, B. Combemale.

    Execution Framework of the GEMOC Studio (Tool Demo), in: Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, Netherlands, SLE 2016, October 2016, 8 p.

    https://hal.inria.fr/hal-01355391
  • 38B. 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
  • 39B. Combemale, B. H. Cheng, A. Moreira, J.-M. Bruel, J. Gray.

    Modeling for Sustainability, in: Modeling in Software Engineering 2016 (MiSE'16), Austin, United States, Modeling in Software Engineering 2016 (MiSE'16), ACM, 2016.

    https://hal.inria.fr/hal-01185800
  • 40J. A. Galindo Duarte, M. Acher, J. M. Tirado, C. Vidal, B. Baudry, D. Benavides.

    Exploiting the Enumeration of All Feature Model Configurations: A New Perspective with Distributed Computing, in: Software Product Line Conference, Beijing, China, September 2016.

    https://hal.archives-ouvertes.fr/hal-01334851
  • 41I. Gonzalez-Herrera, J. Bourcier, W. Rudametkin, O. Barais, F. Fouquet.

    Squirrel: Architecture Driven Resource Management, in: SAC - 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 2016. [ DOI : 10.1145/0000000.0000000 ]

    https://hal.inria.fr/hal-01355000
  • 42A. Jangda, M. Mishra, B. Baudry.

    libmask: Protecting Browser JIT Engines from the Devil in the Constants, in: Annual Conference on Privacy, Security and Trust, Auckland, New Zealand, December 2016.

    https://hal.inria.fr/hal-01382971
  • 43J. Kienzle, G. Mussbacher, O. Alam, M. Schöttle, N. Belloir, P. Collet, B. Combemale, J. Deantoni, J. Klein, B. Rumpe.

    VCU: The Three Dimensions of Reuse, in: The 15th International Conference on Software Reuse (ICSR-15), Limassol, Cyprus, The 15th International Conference on Software Reuse, 2016.

    https://hal.inria.fr/hal-01287720
  • 44J. 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, in: Symposium on Applied Computing, Pise, Italy, Proceedings of the 31st Annual ACM Symposium on Applied Computing, ACM, April 2016, pp. 1562 - 1565. [ DOI : 10.1145/2851613.2851977 ]

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

    Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints, in: 37th IEEE Symposium on Security and Privacy (S&P 2016), San Jose, United States, May 2016.

    https://hal.inria.fr/hal-01285470
  • 46G. Le Guernic, B. Combemale, J. A. Galindo Duarte.

    Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework, in: 3rd Workshop on Formal Integrated Development Environment, Limassol, Cyprus, Catherine Dubois and Dominique Mery and Paolo Masci, November 2016.

    https://hal.inria.fr/hal-01401849
  • 47J. Le Noir, S. Madelénat, C. Labreuche, O. Constant, G. Gailliard, M. Acher, O. Barais.

    A Decision-making Process for Exploring Architectural Variants in Systems Engineering, in: Software Product Lines Conference (SPLC), Beijing, China, September 2016. [ DOI : 10.1145/1235 ]

    https://hal.inria.fr/hal-01374140
  • 48V. Lelli, A. Blouin, B. Baudry, F. Coulon, O. Beaudoux.

    Automatic Detection of GUI Design Smells: The Case of Blob Listener, in: Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16), Brussels, Belgium, June 2016, pp. 263-274. [ DOI : 10.1145/2933242.2933260 ]

    https://hal.inria.fr/hal-01308625
  • 49B. Morin, F. Fleurey, K. E. Husa, O. Barais.

    A Generative Middleware for Heterogeneous and Distributed Services, in: 19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Venise, Italy, 19th International ACM Sigsoft Symposium on Component-Based Software Engineering, April 2016. [ DOI : 10.1109/CBSE.2016.12 ]

    https://hal.archives-ouvertes.fr/hal-01356104
  • 50D. Méndez-Acuña, J. A. Galindo Duarte, B. Combemale, A. Blouin, B. Baudry, G. Le Guernic.

    Reverse-engineering reusable language modules from legacy domain-specific languages, in: International Conference on Software Reuse, Limassol, Cyprus, Proceedings of the International Conference on Software Reuse, June 2016.

    https://hal.archives-ouvertes.fr/hal-01284816
  • 51D. Méndez-Acuña, J. A. Galindo Duarte, B. Combemale, A. Blouin, B. Baudry.

    Puzzle: A tool for analyzing and extracting specification clones in DSLs, in: ICSR 2016 the 15th International Conference on Software Reuse, Limassol, Cyprus, Proceedings of the 15th International Conference on Software Reuse, June 2016.

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

    Seeking for the Optimal Energy Modelisation Accuracy to Allow Efficient Datacenter Optimizations, in: 16th International Symposium on Cluster, Cloud and Grid Computing, Cartagena, Italy, IEEE/ACM 16th International Symposium on Cluster, Cloud and Grid Computing, May 2016. [ DOI : 10.1109/CCGrid.2016.67 ]

    https://hal.archives-ouvertes.fr/hal-01356099
  • 53G. Perrouin, M. Amrani, M. Acher, B. Combemale, A. Legay, P.-Y. Schobbens.

    Featured model types: Towards Systematic Reuse in Modelling Language Engineering, in: MiSE '16 - 8th International Workshop on Modeling in Software Engineering, New york, United States, ACM, May 2016, pp. 1 - 7. [ DOI : 10.1145/2896982.2896987 ]

    https://hal.inria.fr/hal-01406507
  • 54M. Rodriguez-Cancio, B. Combemale, B. Baudry.

    Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding, in: 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, Singapore, ASE 2016:Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, September 2016.

    https://hal.inria.fr/hal-01343818
  • 55P. Temple, J. A. Galindo Duarte, M. Acher, J.-M. Jézéquel.

    Using Machine Learning to Infer Constraints for Product Lines, in: Software Product Line Conference (SPLC), Beijing, China, September 2016. [ DOI : 10.1145/2934466.2934472 ]

    https://hal.inria.fr/hal-01323446
  • 56M. Tricoire, O. Barais, M. Leduc, J. Bourcier, F. Fouquet, G. Nain, M. Ludovic, G. Sunyé, B. Morin.

    KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser, in: WICSA and CompArch 2016, Venice, Italy, ACM Sigsoft, April 2016. [ DOI : 10.1109/CBSE.2016.20 ]

    https://hal.inria.fr/hal-01354997
  • 57M. Vinueza, J. L. Rodas, J. A. Galindo Duarte, D. Benavides.

    El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos, in: CEDI 2016, Salamanca, Spain, September 2016.

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

National Conferences with Proceedings

  • 58J. L. Rodas, J. Olivares, J. A. Galindo Duarte, D. Benavides.

    Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad, in: CEDI 2016, Salamanca, Spain, September 2016.

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

Scientific Books (or Scientific Book chapters)

  • 59B. Combemale, R. France, J.-M. Jézéquel, B. Rumpe, J. R. Steel, D. Vojtisek.

    Engineering Modeling Languages: Turning Domain Knowledge into Tools, Chapman and Hall/CRC, November 2016, 398 p.

    https://hal.inria.fr/hal-01355374
  • 60T. Degueule, B. Combemale, J.-M. Jézéquel.

    On Language Interfaces, in: PAUSE: Present And Ulterior Software Engineering, B. Meyer, M. Mazzara (editors), Springer, February 2017.

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

Internal Reports

  • 61M. Acher, F. Esnault.

    Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report, Inria Rennes Bretagne Atlantique, April 2016, no RT-0479.

    https://hal.inria.fr/hal-01307091
  • 62B. Danglot, P. Preux, B. Baudry, M. Monperrus.

    Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation, HAL, 2016, no hal-01378523.

    https://hal.archives-ouvertes.fr/hal-01378523
  • 63G. Le Guernic, J. A. Galindo Duarte.

    Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework, Inria Rennes Bretagne Atlantique, October 2016, no RR-8967, 41 p.

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

Other Publications

References in notes
  • 66A. Arcuri, L. C. Briand.

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

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

    Managing variability in software architectures, in: SIGSOFT Softw. Eng. Notes, 2001, vol. 26, no 3, pp. 126–132.
  • 69F. 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.
  • 70E. Baniassad, S. Clarke.

    Theme: an approach for aspect-oriented analysis and design, in: 26th International Conference on Software Engineering (ICSE), 2004, pp. 158-167.
  • 71E. 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.
  • 72D. 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.
  • 73S. 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.
  • 74N. 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.
  • 75A. Beugnard, J.-M. Jézéquel, N. Plouzeau.

    Contract Aware Components, 10 years after, in: WCSI, 2010, pp. 1-11.
  • 76J. 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.
  • 77J. 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.
  • 78L. 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.
  • 79J. 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.
  • 80T. 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.
  • 81B. 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.
  • 82J. Coplien, D. Hoffman, D. Weiss.

    Commonality and Variability in Software Engineering, in: IEEE Software, 1998, vol. 15, no 6, pp. 37–45.
  • 83I. 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.
  • 84K. Czarnecki, U. W. Eisenecker.

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

    Constraint-based automatic test data generation, in: Software Engineering, IEEE Transactions on, 1991, vol. 17, no 9, pp. 900–910.
  • 86K. 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.
  • 87S. 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.
  • 88R. 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.
  • 89S. 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.
  • 90G. 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.
  • 91C. Hardebolle, F. Boulanger.

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

    Search-based software engineering, in: Information and Software Technology, 2001, vol. 43, no 14, pp. 833–839.
  • 93H. 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.
  • 94J. 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.
  • 95J.-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
  • 96K. 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.
  • 97J. Kramer, J. Magee.

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

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

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

    Architecting for Domain Variability, in: ESPRIT ARES Workshop, 1998, pp. 205-213.
  • 101A. 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.
  • 102B. 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
  • 103P.-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.
  • 104R. 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.
  • 105C. 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
  • 106C. 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
  • 107L. M. Northrop.

    SEI's Software Product Line Tenets, in: IEEE Softw., 2002, vol. 19, no 4, pp. 32–40.
  • 108L. 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.
  • 109I. 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.
  • 110D. L. Parnas.

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

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

    Obtaining and reasoning about good enough software, in: Proceedings of Annual Design Automation Conference (DAC), 2012, pp. 930-935.
  • 115J. 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.
  • 116P. 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.
  • 117D. Schmidt.

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

    Guide to advanced empirical software engineering, Springer, 2008.
  • 119S. 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.
  • 120J. 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
  • 121C. Szyperski, D. Gruntz, S. Murer.

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

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

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

    On interacting control loops in self-adaptive systems, in: SEAMS 2011, ACM, 2011, pp. 202–207.
  • 125C. 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.
  • 126Z. 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.
  • 127T. Ziadi, J.-M. Jézéquel.

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