P. Abate, R. D. Cosmo, L. Gesbert, F. L. Fessant, R. Treinen et al., Mining Component Repositories for Installability Issues, 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, pp.24-33, 2015.
DOI : 10.1109/MSR.2015.10

P. Abate, R. D. Cosmo, R. Treinen, and S. Zacchiroli, Learning from the future of component repositories, Sci. Comput. Program, vol.90, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00686923

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, Dependency solving: A separate concern in component evolution management, Journal of Systems and Software, vol.85, issue.10, p.85, 2012.
DOI : 10.1016/j.jss.2012.02.018

P. Abate and J. Schauer, Bootstrapping software distributions, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13, 2013.
DOI : 10.1145/2465449.2465461

J. Argelich, D. Le-berre, I. Lynce, J. Marques-silva, and P. Rapicault, Solving Linux Upgradeability Problems Using Boolean Optimization, LoCoCo: Logics for Component Configuration, 2010.
DOI : 10.4204/EPTCS.29.2
URL : https://hal.archives-ouvertes.fr/hal-00870877

R. , D. Cosmo, F. Mancinelli, J. Boender, J. Vouillon et al., Report on formal mangement of software dependencies, EDOS, 2006.

R. , D. Cosmo, R. Treinen, and S. Zacchiroli, Formal aspects of free and open source software components -a short survey, FMCO, pp.216-239, 2012.

N. Eén and N. Sörensson, An extensible SAT-solver, 6th International Conference, SAT 2003, 2004.

J. A. Galindo, D. Benavides, and S. Segura, Debian packages repositories as software product line models. Towards automated analysis, Proceedings of the 1st International Workshop on Automated Configuration and Tailoring of Applications . CEUR-WS.org, 2010.

M. Gebser, R. Kaminski, and T. Schaub, aspcud: A Linux Package Configuration Tool Based on Answer Set Programming, Proceedings Logics for Component Configuration, 2011.
DOI : 10.1007/3-540-44957-4_56

J. Gonzalez-barahona, G. Robles, M. Michlmayr, J. Amor, and D. German, Macrolevel software evolution: a case study of a large software compilation, Empirical Software Engineering, vol.14, issue.3, 2009.

M. Janota, Do sat solvers make good configurators?, SPLC: Software Product Lines Conference, 2nd Volume, 2008.

G. Jenson, J. Dietrich, and H. Guesgen, An Empirical Study of the Component Dependency Resolution Search Space, CBSE 2011: International ACM Sigsoft Symposium on Component Based Software Engineering, 2010.
DOI : 10.1007/978-3-642-13238-4_11

N. Labelle and E. Wallingford, Inter-package dependency networks in open-source software. CoRR, cs, 2004.

D. , L. Berre, and A. Parrain, On SAT technologies for dependency management and beyond, SPLC 2008: Software Product Lines Conference, p.2, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870846

D. , L. Berre, and P. Rapicault, Dependency management for the Eclipse ecosystem, IWOCE 2009: International Workshop on Open Component Ecosystems, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00870855

F. Mancinelli, J. Boender, R. Di-cosmo, J. Vouillon, B. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006.
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566

R. Marinescu, Confessions of a Worldly Software Miner, 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 2015.
DOI : 10.1109/MSR.2015.80

C. Michel and M. Rueher, Handling software upgradeability problems with MILP solvers, LoCoCo 2010: Logics for Component Configuration, 2010.
DOI : 10.4204/EPTCS.29.1
URL : http://arxiv.org/pdf/1007.1020

R. Treinen and S. Zacchiroli, Solving package dependencies: from EDOS to Mancoosi, DebConf 8: proceedings of the 9th conference of the Debian project, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00340581

R. Treinen and S. Zacchiroli, Common upgradeability description format (CUDF) 2.0 The Mancoosi Project, 2009.

P. Wookey and . Abate, Google summer of code on debian bootstrap, 2012.