P. Abate and &. Cosmo, Predicting upgrade failures using dependency analysis, 2011 IEEE 27th International Conference on Data Engineering Workshops, pp.145-150, 2011.
DOI : 10.1109/ICDEW.2011.5767626
URL : https://hal.archives-ouvertes.fr/hal-00622825

P. Abate, R. D. Cosmo, R. Treinen, and S. Zacchiroli, MPM, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.179-18810, 2011.
DOI : 10.1145/2000229.2000255
URL : https://hal.archives-ouvertes.fr/inria-00626546

J. Argelich, D. L. Berre, I. Lynce, P. M. Joo, &. Silva et al., Solving Linux Upgradeability Problems Using Boolean Optimization, Electronic Proceedings in Theoretical Computer Science, vol.29, pp.11-22, 2010.
DOI : 10.4204/EPTCS.29.2
URL : https://hal.archives-ouvertes.fr/hal-00870877

J. Argelich, I. Lynce, &. Joo, and P. M. Silva, On Solving Boolean Multilevel Optimization Problems, pp.393-398, 2009.

D. Le-berre-&-anne-parrain, On SAT Technologies for Dependency Management and Beyond, Lero Int. Science Centre, pp.197-200, 2008.

R. D. , C. , S. Zacchiroli, and P. Trezentos, Package upgrades in FOSS distributions: details and challenges, HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, pp.1-510, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00359847

F. Mancinelli, J. Boender, R. D. 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), pp.199-20810, 2006.
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566

C. Michel and &. Michel-rueher, Handling software upgradeability problems with MILP solvers, Electronic Proceedings in Theoretical Computer Science, vol.29, pp.1-10, 2010.
DOI : 10.4204/EPTCS.29.1

R. Treinen and &. Zacchiroli, Common Upgradeability Description Format (CUDF) 2.0 The Mancoosi Project, 2009.

P. Trezentos, I. Lynce, &. Arlindo, and L. Oliveira, Apt-pbo, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.427-43610, 2010.
DOI : 10.1145/1858996.1859087

C. Tucker, D. Shuffelton, R. Jhala, and &. Lerner, OPIUM: Optimal Package Install/Uninstall Manager, 29th International Conference on Software Engineering (ICSE'07), pp.178-188, 2007.
DOI : 10.1109/ICSE.2007.59