M. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175

S. Apel, D. Batory, C. Kästner, and G. Saake, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.
DOI : 10.1007/978-3-642-37521-7

G. Bécan, M. Acher, B. Baudry, and S. B. Nasr, Breathing ontological knowledge into feature model synthesis: an empirical study, Empirical Software Engineering, vol.5, issue.2, 2015.
DOI : 10.1016/j.jss.2014.10.037

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, 2010.
DOI : 10.1016/j.is.2010.01.001

R. Bryant, R. Hoffman, and S. Kahn, World wide web end user response time monitor, US Patent, vol.6, p.78956, 2000.

A. Darwiche and P. Marquis, A knowledge compilation map, J. Artif. Intell. Res. (JAIR), vol.17, pp.229-264, 2002.

A. Felfernig, M. Schubert, and C. Zehentner, An efficient diagnosis algorithm for inconsistent constraint sets. AI for Engineering Design, Analysis, and Manufacturing (AIEDAM), vol.26, issue.1, pp.53-62, 2012.

J. Guo, E. Zulkoski, R. Olaechea, D. Rayside, K. Czarnecki et al., Scaling exact multi-objective combinatorial optimization by parallelization, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.409-420, 2014.
DOI : 10.1145/2642937.2642971

T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Møller et al., Fast backtrack-free product configuration using a precompiled solution space representation, PETO CONFERENCE, DTU-TRYK, pp.131-138, 2004.

S. O. Hallsteinsen, M. Hinchey, S. Park, and K. Schmid, Dynamic Software Product Lines, Computer, vol.41, issue.4, pp.93-95, 2008.
DOI : 10.1109/MC.2008.123
URL : https://hal.archives-ouvertes.fr/hal-00722377

E. N. Haslinger, R. E. Lopez-herrejon, and A. Egyed, On Extracting Feature Models from Sets of Valid Feature Combinations, FASE'13, 2013.
DOI : 10.1007/978-3-642-37057-1_5

S. Jabbour, J. Lonlac, L. Sais, and Y. Salhi, Extending modern SAT solvers for models enumeration, Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014), pp.803-810, 2014.
DOI : 10.1109/IRI.2014.7051971

M. F. Johansen, Ø. Haugen, and F. Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012.
DOI : 10.1145/2362536.2362547

S. Khurshid, D. Marinov, I. Shlyakhter, and D. Jackson, A Case for Efficient Solution Enumeration, Theory and Applications of Satisfiability Testing, pp.272-286
DOI : 10.1007/978-3-540-24605-3_21

J. H. Liang, V. Ganesh, K. Czarnecki, and V. Raman, SAT-based analysis of large real-world feature models is easy, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.91-100, 2004.
DOI : 10.1145/2791060.2791070

R. E. Lopez-herrejon, J. J. Ferrer, F. Chicano, E. N. Haslinger, A. Egyed et al., A parallel evolutionary algorithm for prioritized pairwise testing of software product lines, Proceedings of the 2014 conference on Genetic and evolutionary computation, GECCO '14, pp.1255-1262, 2014.
DOI : 10.1145/2576768.2598305

R. E. Lopez-herrejon, L. Linsbauer, J. A. Galindo, J. A. Parejo, D. Benavides et al., An assessment of search-based techniques for reverse engineering feature models, Journal of Systems and Software, vol.103, 2014.
DOI : 10.1016/j.jss.2014.10.037

J. Marques-silva, M. Janota, and I. Lynce, On computing backbones of propositional theories, Proceedings of the 2010 Conference on ECAI 2010: 19th European Conference on Artificial Intelligence, pp.15-20, 2010.

M. Mendonca, A. Wasowski, and K. Czarnecki, SAT-based analysis of feature models is easy, SPLC'09, pp.231-240, 2009.

M. Mendonca, A. Wasowski, K. Czarnecki, and D. Cowan, Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.13-22, 2008.
DOI : 10.1145/1449913.1449918

R. Pohl, V. Stricker, and K. Pohl, Measuring the structural complexity of feature models, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013.
DOI : 10.1109/ASE.2013.6693103

U. Raz, Y. Volk, and S. Melamed, Method and system for decreasing the user-perceived system response time in web-based systems, 2001.

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient synthesis of feature models, Information and Software Technology, vol.56, issue.9, p.2014
DOI : 10.1016/j.infsof.2014.01.012

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, 2014.
DOI : 10.1145/2580950

T. Thum, D. Batory, and C. Kastner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009.
DOI : 10.1109/ICSE.2009.5070526

P. Trinidad, D. Benavides, A. Ruiz-cortés, S. Segura, and A. Jimenez, FAMA Framework, 2008 12th International Software Product Line Conference, 2008.
DOI : 10.1109/SPLC.2008.50

Y. Yu, P. Subramanyan, N. Tsiskaridze, and S. Malik, All-SAT Using Minimal Blocking Clauses, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, pp.86-91, 2014.
DOI : 10.1109/VLSID.2014.22