{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T10:05:11Z","timestamp":1729677911372,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693112","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"551-561","source":"Crossref","is-referenced-by-count":3,"title":["Automated verification of interactive rule-based configuration systems"],"prefix":"10.1109","author":[{"given":"Deepak","family":"Dhungana","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ching Hoo","family":"Tang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Weidenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Wischnewski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/978-3-642-28717-6_31","article-title":"Labelled superposition for PLTL","volume":"7180","author":"bj\ufffdrner","year":"2012","journal-title":"ser Lecture Notes in Computer Science"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(79)90046-1"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31365-3_42"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"13","first-page":"201","article-title":"Automated analysis of feature models using atomic sets","author":"segura","year":"2008","journal-title":"2008 12th International Software Product Line Conference splc"},{"key":"14","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1007\/978-3-540-68073-4_18","article-title":"A BDD-based approach to verifying clone-enabled feature models' constraints and customization","volume":"5030","author":"zhang","year":"2008","journal-title":"ser Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/SPLINE.2007.24"},{"key":"12","first-page":"231","article-title":"SAT-based analysis of feature models is easy","volume":"446","author":"mendonc?a","year":"2009","journal-title":"ser ACM International Conference Proceeding Series"},{"key":"3","article-title":"Automated verification of interactive rule-based configuration systems (additional material)","author":"dhungana","year":"2013","journal-title":"CoRR"},{"key":"2","first-page":"29","article-title":"A formal semantics for decision-oriented variability modeling with DOPLER","volume":"37","author":"dhungana","year":"2010","journal-title":"Ser ICBResearch Report"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0076-6"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.45"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1185845"},{"key":"6","doi-asserted-by":"crossref","first-page":"1965","DOI":"10.1016\/B978-044450813-3\/50029-1","article-title":"Combining superposition, sorts and splitting","volume":"2","author":"weidenbach","year":"2001","journal-title":"Handbook of Automated Reasoning"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50009-6"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50004-7"},{"key":"9","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1145\/1173706.1173738","article-title":"Verifying feature-based model templates against well-formedness OCL constraints","author":"czarnecki","year":"2006","journal-title":"Proceedings of the 5th International Conference on Generative Programming and Component Engineering GPCE'06"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693112.pdf?arnumber=6693112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:23:05Z","timestamp":1498108985000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693112\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693112","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}