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-208, 2006. ,
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566
OPIUM: Optimal Package Install/Uninstall Manager, 29th International Conference on Software Engineering (ICSE'07), pp.178-188, 2007. ,
DOI : 10.1109/ICSE.2007.59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8468
On sat technologies for dependency management and beyond, SPLC, pp.197-200, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00870846
Strong dependencies between software components, " in ESEM, pp.89-99, 2009. ,
Using strong conflicts to detect quality issues in component-based complex systems, ISEC '10: Proceedings of the 3rd India software engineering conference, pp.163-172, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00495740
Solving package dependencies: from EDOS to Mancoosi, pp.18-43, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00340581
Report on formal mangement of software dependencies, eDOS project Deliverable 2.2, 2006. ,
Maintaining large software distributions: new challenges from the FOSS era, Proceedings of the FRCSS 2006 workshop, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00154188
Propositional logic: Deduction and algorithms, Studia Logica, vol.71, pp.247-258, 2002. ,
Graph Algorithms for Functional Dependency Manipulation, Journal of the ACM, vol.30, issue.4, pp.752-766, 1983. ,
DOI : 10.1145/2157.322404
Minimal Representation of Directed Hypergraphs, SIAM Journal on Computing, vol.15, issue.2, pp.418-431, 1986. ,
DOI : 10.1137/0215029
Graphviz -open source graph drawing tools, " in Graph Drawing, ser. Lecture Notes in Computer Science, pp.594-597, 2002. ,
Feature diagrams as package dependencies, " in SPLC, ser, Lecture Notes in Computer Science, vol.6287, pp.476-480, 2010. ,
Linear-time algorithms for testing the satisfiability of propositional horn formulae, The Journal of Logic Programming, vol.1, issue.3, pp.267-284, 1984. ,
DOI : 10.1016/0743-1066(84)90014-1