Pietro Abate & Roberto Di Cosmo (2011):
Predicting Upgrade Failures Using Dependency Analysis.
In: Serge Abiteboul, Klemens Böhm, Christoph Koch & Kian-Lee Tan: HotSWUP 2011: Hot topics in Software Updates.
ACM,
pp. 145–150,
doi:10.1109/ICDEW.2011.5767626.
Pietro Abate, Roberto Di Cosmo, Ralf Treinen & Stefano Zacchiroli (2011):
MPM: a modular package manager.
In: Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering,
CBSE '11.
ACM,
New York, NY, USA,
pp. 179–188,
doi:10.1145/2000229.2000255.
Josep Argelich, Daniel Le Berre, In^es Lynce, João P. Marques Silva & Pascal Rapicault (2010):
Solving Linux Upgradeability Problems Using Boolean Optimization.
In: In^es Lynce & Ralf Treinen: LoCoCo,
EPTCS 29,
pp. 11–22,
doi:10.4204/EPTCS.29.2.
Josep Argelich, In^es Lynce & João P. Marques Silva (2009):
On Solving Boolean Multilevel Optimization Problems..
In: Craig Boutilier: IJCAI,
pp. 393–398.
Available at http://ijcai.org/papers09/Papers/IJCAI09-073.pdf.
Daniel Le Berre & Anne Parrain (2008):
On SAT Technologies for Dependency Management and Beyond.
In: Steffen Thiel & Klaus Pohl: SPLC (2).
Lero Int. Science Centre, University of Limerick, Ireland,
pp. 197–200.
Roberto Di Cosmo, Stefano Zacchiroli & Paulo Trezentos (2008):
Package upgrades in FOSS distributions: details and challenges.
In: Tudor Dumitras, Danny Dig & Iulian Neamtiu: HotSWUp '08: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades.
ACM,
New York, NY, USA,
pp. 1–5,
doi:10.1145/1490283.1490292.
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy & Ralf Treinen (2006):
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions..
In: Sebastian Uchitel & Steve Easterbrook: ASE.
IEEE Computer Society,
pp. 199–208,
doi:10.1109/ASE.2006.49.
Claude Michel & Michel Rueher (2010):
Handling software upgradeability problems with MILP solvers.
In: In^es Lynce & Ralf Treinen: LoCoCo,
EPTCS 29,
pp. 1–10,
doi:10.4204/EPTCS.29.1.
Ralf Treinen & Stefano Zacchiroli (2009):
Common Upgradeability Description Format (CUDF) 2.0.
Technical Report 3.
The Mancoosi Project.
http://www.mancoosi.org/reports/tr3.pdf.
Paulo Trezentos, In^es Lynce & Arlindo L. Oliveira (2010):
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization.
In: ASE '10: Proceedings of the IEEE/ACM international conference on Automated software engineering.
ACM,
New York, NY, USA,
pp. 427–436,
doi:10.1145/1858996.1859087.
Chris Tucker, David Shuffelton, Ranjit Jhala & Sorin Lerner (2007):
OPIUM: Optimal Package Install/Uninstall Manager.
In: ICSE 2007,
pp. 178–188,
doi:10.1109/ICSE.2007.59.
eptcs@eptcs.org