{"id":"https://openalex.org/W4386178292","doi":"https://doi.org/10.1145/3579027.3608976","title":"Family-based model checking of fMultiLTL properties","display_name":"Family-based model checking of fMultiLTL properties","publication_year":2023,"publication_date":"2023-08-25","ids":{"openalex":"https://openalex.org/W4386178292","doi":"https://doi.org/10.1145/3579027.3608976"},"language":"en","primary_location":{"id":"doi:10.1145/3579027.3608976","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3579027.3608976","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/handle/10993/58905","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5063086549","display_name":"Aleksandar S. Dimovski","orcid":"https://orcid.org/0000-0002-3601-2631"},"institutions":[{"id":"https://openalex.org/I4391012568","display_name":"Mother Teresa University","ror":"https://ror.org/04wnz0192","country_code":null,"type":"education","lineage":["https://openalex.org/I4391012568"]}],"countries":["MK"],"is_corresponding":true,"raw_author_name":"Aleksandar S. Dimovski","raw_affiliation_strings":["Mother Teresa University, Skopje, North Macedonia"],"affiliations":[{"raw_affiliation_string":"Mother Teresa University, Skopje, North Macedonia","institution_ids":["https://openalex.org/I4391012568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030367248","display_name":"Sami Lazreg","orcid":null},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Sami Lazreg","raw_affiliation_strings":["SnT, University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"SnT, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000695937","display_name":"Maxime Cordy","orcid":"https://orcid.org/0000-0001-8312-1358"},"institutions":[{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]}],"countries":["LU"],"is_corresponding":false,"raw_author_name":"Maxime Cordy","raw_affiliation_strings":["SnT, University of Luxembourg, Luxembourg"],"affiliations":[{"raw_affiliation_string":"SnT, University of Luxembourg, Luxembourg","institution_ids":["https://openalex.org/I186903577"]}]},{"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/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Axel Legay","raw_affiliation_strings":["Universit\u00e9 catholique de Louvain, Belgium"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, Belgium","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5063086549"],"corresponding_institution_ids":["https://openalex.org/I4391012568"],"apc_list":null,"apc_paid":null,"fwci":0.1961,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.55152447,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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.9993000030517578,"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.9972000122070312,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9944000244140625,"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/trace","display_name":"TRACE (psycholinguistics)","score":0.8150492906570435},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7262792587280273},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.6749815344810486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5552970170974731},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5483104586601257},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.545602560043335},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5165954828262329},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5055251121520996},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4536345899105072},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4528752267360687},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.45176321268081665},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3907255530357361}],"concepts":[{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.8150492906570435},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7262792587280273},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.6749815344810486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5552970170974731},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5483104586601257},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.545602560043335},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5165954828262329},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5055251121520996},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4536345899105072},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4528752267360687},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.45176321268081665},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3907255530357361},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3579027.3608976","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3579027.3608976","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A","raw_type":"proceedings-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/58905","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/58905","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"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":"27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings (2023-08-28); Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, Tokyo, Jpn [Jpn], 28-08-2023 => 01-09-2023","raw_type":"peer reviewed"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/58905","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/58905","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"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":"27th ACM International Systems and Software Product Line Conference, SPLC 2023 - Proceedings (2023-08-28); Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, Tokyo, Jpn [Jpn], 28-08-2023 => 01-09-2023","raw_type":"peer reviewed"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W1213177963","https://openalex.org/W1480909796","https://openalex.org/W1494019345","https://openalex.org/W1498432697","https://openalex.org/W1501652040","https://openalex.org/W1998265601","https://openalex.org/W2009093319","https://openalex.org/W2019477184","https://openalex.org/W2022615696","https://openalex.org/W2049497188","https://openalex.org/W2070929035","https://openalex.org/W2071109087","https://openalex.org/W2080945770","https://openalex.org/W2110025251","https://openalex.org/W2130195901","https://openalex.org/W2139799388","https://openalex.org/W2147671787","https://openalex.org/W2208405779","https://openalex.org/W2219042429","https://openalex.org/W2274354802","https://openalex.org/W2394570354","https://openalex.org/W2581096492","https://openalex.org/W2597775210","https://openalex.org/W2599286514","https://openalex.org/W2612667315","https://openalex.org/W2738172349","https://openalex.org/W2742512175","https://openalex.org/W2762612122","https://openalex.org/W2793193660","https://openalex.org/W2901842721","https://openalex.org/W2921381765","https://openalex.org/W2964335063","https://openalex.org/W2968593786","https://openalex.org/W2974449604","https://openalex.org/W3036435269","https://openalex.org/W3120552358","https://openalex.org/W3200336857","https://openalex.org/W3217584556","https://openalex.org/W4210999552","https://openalex.org/W4229029211","https://openalex.org/W4235417919","https://openalex.org/W4236991443","https://openalex.org/W4246103079","https://openalex.org/W4362663227"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W3021103820","https://openalex.org/W2763487042","https://openalex.org/W2521108391","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W2477338659","https://openalex.org/W1967076997"],"abstract_inverted_index":{"We":[0,100],"introduce":[1],"a":[2,24,28,66],"new":[3],"logic":[4,20,31],"for":[5,82],"expressing":[6],"multi-properties":[7],"of":[8,42,44,68,86,104],"system":[9],"families":[10],"(Software":[11],"Product":[12],"Lines":[13],"-":[14],"SPLs).":[15],"While":[16],"the":[17,45,61,71,102],"standard":[18],"LTL":[19],"refers":[21,34],"only":[22],"to":[23,35],"single":[25],"trace":[26,73],"at":[27],"time,":[29],"fMultiLTL":[30,87],"proposed":[32],"here":[33],"multiple":[36],"traces":[37],"originating":[38],"from":[39],"different":[40],"sets":[41],"variants":[43,69],"SPL.":[46],"This":[47],"is":[48,88],"achieved":[49],"by":[50],"allowing":[51],"so-called":[52],"featured":[53],"quantification":[54],"over":[55],"traces,":[56],"\u2200\u03c8":[57],"and":[58],"\u2203\u03c8,":[59],"where":[60],"feature":[62],"expression":[63],"\u03c8":[64],"describes":[65],"set":[67],"(sub-family)":[70],"quantified":[72],"comes":[74],"from.":[75],"A":[76,90],"specialized":[77],"family-based":[78,92],"model":[79,93],"checking":[80],"algorithm":[81],"verifying":[83],"some":[84],"fragments":[85],"given.":[89],"prototype":[91],"checker,":[94],"called":[95],"D\u0105dalux,":[96],"has":[97],"been":[98],"implemented.":[99],"illustrate":[101],"practicality":[103],"this":[105],"approach":[106],"on":[107],"several":[108],"interesting":[109],"SPL":[110],"models.":[111]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2023-08-26T00:00:00"}