{"id":"https://openalex.org/W2051945152","doi":"https://doi.org/10.1145/2019136.2019139","title":"A study of non-Boolean constraints in variability models of an embedded operating system","display_name":"A study of non-Boolean constraints in variability models of an embedded operating system","publication_year":2011,"publication_date":"2011-08-21","ids":{"openalex":"https://openalex.org/W2051945152","doi":"https://doi.org/10.1145/2019136.2019139","mag":"2051945152"},"language":"en","primary_location":{"id":"doi:10.1145/2019136.2019139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2019136.2019139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Software Product Line Conference, Volume 2","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000381434","display_name":"Leonardo Passos","orcid":"https://orcid.org/0000-0001-6591-993X"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Leonardo Passos","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074540830","display_name":"Marko Novakovic","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Marko Novakovic","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100712724","display_name":"Yingfei Xiong","orcid":"https://orcid.org/0000-0001-8991-747X"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Yingfei Xiong","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072456187","display_name":"Thorsten Berger","orcid":"https://orcid.org/0000-0002-3870-5167"},"institutions":[{"id":"https://openalex.org/I926574661","display_name":"Leipzig University","ror":"https://ror.org/03s7gtk40","country_code":"DE","type":"education","lineage":["https://openalex.org/I926574661"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thorsten Berger","raw_affiliation_strings":["University of Leipzig"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Leipzig","institution_ids":["https://openalex.org/I926574661"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066916130","display_name":"Krzysztof Czarnecki","orcid":"https://orcid.org/0000-0003-1642-1101"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Krzysztof Czarnecki","raw_affiliation_strings":["University of Waterloo","(University of Waterloo)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"(University of Waterloo)","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056755949","display_name":"Andrzej W\u0105sowski","orcid":"https://orcid.org/0000-0003-0532-2685"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrzej W\u0105sowski","raw_affiliation_strings":["IT University of Copenhagen","IT-UNIVERSITY OF COPENHAGEN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"IT-UNIVERSITY OF COPENHAGEN","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7514453530311584},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7165080904960632},{"id":"https://openalex.org/keywords/and-inverter-graph","display_name":"And-inverter graph","score":0.6520094871520996},{"id":"https://openalex.org/keywords/standard-boolean-model","display_name":"Standard Boolean model","score":0.6463479399681091},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5857038497924805},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.576111376285553},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5488928556442261},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5052319169044495},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.497833251953125},{"id":"https://openalex.org/keywords/boolean-model","display_name":"Boolean model","score":0.4935535192489624},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.48596417903900146},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.4374507963657379},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3507292866706848},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20286419987678528},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16744986176490784},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.11379945278167725},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.09799668192863464}],"concepts":[{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7514453530311584},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7165080904960632},{"id":"https://openalex.org/C196836630","wikidata":"https://www.wikidata.org/wiki/Q4753279","display_name":"And-inverter graph","level":4,"score":0.6520094871520996},{"id":"https://openalex.org/C68481662","wikidata":"https://www.wikidata.org/wiki/Q176197","display_name":"Standard Boolean model","level":5,"score":0.6463479399681091},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5857038497924805},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.576111376285553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5488928556442261},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5052319169044495},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.497833251953125},{"id":"https://openalex.org/C67499762","wikidata":"https://www.wikidata.org/wiki/Q4943358","display_name":"Boolean model","level":2,"score":0.4935535192489624},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.48596417903900146},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.4374507963657379},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3507292866706848},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20286419987678528},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16744986176490784},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.11379945278167725},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.09799668192863464},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2019136.2019139","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2019136.2019139","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th International Software Product Line Conference, Volume 2","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.387.6122","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.6122","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://gsd.uwaterloo.ca/sites/default/files/FOSD11-final_1.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/67539e33-c317-43c9-8d71-9ed969955e9e","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/67539e33-c317-43c9-8d71-9ed969955e9e","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Passos, L T, Berger, T, Novakovic, M, Czarnecki, K, Xiong, Y & Wasowski, A 2011, A study of non-Boolean constraints in variability models of an embedded operating system. in Software Product Lines - 15th International Conference, SPLC 2011, Munich, Germany, August 22-26, 2011. Proceedings. Association for Computing Machinery. https://doi.org/10.1145/2019136.2019139","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W71714615","https://openalex.org/W131537915","https://openalex.org/W1481904322","https://openalex.org/W1576867227","https://openalex.org/W1710690747","https://openalex.org/W1985905700","https://openalex.org/W2010267345","https://openalex.org/W2060555016","https://openalex.org/W2099213660","https://openalex.org/W2113201637","https://openalex.org/W2123763923","https://openalex.org/W2128967738","https://openalex.org/W2156843723","https://openalex.org/W2160325552","https://openalex.org/W2739780171","https://openalex.org/W6628617917","https://openalex.org/W6637706874"],"related_works":["https://openalex.org/W2039485990","https://openalex.org/W1568384982","https://openalex.org/W2363341715","https://openalex.org/W3212751295","https://openalex.org/W4383066791","https://openalex.org/W4226191681","https://openalex.org/W4249396218","https://openalex.org/W4243221174","https://openalex.org/W2995617542","https://openalex.org/W4231391991"],"abstract_inverted_index":{"Many":[0],"variability":[1,17],"modeling":[2],"tasks":[3],"can":[4],"be":[5],"supported":[6],"by":[7],"automated":[8],"analyses":[9,14,22],"of":[10,37],"models.":[11],"Unfortunately,":[12,45],"most":[13],"for":[15,23,57],"Boolean":[16],"models":[18,25,39],"are":[19,55],"NP-hard,":[20],"while":[21],"non-Boolean":[24,50],"easily":[26],"become":[27],"undecidable.":[28],"It":[29],"is":[30],"thus":[31],"crucial":[32],"to":[33,40],"exploit":[34],"the":[35],"properties":[36],"realistic":[38],"construct":[41],"viable":[42],"analysis":[43],"algorithms.":[44],"little":[46],"work":[47],"exists":[48],"about":[49],"models,":[51],"and":[52],"no":[53],"benchmarks":[54],"available":[56],"such.":[58]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":4}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}