{"id":"https://openalex.org/W1991396026","doi":"https://doi.org/10.1145/2362536.2362549","title":"Behavioural modelling and verification of real-time software product lines","display_name":"Behavioural modelling and verification of real-time software product lines","publication_year":2012,"publication_date":"2012-09-02","ids":{"openalex":"https://openalex.org/W1991396026","doi":"https://doi.org/10.1145/2362536.2362549","mag":"1991396026"},"language":"en","primary_location":{"id":"doi:10.1145/2362536.2362549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2362536.2362549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Software Product Line Conference - Volume 1","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://pure.unamur.be/ws/files/1090318/73889.pdf","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":["University of Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"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":["University of Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112713583","display_name":"Patrick Heymans","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":"Patrick Heymans","raw_affiliation_strings":["University of Namur, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Namur, Belgium","institution_ids":["https://openalex.org/I149768937"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111707393","display_name":"Axel Legay","orcid":null},"institutions":[{"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"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["University of Li\u00e8ge, Belgium"],"affiliations":[{"raw_affiliation_string":"University of Li\u00e8ge, Belgium","institution_ids":["https://openalex.org/I157674565"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5000695937"],"corresponding_institution_ids":["https://openalex.org/I149768937"],"apc_list":null,"apc_paid":null,"fwci":5.7484,"has_fulltext":true,"cited_by_count":56,"citation_normalized_percentile":{"value":0.95787808,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"66","last_page":"75"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9994999766349792,"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.9994999766349792,"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.9969000220298767,"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.9961000084877014,"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/software-product-line","display_name":"Software product line","score":0.7781190872192383},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7231304049491882},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.6759933233261108},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5508129000663757},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5263998508453369},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5185499787330627},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5125632286071777},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48616430163383484},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.45763683319091797},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.41928380727767944},{"id":"https://openalex.org/keywords/product-line","display_name":"Product line","score":0.41824620962142944},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.3696903586387634},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.36518076062202454},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3044155240058899},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1317746341228485},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08185267448425293}],"concepts":[{"id":"https://openalex.org/C2778177629","wikidata":"https://www.wikidata.org/wiki/Q2111823","display_name":"Software product line","level":4,"score":0.7781190872192383},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7231304049491882},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.6759933233261108},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5508129000663757},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5263998508453369},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5185499787330627},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5125632286071777},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48616430163383484},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.45763683319091797},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.41928380727767944},{"id":"https://openalex.org/C2988046880","wikidata":"https://www.wikidata.org/wiki/Q3084961","display_name":"Product line","level":2,"score":0.41824620962142944},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3696903586387634},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.36518076062202454},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3044155240058899},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1317746341228485},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08185267448425293},{"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/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1145/2362536.2362549","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2362536.2362549","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th International Software Product Line Conference - Volume 1","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/a81d312a-0e6d-49bf-9f56-ff16a884f5d8","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/a81d312a-0e6d-49bf-9f56-ff16a884f5d8","pdf_url":"https://pure.unamur.be/ws/files/1090318/73889.pdf","source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","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":"Cordy, M, Schobbens, P-Y, Heymans, P & Legay, A 2012, Behavioural modelling and verification of real-time software product lines. in Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. vol. 1, pp. 66-75. https://doi.org/10.1145/2362536.2362549","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:HAL:hal-00718157v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00718157","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil","raw_type":"Conference papers"},{"id":"pmh:oai:pure.atira.dk:publications/81ea3f79-6642-4b76-aaf4-c6d1fc33f05f","is_oa":false,"landing_page_url":"http://www.scopus.com/inward/record.url?scp=84867484666&partnerID=8YFLogxK","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 , Schobbens , P-Y , Heymans , P & Legay , A 2012 , Behavioural modelling and verification of real-time software product lines . in SPLC '12 Proceedings of the 16th International Software Product Line Conference . vol. 1 , Association for Computing Machinery , ACM International Conference Proceeding Series (ICPS) , pp. 66-75 , 16th International Software Product Line Conference , Salvador , Brazil , 02/09/2012 . https://doi.org/10.1145/2362536.2362549","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/81ea3f79-6642-4b76-aaf4-c6d1fc33f05f","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/81ea3f79-6642-4b76-aaf4-c6d1fc33f05f","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, Schobbens, P-Y, Heymans, P & Legay, A 2012, Behavioural modelling and verification of real-time software product lines. in SPLC '12 Proceedings of the 16th International Software Product Line Conference. vol. 1, Association for Computing Machinery (ACM), ACM International Conference Proceeding Series (ICPS), pp. 66-75, 16th International Software Product Line Conference, Salvador, Brazil, 02/09/2012. https://doi.org/10.1145/2362536.2362549","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.unamur.be:openaire_cris_publications/a81d312a-0e6d-49bf-9f56-ff16a884f5d8","is_oa":true,"landing_page_url":"https://researchportal.unamur.be/en/publications/a81d312a-0e6d-49bf-9f56-ff16a884f5d8","pdf_url":"https://pure.unamur.be/ws/files/1090318/73889.pdf","source":{"id":"https://openalex.org/S4406922457","display_name":"Repository of the University of Namur","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":"Cordy, M, Schobbens, P-Y, Heymans, P & Legay, A 2012, Behavioural modelling and verification of real-time software product lines. in Proceedings of the 16th International Software Product Line Conference (SPLC '12), Salvador, Brazil, September 2-7. vol. 1, pp. 66-75. https://doi.org/10.1145/2362536.2362549","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[{"score":0.5400000214576721,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1991396026.pdf","grobid_xml":"https://content.openalex.org/works/W1991396026.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W78026558","https://openalex.org/W133832188","https://openalex.org/W1498432697","https://openalex.org/W1905380539","https://openalex.org/W1981808971","https://openalex.org/W2015315253","https://openalex.org/W2019477184","https://openalex.org/W2049497188","https://openalex.org/W2055888212","https://openalex.org/W2080945770","https://openalex.org/W2120119918","https://openalex.org/W2130195901","https://openalex.org/W2134106421","https://openalex.org/W2135081949","https://openalex.org/W2142960988","https://openalex.org/W2150220388","https://openalex.org/W2164639037","https://openalex.org/W2167672803","https://openalex.org/W2168086947","https://openalex.org/W2171002355","https://openalex.org/W6629784141"],"related_works":["https://openalex.org/W3211062188","https://openalex.org/W2163809353","https://openalex.org/W3141846160","https://openalex.org/W2392362176","https://openalex.org/W2343496192","https://openalex.org/W4233789246","https://openalex.org/W2149330497","https://openalex.org/W2738202479","https://openalex.org/W2386892903","https://openalex.org/W4230556465"],"abstract_inverted_index":{"In":[0],"Software":[1],"Product":[2],"Line":[3],"(SPL)":[4],"engineering,":[5],"software":[6,17,60],"products":[7,61,84],"are":[8,18,36],"build":[9,20],"in":[10],"families":[11],"rather":[12],"than":[13,51],"individually.":[14],"Many":[15],"critical":[16],"nowadays":[19],"as":[21],"SPLs":[22,35],"and":[23,39],"most":[24],"of":[25,58,65,92],"them":[26,93],"obey":[27],"hard":[28],"real-time":[29],"requirements.":[30],"Formal":[31],"methods":[32],"for":[33,45,52,76],"verifying":[34],"thus":[37],"crucial":[38],"actively":[40],"studied.":[41],"The":[42],"verification":[43,88],"problem":[44],"SPL":[46,66],"is,":[47],"however,":[48],"more":[49],"complicated":[50],"individual":[53],"systems;":[54],"the":[55,63,80,83,87],"large":[56],"number":[57],"different":[59],"multiplies":[62],"complexity":[64],"model-checking.":[67],"Recently,":[68],"promising":[69],"model-checking":[70],"approaches":[71],"have":[72],"been":[73],"developed":[74],"specifically":[75],"SPLs.":[77],"They":[78],"leverage":[79],"commonality":[81],"between":[82],"to":[85],"reduce":[86],"effort.":[89],"However,":[90],"none":[91],"considers":[94],"real":[95],"time.":[96]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":12},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-23T09:07:50.710637","created_date":"2025-10-10T00:00:00"}