{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T13:21:33Z","timestamp":1765545693150,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":15,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,8,21]],"date-time":"2011-08-21T00:00:00Z","timestamp":1313884800000},"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,8,21]]},"DOI":"10.1145\/2019136.2019139","type":"proceedings-article","created":{"date-parts":[[2011,8,31]],"date-time":"2011-08-31T15:22:45Z","timestamp":1314804165000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["A study of non-Boolean constraints in variability models of an embedded operating system"],"prefix":"10.1145","author":[{"given":"Leonardo","family":"Passos","sequence":"first","affiliation":[{"name":"University of Waterloo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marko","family":"Novakovic","sequence":"additional","affiliation":[{"name":"University of Waterloo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yingfei","family":"Xiong","sequence":"additional","affiliation":[{"name":"University of Waterloo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thorsten","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Leipzig"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krzysztof","family":"Czarnecki","sequence":"additional","affiliation":[{"name":"University of Waterloo"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrzej","family":"W\u0105sowski","sequence":"additional","affiliation":[{"name":"IT University of Copenhagen"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,8,21]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1007\/11554844_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1016\/j.is.2010.01.001"},{"unstructured":"T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at http:\/\/informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf.  T. Berger and S. She. Formal semantics of the CDL language. Technical Note. Available at http:\/\/informatik.uni-leipzig.de\/~berger\/cdl_semantics.pdf.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/1858996.1859010"},{"key":"e_1_3_2_1_5_1","volume-title":"On decidability within the arithmetic of addition and divisibility","author":"Bozga M.","year":"2005","unstructured":"M. Bozga and R. Iosif . On decidability within the arithmetic of addition and divisibility . 2005 . M. Bozga and R. Iosif. On decidability within the arithmetic of addition and divisibility. 2005."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/1308171.1308185"},{"key":"e_1_3_2_1_7_1","volume-title":"VaMoS","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 VaMoS , 2010 . A. Hubaux, A. Classen, M. Mendon\u00e7a, and P. Heymans. A preliminary review on the application of feature diagrams in practice. In VaMoS, 2010."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1016\/0004-3702(87)90033-6"},{"key":"e_1_3_2_1_9_1","volume-title":"Do SAT solvers make good configurators? In SPLC (2)","author":"Janota M.","year":"2008","unstructured":"M. Janota . Do SAT solvers make good configurators? In SPLC (2) , 2008 . M. Janota. Do SAT solvers make good configurators? In SPLC (2), 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA235785","volume-title":"Feature-oriented domain analysis (FODA) feasibility study. Technical report","author":"Kang K.","year":"1990","unstructured":"K. Kang , S. Cohen , J. Hess , W. Nowak , and S. Peterson . Feature-oriented domain analysis (FODA) feasibility study. Technical report , 1990 . K. Kang, S. Cohen, J. Hess, W. Nowak, and S. Peterson. Feature-oriented domain analysis (FODA) feasibility study. Technical report, 1990."},{"key":"e_1_3_2_1_11_1","volume-title":"New Riders","author":"Massa A.","year":"2002","unstructured":"A. Massa . Embedded Software Development with eCos . New Riders , 2002 . A. Massa. Embedded Software Development with eCos. New Riders, 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"SPLC","author":"Mendonca M.","year":"2009","unstructured":"M. Mendonca , A. W\u0105sowski , and K. Czarnecki . SAT-based analysis of feature models is easy . In SPLC , 2009 . M. Mendonca, A. W\u0105sowski, and K. Czarnecki. SAT-based analysis of feature models is easy. In SPLC, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1639950.1640002"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1944892.1944907"},{"key":"e_1_3_2_1_15_1","volume-title":"VaMoS","author":"Segura S.","year":"2009","unstructured":"S. Segura and A. R. Cort\u00e9s . Benchmarking on the automated analyses of feature models: A preliminary roadmap . In VaMoS , 2009 . S. Segura and A. R. Cort\u00e9s. Benchmarking on the automated analyses of feature models: A preliminary roadmap. In VaMoS, 2009."}],"event":{"sponsor":["Pure-Systems Pure-Systems GmbH","Hitachi","Siemens","Software Eng Inst Software Engineering Institute","Biglever BigLever Software, Inc."],"acronym":"SPLC '11","name":"SPLC '11: The 2011 Software Product Line Conference","location":"Munich Germany"},"container-title":["Proceedings of the 15th International Software Product Line Conference, Volume 2"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2019136.2019139","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2019136.2019139","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:49Z","timestamp":1750240129000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2019136.2019139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8,21]]},"references-count":15,"alternative-id":["10.1145\/2019136.2019139","10.1145\/2019136"],"URL":"https:\/\/doi.org\/10.1145\/2019136.2019139","relation":{},"subject":[],"published":{"date-parts":[[2011,8,21]]},"assertion":[{"value":"2011-08-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}