{"id":"https://openalex.org/W3198658078","doi":"https://doi.org/10.1145/3461002.3473071","title":"Static analysis and family-based model checking of featured transition systems with VMC","display_name":"Static analysis and family-based model checking of featured transition systems with VMC","publication_year":2021,"publication_date":"2021-09-02","ids":{"openalex":"https://openalex.org/W3198658078","doi":"https://doi.org/10.1145/3461002.3473071","mag":"3198658078"},"language":"en","primary_location":{"id":"doi:10.1145/3461002.3473071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3461002.3473071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":null,"any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064415269","display_name":"Maurice H. ter Beek","orcid":"https://orcid.org/0000-0002-2930-6367"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Maurice H. ter Beek","raw_affiliation_strings":["ISTI-CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"ISTI-CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012008673","display_name":"Franco Mazzanti","orcid":"https://orcid.org/0000-0003-4562-8777"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Mazzanti","raw_affiliation_strings":["ISTI-CNR, Pisa, Italy"],"affiliations":[{"raw_affiliation_string":"ISTI-CNR, Pisa, Italy","institution_ids":["https://openalex.org/I122991210"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065182304","display_name":"Ferruccio Damiani","orcid":"https://orcid.org/0000-0001-8109-1706"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ferruccio Damiani","raw_affiliation_strings":["University of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"University of Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078201674","display_name":"Luca Paolini","orcid":"https://orcid.org/0000-0002-4126-0170"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Paolini","raw_affiliation_strings":["University of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"University of Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015759563","display_name":"Giordano Scarso","orcid":"https://orcid.org/0009-0009-2114-7435"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giordano Scarso","raw_affiliation_strings":["University of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"University of Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065360603","display_name":"Michele Valfr\u00e8","orcid":null},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Valfr\u00e8","raw_affiliation_strings":["University of Turin, Italy"],"affiliations":[{"raw_affiliation_string":"University of Turin, Italy","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046746506","display_name":"Micha\u00ebl Lienhardt","orcid":"https://orcid.org/0009-0009-9635-5757"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Michael Lienhardt","raw_affiliation_strings":["ONERA, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"ONERA, Palaiseau, France","institution_ids":["https://openalex.org/I2801658355"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5064415269"],"corresponding_institution_ids":["https://openalex.org/I122991210"],"apc_list":null,"apc_paid":null,"fwci":0.2721,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63347343,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"24","last_page":"27"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/toolchain","display_name":"Toolchain","score":0.9886307120323181},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.761212944984436},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.7205480337142944},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6862702369689941},{"id":"https://openalex.org/keywords/transition-system","display_name":"Transition system","score":0.5954564809799194},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5272839665412903},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.5046263933181763},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4531075358390808},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4417259395122528},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4275183379650116},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.41862332820892334},{"id":"https://openalex.org/keywords/transition","display_name":"Transition (genetics)","score":0.41052088141441345},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3258422613143921},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.1875067949295044}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.9886307120323181},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.761212944984436},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.7205480337142944},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6862702369689941},{"id":"https://openalex.org/C2779167558","wikidata":"https://www.wikidata.org/wiki/Q176468","display_name":"Transition system","level":2,"score":0.5954564809799194},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5272839665412903},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5046263933181763},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4531075358390808},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4417259395122528},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4275183379650116},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.41862332820892334},{"id":"https://openalex.org/C194232998","wikidata":"https://www.wikidata.org/wiki/Q1606712","display_name":"Transition (genetics)","level":3,"score":0.41052088141441345},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3258422613143921},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.1875067949295044},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"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/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3461002.3473071","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3461002.3473071","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05023296v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05023296","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference, Sep 2021, Leicester, United Kingdom. pp.24-27, ⟨10.1145/3461002.3473071⟩","raw_type":"Conference papers"},{"id":"pmh:oai:dnet:people______::c8cf5f632c40733b9d5def671d50cea0","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference article"},{"id":"pmh:oai:iris.unito.it:2318/1805236","is_oa":true,"landing_page_url":"https://dl.acm.org/doi/10.1145/3461002.3473071","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:dnet:people______::c8cf5f632c40733b9d5def671d50cea0","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W336951068","https://openalex.org/W1266841435","https://openalex.org/W2021530756","https://openalex.org/W2022615696","https://openalex.org/W2048064553","https://openalex.org/W2071109087","https://openalex.org/W2075571135","https://openalex.org/W2110025251","https://openalex.org/W2120119918","https://openalex.org/W2128967738","https://openalex.org/W2130195901","https://openalex.org/W2142960988","https://openalex.org/W2144179818","https://openalex.org/W2170286440","https://openalex.org/W2183677651","https://openalex.org/W2219042429","https://openalex.org/W2394570354","https://openalex.org/W2599286514","https://openalex.org/W2739324783","https://openalex.org/W2742512175","https://openalex.org/W2808965408","https://openalex.org/W2894621248","https://openalex.org/W2901842721","https://openalex.org/W2962858291","https://openalex.org/W2968593786","https://openalex.org/W2970412618","https://openalex.org/W3019048927","https://openalex.org/W3198362696","https://openalex.org/W3210456721","https://openalex.org/W6912634548"],"related_works":["https://openalex.org/W2765993055","https://openalex.org/W132328680","https://openalex.org/W2136375492","https://openalex.org/W155581612","https://openalex.org/W611940489","https://openalex.org/W2103672915","https://openalex.org/W2107626251","https://openalex.org/W2804435447","https://openalex.org/W2158931775","https://openalex.org/W4289829144"],"abstract_inverted_index":{"A":[0],"Featured":[1],"Transition":[2],"System":[3],"(FTS)":[4],"is":[5,21],"a":[6,24,58,69],"formalism":[7],"for":[8,60,75],"modeling":[9],"variability":[10],"in":[11,23,53],"configurable":[12],"system":[13],"behavior.":[14],"The":[15,65],"behavior":[16],"of":[17,50,99,102],"all":[18],"variants":[19],"(products)":[20],"modeled":[22],"single":[25],"compact":[26],"FTS":[27,74,89,104],"by":[28,120],"associating":[29],"the":[30,48,61,113,117,121],"possibility":[31],"to":[32,41,71,115],"perform":[33,95],"an":[34,51,73,87,91,96,103],"action":[35,52],"and":[36,82,94],"transition":[37],"from":[38,112],"one":[39],"state":[40],"another":[42],"with":[43],"feature":[44],"expressions":[45],"that":[46],"condition":[47],"execution":[49],"specific":[54],"variants.":[55],"We":[56,109],"present":[57],"front-end":[59],"research":[62],"tool":[63],"VMC.":[64],"resulting":[66],"toolchain":[67],"allows":[68],"modeler":[70],"analyze":[72],"ambiguities":[76],"(dead":[77],"or":[78],"false":[79],"optional":[80],"transitions":[81],"hidden":[83,106],"deadlock":[84,107],"states),":[85],"transform":[86],"ambiguous":[88],"into":[90],"unambiguous":[92],"one,":[93],"efficient":[97],"kind":[98],"family-based":[100],"verification":[101],"without":[105],"states.":[108],"use":[110],"benchmarks":[111],"literature":[114],"demonstrate":[116],"novelties":[118],"offered":[119],"toolchain.":[122]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-02T08:37:19.008085","created_date":"2021-09-13T00:00:00"}