{"id":"https://openalex.org/W4404706409","doi":"https://doi.org/10.1007/978-3-031-77382-2_14","title":"Composing Run-Time Variability Models","display_name":"Composing Run-Time Variability Models","publication_year":2024,"publication_date":"2024-11-25","ids":{"openalex":"https://openalex.org/W4404706409","doi":"https://doi.org/10.1007/978-3-031-77382-2_14"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-77382-2_14","doi":"https://doi.org/10.1007/978-3-031-77382-2_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-77382-2_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"volume":{"id":"https://openalex.org/W4404706569","display_name":"Software Engineering and Formal Methods"},"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-04855648v1/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Salman Farhat","orcid":"https://orcid.org/0000-0002-4121-3139","observed_orcids":["https://orcid.org/0000-0002-4121-3139"]},"institutions":[{"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"]},{"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"]},{"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/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4405260233","display_name":"SPIRALS: Self-adaptation for distributed services and large software systems","ror":"https://ror.org/03eyty988","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412","https://openalex.org/I4405260233"]},{"id":"https://openalex.org/I7454413","display_name":"Centrale Lille Institut","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Salman Farhat","raw_affiliation_strings":["Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)"],"raw_orcid":"https://orcid.org/0000-0002-4121-3139","affiliations":[{"raw_affiliation_string":"Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"raw_affiliation_string":"SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)","institution_ids":["https://openalex.org/I4210138412","https://openalex.org/I4405260233"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030465732","display_name":"Simon Bliudze","orcid":"https://orcid.org/0000-0002-7900-5271","observed_orcids":["https://orcid.org/0000-0002-7900-5271"]},"institutions":[{"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"]},{"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"]},{"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/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4405260233","display_name":"SPIRALS: Self-adaptation for distributed services and large software systems","ror":"https://ror.org/03eyty988","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412","https://openalex.org/I4405260233"]},{"id":"https://openalex.org/I7454413","display_name":"Centrale Lille Institut","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Simon Bliudze","raw_affiliation_strings":["Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)"],"raw_orcid":"https://orcid.org/0000-0002-7900-5271","affiliations":[{"raw_affiliation_string":"Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"raw_affiliation_string":"SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)","institution_ids":["https://openalex.org/I4210138412","https://openalex.org/I4405260233"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107857972","display_name":"Laurence Duchien","orcid":"https://orcid.org/0000-0002-4517-5862","observed_orcids":["https://orcid.org/0000-0002-4517-5862"]},"institutions":[{"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"]},{"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"]},{"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/I4210138412","display_name":"Centre Inria de l'Universit\u00e9 de Lille","ror":"https://ror.org/04eej9726","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412"]},{"id":"https://openalex.org/I4387153239","display_name":"Centre de Recherche en Informatique, Signal et Automatique de Lille","ror":"https://ror.org/05vrs3189","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4405260233","display_name":"SPIRALS: Self-adaptation for distributed services and large software systems","ror":"https://ror.org/03eyty988","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210138412","https://openalex.org/I4405260233"]},{"id":"https://openalex.org/I7454413","display_name":"Centrale Lille Institut","ror":"https://ror.org/01x441g73","country_code":"FR","type":"education","lineage":["https://openalex.org/I7454413"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurence Duchien","raw_affiliation_strings":["Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)"],"raw_orcid":"https://orcid.org/0000-0002-4517-5862","affiliations":[{"raw_affiliation_string":"Univ. Lille, Inria, CNRS, Centrale Lille, UMR 9189 CRIStAL, 59000, Lille, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4387153239","https://openalex.org/I7454413"]},{"raw_affiliation_string":"SPIRALS - Self-adaptation for distributed services and large software systems (Centre Inria de l'Universit\u00e9 de Lille ,170 Av. de Bretagne, 59000 Lille - France)","institution_ids":["https://openalex.org/I4210138412","https://openalex.org/I4405260233"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070920431","display_name":"Olga Kouchnarenko","orcid":"https://orcid.org/0000-0003-1482-9015","observed_orcids":["https://orcid.org/0000-0003-1482-9015"]},"institutions":[{"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"]},{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]},{"id":"https://openalex.org/I90843659","display_name":"Universit\u00e9 de Franche-Comt\u00e9","ror":"https://ror.org/03pcc9z86","country_code":"FR","type":"education","lineage":["https://openalex.org/I4405256580","https://openalex.org/I90843659"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olga Kouchnarenko","raw_affiliation_strings":["Universit\u00e9 de Franche-Comt\u00e9, CNRS, Institut FEMTO-ST, 25000, Besan\u00e7on, France","FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0003-1482-9015","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Franche-Comt\u00e9, CNRS, Institut FEMTO-ST, 25000, Besan\u00e7on, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I90843659"]},{"raw_affiliation_string":"FEMTO-ST - Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5030465732"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2279609970","https://openalex.org/I4210138412","https://openalex.org/I4387153239","https://openalex.org/I4405260233","https://openalex.org/I7454413"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.2323,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.37443182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":"15280","issue":null,"first_page":"234","last_page":"252"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.975600004196167,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.975600004196167,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.014299999922513962,"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.004600000102072954,"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/feature-models","display_name":"feature models","score":0.7689999938011169},{"id":"https://openalex.org/keywords/composition-operators","display_name":"composition operators","score":0.656000018119812},{"id":"https://openalex.org/keywords/dynamic-reconfiguration","display_name":"dynamic reconfiguration","score":0.9100000262260437},{"id":"https://openalex.org/keywords/compositional-semantics","display_name":"compositional semantics","score":0.6050000190734863},{"id":"https://openalex.org/keywords/reachability-analysis","display_name":"reachability analysis","score":0.7929999828338623},{"id":"https://openalex.org/keywords/software-architecture-evolution","display_name":"software architecture evolution","score":0.699999988079071}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8218255043029785},{"id":"https://openalex.org/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.33210986852645874}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-77382-2_14","doi":"https://doi.org/10.1007/978-3-031-77382-2_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-77382-2_14","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core","jufo-1","ki-jl-1","norway-1","vabb-shw"],"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-04855648v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-04855648/document","pdf_url":"https://hal.science/hal-04855648v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://sefm-conference.github.io/2024/","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-04855648v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-04855648/document","pdf_url":"https://hal.science/hal-04855648v1/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://sefm-conference.github.io/2024/","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"study_designs":[],"awards":[{"id":"https://openalex.org/G1377922210","display_name":"Smart Dynamic Adaptivity for Cloud Computing Systems","funder_award_id":"ANR-23-CE25-0012","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2659019386","display_name":null,"funder_award_id":"ANR-17-EURE-","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6129730045","display_name":"Ing\u00e9nierie et Innovation par les sciences physiques, les savoir-faire technologiques et l'interdisciplinarit\u00e9","funder_award_id":"ANR-17-EURE-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G6803667113","display_name":null,"funder_award_id":"ANR-17","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G7924026332","display_name":"Adapt hierarchical component-based systems dynamically","funder_award_id":"ANR-23-CE25-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4404706409.pdf","grobid_xml":"https://content.openalex.org/works/W4404706409.grobid-xml"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W160631568","https://openalex.org/W369805404","https://openalex.org/W1509538264","https://openalex.org/W1586893225","https://openalex.org/W1843105598","https://openalex.org/W1985905700","https://openalex.org/W2048903680","https://openalex.org/W2090526358","https://openalex.org/W2099213660","https://openalex.org/W2125398918","https://openalex.org/W2125853721","https://openalex.org/W2150098915","https://openalex.org/W2156062547","https://openalex.org/W2175855740","https://openalex.org/W2605015436","https://openalex.org/W2613715466","https://openalex.org/W2782634640","https://openalex.org/W2885046255","https://openalex.org/W2967363435","https://openalex.org/W2972470316","https://openalex.org/W2979549536","https://openalex.org/W3141252252","https://openalex.org/W4365442383","https://openalex.org/W4376652523"],"related_works":["https://openalex.org/W4286858308","https://openalex.org/W4300936833","https://openalex.org/W6931739546","https://openalex.org/W4281552729","https://openalex.org/W2024482288","https://openalex.org/W4376652523","https://openalex.org/W7132262711","https://openalex.org/W4285267708","https://openalex.org/W2241976982","https://openalex.org/W7101218677"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2024-11-26T00:00:00"}