{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T13:09:08Z","timestamp":1791119348390,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,1,25]],"date-time":"2012-01-25T00:00:00Z","timestamp":1327449600000},"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":[[2012,1,25]]},"DOI":"10.1145\/2110147.2110164","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T14:49:33Z","timestamp":1328021373000},"page":"149-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["A user survey of configuration challenges in Linux and eCos"],"prefix":"10.1145","author":[{"given":"Arnaud","family":"Hubaux","sequence":"first","affiliation":[{"name":"University of Namur, Belgium"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,1,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066129.1066143"},{"key":"e_1_3_2_1_2_1","unstructured":"K. Bak and K. Ali. Improving usability of the Linux kernel configuration tools. http:\/\/gsd.uwaterloo.ca\/sites\/default\/files\/cs889-report.pdf.  K. Bak and K. Ali. Improving usability of the Linux kernel configuration tools. http:\/\/gsd.uwaterloo.ca\/sites\/default\/files\/cs889-report.pdf."},{"key":"e_1_3_2_1_3_1","first-page":"129","volume-title":"Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07)","author":"Benavides D.","year":"2007","unstructured":"D. Benavides , S. Segura , P. Trinidad , and A. Ruiz-Cort\u00e9s . FAMA: Tooling a framework for the automated analysis of feature models . In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07) , pages 129 -- 134 , Limerick, Ireland , January 2007 . Lero Technical Report 2007-01. D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-Cort\u00e9s. FAMA: Tooling a framework for the automated analysis of feature models. In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07), pages 129--134, Limerick, Ireland, January 2007. Lero Technical Report 2007-01."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.53"},{"key":"e_1_3_2_1_6_1","unstructured":"BigLever Software (Inc.). Product line engineering solutions for systems and software. http:\/\/www.biglever.com\/extras\/BigLever_Solution_Brochure.pdf November 2011.  BigLever Software (Inc.). Product line engineering solutions for systems and software. http:\/\/www.biglever.com\/extras\/BigLever_Solution_Brochure.pdf November 2011."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.006"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.213"},{"key":"e_1_3_2_1_9_1","first-page":"119","volume-title":"Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07)","author":"Dhungana D.","year":"2007","unstructured":"D. Dhungana , P. Gr\u00fcnbacher , and R. Rabiser . DecisionKing: A flexible and extensible tool for integrated variability modeling . In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07) , pages 119 -- 127 , Limerick, Ireland , January 2007 . Lero Technical Report 2007-01. D. Dhungana, P. Gr\u00fcnbacher, and R. Rabiser. DecisionKing: A flexible and extensible tool for integrated variability modeling. In Proceedings of the First International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'07), pages 119--127, Limerick, Ireland, January 2007. Lero Technical Report 2007-01."},{"key":"e_1_3_2_1_10_1","first-page":"53","volume-title":"Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10)","author":"Hubaux A.","year":"2010","unstructured":"A. Hubaux , A. Classen , M. Mendon\u00e7a , and P. Heymans . A preliminary review on the application of feature diagrams in practice . In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10) , pages 53 -- 59 , Linz, Austria , January 2010 . Universit\u00e4t Duisburg-Essen. A. Hubaux, A. Classen, M. Mendon\u00e7a, and P. Heymans. A preliminary review on the application of feature diagrams in practice. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), pages 53--59, Linz, Austria, January 2010. Universit\u00e4t Duisburg-Essen."},{"key":"e_1_3_2_1_12_1","first-page":"191","volume-title":"Workshop on Analyses of Software Product Lines (ASPL 2008","author":"Janota M.","year":"2008","unstructured":"M. Janota . Do SAT solvers make good configurators ? In Workshop on Analyses of Software Product Lines (ASPL 2008 ), pages 191 -- 195 , Limerick, Ireland , September 2008 . M. Janota. Do SAT solvers make good configurators? In Workshop on Analyses of Software Product Lines (ASPL 2008), pages 191--195, Limerick, Ireland, September 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070568"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1131322.1131325"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640002"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"M. Mendon\u00e7a. Efficient Reasoning Techniques for Large Scale Feature Models. PhD thesis University of Waterloo 2009.  M. Mendon\u00e7a. Efficient Reasoning Techniques for Large Scale Feature Models . PhD thesis University of Waterloo 2009.","DOI":"10.1145\/1449913.1449918"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944902"},{"key":"e_1_3_2_1_21_1","first-page":"107","volume-title":"Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10)","author":"N\u00f6hrer A.","year":"2010","unstructured":"A. N\u00f6hrer and A. Egyed . Conflict resolution strategies during product configuration . In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10) , pages 107 -- 114 , Linz, Austria , 2010 . Universit\u00e4t Duisburg-Essen. A. N\u00f6hrer and A. Egyed. Conflict resolution strategies during product configuration. In Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), pages 107--114, Linz, Austria, 2010. Universit\u00e4t Duisburg-Essen."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.11.001"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944892.1944907"},{"key":"e_1_3_2_1_24_1","first-page":"257","volume-title":"Proceedings of the 1st Workshop on Analyses of Software Product Lines (ASPL'08)","author":"Sincero J.","year":"2008","unstructured":"J. Sincero and W. Schr\u00f6der-Preikschat . The Linux kernel configurator as a feature modeling tool . In Proceedings of the 1st Workshop on Analyses of Software Product Lines (ASPL'08) , pages 257 -- 260 , Limerick, Ireland , 2008 . J. Sincero and W. Schr\u00f6der-Preikschat. The Linux kernel configurator as a feature modeling tool. In Proceedings of the 1st Workshop on Analyses of Software Product Lines (ASPL'08), pages 257--260, Limerick, Ireland, 2008."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.16"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043572"}],"event":{"name":"VaMoS '12: Variability Modeling of Software-intensive Systems","location":"Leipzig Germany","acronym":"VaMoS '12"},"container-title":["Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110147.2110164","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2110147.2110164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:39Z","timestamp":1750249419000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2110147.2110164"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,25]]},"references-count":24,"alternative-id":["10.1145\/2110147.2110164","10.1145\/2110147"],"URL":"https:\/\/doi.org\/10.1145\/2110147.2110164","relation":{},"subject":[],"published":{"date-parts":[[2012,1,25]]},"assertion":[{"value":"2012-01-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}