C. E. Alvarez-divo, Automated Reasoning on Feature Models via Constraint Programming, 2011.

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, 2009.
DOI : 10.5381/jot.2009.8.5.c5

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. H. Katz et al., Above the clouds: A berkeley view of cloud computing, 2009.

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, Using Java CSP Solvers in the Automated Analyses of Feature Models, Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering, GTTSE'05, pp.399-408, 2006.
DOI : 10.1007/11877028_16

R. Buyya, C. S. Yeo, S. Venugopal, J. Broberg, and I. Brandic, Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009.
DOI : 10.1016/j.future.2008.12.001

P. Clements and L. M. Northrop, Software Product Lines: Practices and Patterns, 2001.

. Cloudtimes, No Other Cloud Sector is Growing as Fast as PaaS451-research-no-other-cloud-sector-is-growing-as-fast-as-paas, p.2013, 2013.

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features, 2013 35th International Conference on Software Engineering (ICSE), pp.472-481, 2013.
DOI : 10.1109/ICSE.2013.6606593
URL : https://hal.archives-ouvertes.fr/hal-01087792

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Staged Configuration through Specialization and Multilevel Configuration of Feature Models. Software Process: Improvement and Practice, pp.143-169, 2005.

K. Czarnecki and C. H. Kim, Cardinality-Based Feature Modeling and Constraints: A Progress Report, International Workshop on Software Factories at OOPSLA'05, 2005.

D. Dhungana, A. Falkner, and A. Haselbock, Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.100-103, 2011.
DOI : 10.1109/SEAA.2011.24

B. Dougherty, J. White, and D. C. Schmidt, Model-driven auto-scaling of green cloud computing infrastructure, Future Generation Computer Systems, vol.28, issue.2, pp.371-378, 2012.
DOI : 10.1016/j.future.2011.05.009

S. Frey, F. Fittkau, and W. Hasselbring, Search-based genetic optimization for deployment and reconfiguration of software in the cloud, 2013 35th International Conference on Software Engineering (ICSE), pp.512-521, 2013.
DOI : 10.1109/ICSE.2013.6606597

. Gartner, Hype Cycle for Cloud Computing, 2012.

A. Gómez and I. Ramos, Cardinality-Based Feature Modeling and Model-Driven Engineering: Fitting them Together, Fourth International Workshop on Variability Modelling of Software-Intensive Systems, pp.61-68, 2010.

N. Jussien, G. Rochart, and X. Lorca, Choco: an Open Source Java Constraint Programming Library, CPAIOR'08 Workshop on Open-Source Software for Integer and Contraint Programming (OSSICP'08), pp.1-10, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00483090

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-Oriented Domain Analysis (FODA) -Feasibility Study The Software Engineering Institute, 1990.

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming Attribute and Cloneenabled Feature Models into Constraint Programs over Finite Domains, pp.188-199, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707546

P. Mell and T. Grance, The NIST Definition of Cloud Computing, 2009.
DOI : 10.6028/NIST.SP.800-145

R. Michel, A. Classen, A. Hubaux, and Q. Boucher, A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011.
DOI : 10.1145/1944892.1944902

K. Pohl, G. Böckle, and F. J. Linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

C. Quinton, N. Haderer, R. Rouvoy, and L. Duchien, Towards multi-cloud configurations using feature models and ontologies, Proceedings of the 2013 international workshop on Multi-cloud applications and federated clouds, MultiCloud '13, pp.21-26, 2013.
DOI : 10.1145/2462326.2462332
URL : https://hal.archives-ouvertes.fr/hal-00801702

C. Quinton, D. Romero, and L. Duchien, Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013.
DOI : 10.1145/2491627.2491638
URL : https://hal.archives-ouvertes.fr/hal-00825971

C. Quinton, R. Rouvoy, and L. Duchien, Leveraging feature models to configure virtual appliances, Proceedings of the 2nd International Workshop on Cloud Computing Platforms, CloudCP '12, pp.1-2
DOI : 10.1145/2168697.2168699
URL : https://hal.archives-ouvertes.fr/hal-00674379

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow, Extending Feature Diagrams with UML Multiplicities, 6th World Conference on Integrated Design & Process Technology (IDPT2002), 2002.

S. She, R. Lotufo, T. Berger, A. W?sowski, and K. Czarnecki, Reverse engineering feature models, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.461-470, 2011.
DOI : 10.1145/1985793.1985856

D. Steinberg, EMF: Eclipse Modeling Framework, 2009.

E. Wittern, J. Kuhlenkamp, and M. Menzel, Cloud service selection based on variability modeling, Proceedings of the 10th international conference on Service-Oriented Computing , ICSOC'12, pp.127-141, 2012.

E. Wittern, N. Schuster, J. Kuhlenkamp, S. Tai36, ]. W. Zhang et al., Participatory Service Design through Composed and Coordinated Service Feature Models A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization, Proceedings of the 10th international conference on Service-Oriented Computing, ICSOC'12 High Confidence Software Reuse in Large Systems Inria RESEARCH CENTRE LILLE ? NORD EUROPE Parc scientifique de la Haute-Borne 40 avenue Halley -Bât A -Park Plaza 59650 Villeneuve d'Ascq Publisher Inria Domaine de Voluceau -Rocquencourt BP 105 -78153 Le Chesnay Cedex inria.fr ISSN, pp.158-172, 2008.