{"id":"https://openalex.org/W2970432965","doi":"https://doi.org/10.1145/3336294.3336313","title":"A Kconfig Translation to Logic with One-Way Validation System","display_name":"A Kconfig Translation to Logic with One-Way Validation System","publication_year":2019,"publication_date":"2019-08-08","ids":{"openalex":"https://openalex.org/W2970432965","doi":"https://doi.org/10.1145/3336294.3336313","mag":"2970432965"},"language":"en","primary_location":{"id":"doi:10.1145/3336294.3336313","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3336294.3336313","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A","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/A5064430597","display_name":"David Fern\u00e1ndez-Amor\u00f3s","orcid":"https://orcid.org/0000-0003-3758-0195"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"David Fernandez-Amoros","raw_affiliation_strings":["UNED, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNED, Madrid, Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017186908","display_name":"Rub\u00e9n Heradio","orcid":"https://orcid.org/0000-0002-7131-0482"},"institutions":[{"id":"https://openalex.org/I178450904","display_name":"Universidad Nacional de Educaci\u00f3n a Distancia","ror":"https://ror.org/02msb5n36","country_code":"ES","type":"education","lineage":["https://openalex.org/I178450904"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Ruben Heradio","raw_affiliation_strings":["UNED, Madrid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNED, Madrid, Spain","institution_ids":["https://openalex.org/I178450904"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001710775","display_name":"Christoph Mayr\u2010Dorn","orcid":"https://orcid.org/0000-0001-9791-6442"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christoph Mayr-Dorn","raw_affiliation_strings":["Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057561309","display_name":"Alexander Egyed","orcid":"https://orcid.org/0000-0003-3128-5427"},"institutions":[{"id":"https://openalex.org/I121883995","display_name":"Johannes Kepler University of Linz","ror":"https://ror.org/052r2xn60","country_code":"AT","type":"education","lineage":["https://openalex.org/I121883995"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Alexander Egyed","raw_affiliation_strings":["Johannes Kepler University, Linz, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Johannes Kepler University, Linz, Austria","institution_ids":["https://openalex.org/I121883995"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.9841,"has_fulltext":false,"cited_by_count":46,"citation_normalized_percentile":{"value":0.81956488,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"303","last_page":"308"},"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.9988999962806702,"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/T10260","display_name":"Software Engineering Research","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.7154969573020935},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.6769182085990906},{"id":"https://openalex.org/keywords/machine-translation","display_name":"Machine translation","score":0.5117530822753906},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45700159668922424},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4264734387397766},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4171149730682373},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3919872045516968}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7154969573020935},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.6769182085990906},{"id":"https://openalex.org/C203005215","wikidata":"https://www.wikidata.org/wiki/Q79798","display_name":"Machine translation","level":2,"score":0.5117530822753906},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45700159668922424},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4264734387397766},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4171149730682373},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3919872045516968},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3336294.3336313","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3336294.3336313","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W127628526","https://openalex.org/W1498070723","https://openalex.org/W1577506174","https://openalex.org/W1586175325","https://openalex.org/W1594430627","https://openalex.org/W1600480122","https://openalex.org/W1710690747","https://openalex.org/W1968830561","https://openalex.org/W2005140737","https://openalex.org/W2021140132","https://openalex.org/W2050620774","https://openalex.org/W2050625311","https://openalex.org/W2052229687","https://openalex.org/W2080267935","https://openalex.org/W2106232951","https://openalex.org/W2113201637","https://openalex.org/W2115255691","https://openalex.org/W2123763923","https://openalex.org/W2128967738","https://openalex.org/W2131605749","https://openalex.org/W2133527541","https://openalex.org/W2160332621","https://openalex.org/W2170167679","https://openalex.org/W2181778884","https://openalex.org/W2229726323","https://openalex.org/W2241988237","https://openalex.org/W2299294527","https://openalex.org/W2727998829","https://openalex.org/W2752061190","https://openalex.org/W4245630182"],"related_works":["https://openalex.org/W3011059803","https://openalex.org/W3151736118","https://openalex.org/W2775554247","https://openalex.org/W2883671469","https://openalex.org/W2110168585","https://openalex.org/W3107474891","https://openalex.org/W2250213760","https://openalex.org/W4386247111","https://openalex.org/W4327642362","https://openalex.org/W2587014613"],"abstract_inverted_index":{"Automated":[0],"analysis":[1,26],"of":[2,19,39,46,58,66],"variability":[3,41],"models":[4],"is":[5,53,61,70,83],"crucial":[6],"for":[7,13,24,79],"managing":[8],"software":[9],"system":[10],"variants,":[11],"customized":[12],"different":[14],"market":[15],"segments":[16],"or":[17],"contexts":[18],"use.":[20],"As":[21],"most":[22],"approaches":[23],"automated":[25],"are":[27],"built":[28],"upon":[29],"logic":[30,37,52],"engines,":[31],"they":[32],"require":[33],"having":[34],"a":[35,64],"Boolean":[36,51],"translation":[38,45,65,78,87],"the":[40,44,67,77,93],"models.":[42],"However,":[43],"some":[47],"significant":[48],"languages":[49],"to":[50,75],"remarkably":[54],"non-trivial.":[55],"The":[56,85],"contribution":[57],"this":[59],"paper":[60],"twofold:":[62],"first,":[63],"Kconfig":[68],"language":[69],"presented;":[71],"second,":[72],"an":[73],"approach":[74],"test":[76],"any":[80],"given":[81],"model":[82],"provided.":[84],"proposed":[86],"has":[88],"been":[89],"empirically":[90],"tested":[91],"with":[92],"introduced":[94],"validation":[95],"procedure":[96],"on":[97],"five":[98],"open-source":[99],"projects.":[100]},"counts_by_year":[{"year":2026,"cited_by_count":32},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}