{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:28:45Z","timestamp":1750307325439,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,9]],"date-time":"2011-09-09T00:00:00Z","timestamp":1315526400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,9,9]]},"DOI":"10.1145\/2025113.2025149","type":"proceedings-article","created":{"date-parts":[[2011,9,6]],"date-time":"2011-09-06T15:10:46Z","timestamp":1315321846000},"page":"256-266","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["On software component co-installability"],"prefix":"10.1145","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[{"name":"Univ Paris Diderot, Sorbonne Paris Cit\u00e9, PPS, UMR 7126 CNRS, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Vouillon","sequence":"additional","affiliation":[{"name":"CNRS, PPS UMR 7126, Univ Paris Diderot, Sorbonne Paris Cit\u00e9, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.49"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.59"},{"key":"e_1_3_2_1_3_1","first-page":"197","volume-title":"On sat technologies for dependency management and beyond,\" in SPLC (2)","author":"Berre D. L.","year":"2008","unstructured":"D. L. Berre and A. Parrain , \" On sat technologies for dependency management and beyond,\" in SPLC (2) , S. Thiel and K. Pohl, Eds. Lero Int. Science Centre , University of Limerick, Ireland, 2008 , pp. 197 -- 200 . D. L. Berre and A. Parrain, \"On sat technologies for dependency management and beyond,\" in SPLC (2), S. Thiel and K. Pohl, Eds. Lero Int. Science Centre, University of Limerick, Ireland, 2008, pp. 197--200."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESEM.2009.5316017"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1730874.1730905"},{"key":"e_1_3_2_1_6_1","first-page":"18","article-title":"Solving package dependencies: from EDOS to Mancoosi,\" in DebConf8 (9th annual conference of the Debian project) DebConf8","volume":"08","author":"Treinen R.","year":"2008","unstructured":"R. Treinen and S. Zacchiroli , \" Solving package dependencies: from EDOS to Mancoosi,\" in DebConf8 (9th annual conference of the Debian project) DebConf8 , Argentine , 08 2008 , pp. 18 -- 43 . {Online}. Available: http:\/\/hal.archives-ouvertes.fr\/hal-00340581\/en\/ R. Treinen and S. Zacchiroli, \"Solving package dependencies: from EDOS to Mancoosi,\" in DebConf8 (9th annual conference of the Debian project) DebConf8, Argentine, 08 2008, pp. 18--43. {Online}. Available: http:\/\/hal.archives-ouvertes.fr\/hal-00340581\/en\/","journal-title":"Argentine"},{"key":"e_1_3_2_1_8_1","volume-title":"Maintaining large software distributions: new challenges from the FOSS era,\" in Proceedings of the FRCSS 2006 workshop","author":"Cosmo R. Di","year":"2006","unstructured":"R. Di Cosmo , B. Durak , X. Leroy , F. Mancinelli , and J. Vouillon , \" Maintaining large software distributions: new challenges from the FOSS era,\" in Proceedings of the FRCSS 2006 workshop , 2006 , eASST Newsletter . R. Di Cosmo, B. Durak, X. Leroy, F. Mancinelli, and J. Vouillon, \"Maintaining large software distributions: new challenges from the FOSS era,\" in Proceedings of the FRCSS 2006 workshop, 2006, eASST Newsletter."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016553006778"},{"key":"e_1_3_2_1_10_1","volume-title":"The Coq Proof Assistant Reference Manual -- Version V8.2","author":"Development Team The Coq","year":"2008","unstructured":"The Coq Development Team , The Coq Proof Assistant Reference Manual -- Version V8.2 , 2008 . {Online}. Available: http:\/\/coq.inria.fr\\BIBentrySTDinterwordspacing The Coq Development Team, The Coq Proof Assistant Reference Manual -- Version V8.2, 2008. {Online}. Available: http:\/\/coq.inria.fr\\BIBentrySTDinterwordspacing"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2157.322404"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/0215029"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","first-page":"594","volume-title":"Graphviz - open source graph drawing tools,\" in Graph Drawing","author":"Ellson J.","year":"2002","unstructured":"J. Ellson , E. Gansner , L. Koutsofios , S. North , and G. Woodhull , \" Graphviz - open source graph drawing tools,\" in Graph Drawing , ser. Lecture Notes in Computer Science , P. Mutzel, M. J\u00fcnger, and S. Leipert, Eds. Springer Berlin \/ Heidelberg , 2002 , vol. 2265 , pp. 594 -- 597 . {Online}. Available: http:\/\/dx.doi.org\/10.1007\/3-540-45848-4_57 10.1007\/3-540-45848-4_57 J. Ellson, E. Gansner, L. Koutsofios, S. North, and G. Woodhull, \"Graphviz - open source graph drawing tools,\" in Graph Drawing, ser. Lecture Notes in Computer Science, P. Mutzel, M. J\u00fcnger, and S. Leipert, Eds. Springer Berlin \/ Heidelberg, 2002, vol. 2265, pp. 594--597. {Online}. Available: http:\/\/dx.doi.org\/10.1007\/3-540-45848-4_57"},{"key":"e_1_3_2_1_14_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1007\/978-3-642-15579-6_40","volume-title":"Feature diagrams as package dependencies,\" in SPLC","author":"Di Cosmo R.","year":"2010","unstructured":"R. Di Cosmo and S. Zacchiroli , \" Feature diagrams as package dependencies,\" in SPLC , ser. Lecture Notes in Computer Science , J. Bosch and J. Lee, Eds., vol. 6287 . Springer , 2010 , pp. 476 -- 480 . R. Di Cosmo and S. Zacchiroli, \"Feature diagrams as package dependencies,\" in SPLC, ser. Lecture Notes in Computer Science, J. Bosch and J. Lee, Eds., vol. 6287. Springer, 2010, pp. 476--480."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/332740.332743"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Applications and Relationships to Other Models of Concurrency","author":"Winskel G.","year":"1987","unstructured":"G. Winskel , \" Event structures,\" in Petri Nets : Applications and Relationships to Other Models of Concurrency , ser. Lecture Notes in Computer Science , W. Brauer, W. Reisig, and G. Rozenberg, Eds. Springer Berlin \/ Heidelberg , 1987 , vol. 255 , pp. 325 -- 392 . {Online}. Available: http:\/\/dx.doi.org\/10.1007\/3-540-17906-2_31 10.1007\/3-540-17906-2_31 G. Winskel, \"Event structures,\" in Petri Nets: Applications and Relationships to Other Models of Concurrency, ser. Lecture Notes in Computer Science, W. Brauer, W. Reisig, and G. Rozenberg, Eds. Springer Berlin \/ Heidelberg, 1987, vol. 255, pp. 325--392. {Online}. Available: http:\/\/dx.doi.org\/10.1007\/3-540-17906-2_31"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"}],"event":{"name":"ESEC\/FSE'11: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Szeged Hungary","acronym":"ESEC\/FSE'11"},"container-title":["Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025149","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2025113.2025149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:00Z","timestamp":1750244760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2025113.2025149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,9]]},"references-count":16,"alternative-id":["10.1145\/2025113.2025149","10.1145\/2025113"],"URL":"https:\/\/doi.org\/10.1145\/2025113.2025149","relation":{},"subject":[],"published":{"date-parts":[[2011,9,9]]},"assertion":[{"value":"2011-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}