{"id":"https://openalex.org/W3141812285","doi":"https://doi.org/10.1109/icse.2012.6227150","title":"Simulation-based abstractions for software product-line model checking","display_name":"Simulation-based abstractions for software product-line model checking","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W3141812285","doi":"https://doi.org/10.1109/icse.2012.6227150","mag":"3141812285"},"language":"en","primary_location":{"id":"doi:10.1109/icse.2012.6227150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://inria.hal.science/hal-01087659","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["PReCISE Research Center, University of Namur, Belgium","PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)"],"affiliations":[{"raw_affiliation_string":"PReCISE Research Center, University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074187835","display_name":"Andreas Cla\u00dfen","orcid":null},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Andreas Classen","raw_affiliation_strings":["PReCISE Research Center, University of Namur, Belgium","PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)"],"affiliations":[{"raw_affiliation_string":"PReCISE Research Center, University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055104897","display_name":"Gilles Perrouin","orcid":"https://orcid.org/0000-0002-8431-0377"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Gilles Perrouin","raw_affiliation_strings":["PReCISE Research Center, University of Namur, Belgium","PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)"],"affiliations":[{"raw_affiliation_string":"PReCISE Research Center, University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011513275","display_name":"Pierre\u2010Yves Schobbens","orcid":"https://orcid.org/0000-0001-8677-4485"},"institutions":[{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Pierre-Yves Schobbens","raw_affiliation_strings":["PReCISE Research Center, University of Namur, Belgium","PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)"],"affiliations":[{"raw_affiliation_string":"PReCISE Research Center, University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111925011","display_name":"Patrick Heymans","orcid":null},"institutions":[{"id":"https://openalex.org/I174424907","display_name":"Laboratoire d'Informatique Fondamentale de Lille","ror":"https://ror.org/05rhg0h08","country_code":"FR","type":"facility","lineage":["https://openalex.org/I174424907"]},{"id":"https://openalex.org/I4210160005","display_name":"Computer Science Laboratory of Lille","ror":null,"country_code":"FR","type":null,"lineage":["https://openalex.org/I4210160005"]},{"id":"https://openalex.org/I149768937","display_name":"University of Namur","ror":"https://ror.org/03d1maw17","country_code":"BE","type":"education","lineage":["https://openalex.org/I149768937"]},{"id":"https://openalex.org/I2279609970","display_name":"Universit\u00e9 de Lille","ror":"https://ror.org/02kzqn938","country_code":"FR","type":"education","lineage":["https://openalex.org/I2279609970"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]}],"countries":["BE","FR"],"is_corresponding":false,"raw_author_name":"Patrick Heymans","raw_affiliation_strings":["LIFL, CNRS, France","PReCISE Research Center, University of Namur, Belgium","LIFL - Laboratoire d'Informatique Fondamentale de Lille (B\u00e2timent M3 59655 Villeneuve d'Ascq C\u00e9dex - France)","ADAM - Adaptive Distributed Applications and Middleware (France)","PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","Universit\u00e9 de Lille, Sciences et Technologies (Cit\u00e9 Scientifique - 59655 Villeneuve d'Ascq Cedex - France)"],"affiliations":[{"raw_affiliation_string":"LIFL, CNRS, France","institution_ids":["https://openalex.org/I4210160005","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"PReCISE Research Center, University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]},{"raw_affiliation_string":"LIFL - Laboratoire d'Informatique Fondamentale de Lille (B\u00e2timent M3 59655 Villeneuve d'Ascq C\u00e9dex - France)","institution_ids":["https://openalex.org/I174424907"]},{"raw_affiliation_string":"ADAM - Adaptive Distributed Applications and Middleware (France)","institution_ids":[]},{"raw_affiliation_string":"PReCISE - PReCISE Research Centre in Information Systems Engineering (FUNDP - Facult\u00e9 d'Informatique 21 rue Grandgagnage B-5000 Namur - Belgium)","institution_ids":[]},{"raw_affiliation_string":"Universit\u00e9 de Lille, Sciences et Technologies (Cit\u00e9 Scientifique - 59655 Villeneuve d'Ascq Cedex - France)","institution_ids":["https://openalex.org/I2279609970"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030129842","display_name":"Axel Legay","orcid":"https://orcid.org/0000-0003-2287-8925"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]},{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I157674565","display_name":"University of Li\u00e8ge","ror":"https://ror.org/00afp2z80","country_code":"BE","type":"education","lineage":["https://openalex.org/I157674565"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["BE","DK","FR"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["INRIA Rennes, IRISA, France","University of Aalborg, Denmark","University of Li\u00e8ge, Belgium","DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems (Campus de Beaulieu 35042 Rennes cedex - France)"],"affiliations":[{"raw_affiliation_string":"INRIA Rennes, IRISA, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"University of Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"University of Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]},{"raw_affiliation_string":"DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems (Campus de Beaulieu 35042 Rennes cedex - France)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5000695937"],"corresponding_institution_ids":["https://openalex.org/I149768937"],"apc_list":null,"apc_paid":null,"fwci":5.7459,"has_fulltext":false,"cited_by_count":28,"citation_normalized_percentile":{"value":0.96078431,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"672","last_page":"682"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"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.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9952999949455261,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8122731447219849},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.805192232131958},{"id":"https://openalex.org/keywords/software-product-line","display_name":"Software product line","score":0.7572739124298096},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6971939206123352},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5002667903900146},{"id":"https://openalex.org/keywords/abstraction-model-checking","display_name":"Abstraction model checking","score":0.49175432324409485},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48609328269958496},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48286038637161255},{"id":"https://openalex.org/keywords/product-line","display_name":"Product line","score":0.4416690170764923},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.43396133184432983},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4216383397579193},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4179292917251587},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.36159104108810425},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3398171365261078},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3348347544670105},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.31841564178466797},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.204552561044693}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8122731447219849},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.805192232131958},{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.7572739124298096},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6971939206123352},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5002667903900146},{"id":"https://openalex.org/C30888246","wikidata":"https://www.wikidata.org/wiki/Q4669969","display_name":"Abstraction model checking","level":3,"score":0.49175432324409485},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48609328269958496},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48286038637161255},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.4416690170764923},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.43396133184432983},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4216383397579193},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4179292917251587},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.36159104108810425},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3398171365261078},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3348347544670105},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.31841564178466797},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.204552561044693},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C117671659","wikidata":"https://www.wikidata.org/wiki/Q11049265","display_name":"Manufacturing engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/icse.2012.6227150","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icse.2012.6227150","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 34th International Conference on Software Engineering (ICSE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01087659v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01087659","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Z\u00fcrich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:publications/d45c068e-d0e2-4ad0-baff-432b5c75d21d","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/d45c068e-d0e2-4ad0-baff-432b5c75d21d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Cordy, M, Classen, A, Perrouin, G, Schobbens, P Y, Heymans, P & Legay, A 2012, Simulation-based abstractions for software product-line model checking. in Proceedings - International Conference on Software Engineering. IEEE (Institute of Electrical and Electronics Engineers), Proceedings of the International Conference on Software Engineering, pp. 672-682, 34th International Conference on Software Engineering, Z\u00fcrich, Switzerland, 02/06/2012. https://doi.org/10.1109/ICSE.2012.6227150","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-01087659v1","is_oa":true,"landing_page_url":"https://inria.hal.science/hal-01087659","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"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":"ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Z\u00fcrich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩","raw_type":"Conference papers"},"sustainable_development_goals":[{"display_name":"Responsible consumption and production","score":0.5699999928474426,"id":"https://metadata.un.org/sdg/12"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W218001914","https://openalex.org/W1498432697","https://openalex.org/W1511965757","https://openalex.org/W1516326834","https://openalex.org/W1577673148","https://openalex.org/W1959890433","https://openalex.org/W1965077165","https://openalex.org/W1968542268","https://openalex.org/W1968563362","https://openalex.org/W2015315253","https://openalex.org/W2019881090","https://openalex.org/W2023808162","https://openalex.org/W2095355321","https://openalex.org/W2099213660","https://openalex.org/W2117189826","https://openalex.org/W2117730221","https://openalex.org/W2125853721","https://openalex.org/W2130195901","https://openalex.org/W2134106421","https://openalex.org/W2142960988","https://openalex.org/W2155470936","https://openalex.org/W2158395308","https://openalex.org/W2162786003","https://openalex.org/W2162844904","https://openalex.org/W2164589933","https://openalex.org/W2167672803","https://openalex.org/W2168086947","https://openalex.org/W2986444891","https://openalex.org/W4237946187","https://openalex.org/W6630053826","https://openalex.org/W6640817265","https://openalex.org/W6655221434","https://openalex.org/W6677772445"],"related_works":["https://openalex.org/W2163809353","https://openalex.org/W3141846160","https://openalex.org/W4233789246","https://openalex.org/W4251582706","https://openalex.org/W4248586125","https://openalex.org/W4246810033","https://openalex.org/W2051414193","https://openalex.org/W1972612110","https://openalex.org/W2399803796","https://openalex.org/W1540928018"],"abstract_inverted_index":{"Software":[0],"Product":[1],"Line":[2],"(SPL)":[3],"engineering":[4,8],"is":[5,41,54,95],"a":[6,66,108,165],"software":[7,16],"paradigm":[9],"that":[10,162],"exploits":[11],"the":[12,49,84,96,132,147],"commonality":[13],"between":[14],"similar":[15],"products":[17,53],"to":[18,77,100,118,127,156],"reduce":[19],"life":[20],"cycle":[21],"costs":[22],"and":[23,29,73,114,129,152],"time-to-market.":[24],"Many":[25],"SPLs":[26,40],"are":[27,164],"critical":[28],"would":[30],"benefit":[31],"from":[32],"efficient":[33,75],"verification":[34],"through":[35],"model":[36,90,137,170],"checking.":[37],"Model":[38,93],"checking":[39,138,171],"more":[42],"difficult":[43],"than":[44],"for":[45,112,135,168],"single":[46],"systems,":[47],"since":[48],"number":[50],"of":[51,70,139,149,172],"different":[52],"potentially":[55],"huge.":[56],"In":[57,103],"previous":[58],"work,":[59],"we":[60,81,106],"introduced":[61],"Featured":[62],"Transition":[63],"Systems":[64],"(FTS),":[65],"formal,":[67],"compact":[68],"representation":[69],"SPL":[71],"behaviour,":[72],"provided":[74],"algorithms":[76],"verify":[78],"FTS.":[79],"Yet,":[80],"still":[82],"face":[83],"state":[85,101],"explosion":[86],"problem,":[87],"like":[88],"any":[89],"checking-based":[91],"verification.":[92],"abstraction":[94,153],"most":[97],"relevant":[98],"answer":[99],"explosion.":[102],"this":[104],"paper,":[105],"define":[107],"novel":[109],"simulation":[110,124,151],"relation":[111],"FTS":[113,128,163],"provide":[115],"an":[116],"algorithm":[117],"compute":[119],"it.":[120],"We":[121,141],"extend":[122],"well-known":[123],"preservation":[125],"properties":[126],"thus":[130],"lay":[131],"theoretical":[133],"foundations":[134],"abstraction-based":[136],"SPLs.":[140],"evaluate":[142],"our":[143],"approach":[144],"by":[145],"comparing":[146],"cost":[148],"FTS-based":[150],"with":[154],"respect":[155],"product-by-product":[157],"methods.":[158],"Our":[159],"results":[160],"show":[161],"solid":[166],"foundation":[167],"simulation-based":[169],"SPL.":[173]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}