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