{"id":"https://openalex.org/W4386380943","doi":"https://doi.org/10.18293/seke2023-223","title":"Expansion Mechanism for Runtime Verification of Self-adaptive Systems","display_name":"Expansion Mechanism for Runtime Verification of Self-adaptive Systems","publication_year":2023,"publication_date":"2023-07-01","ids":{"openalex":"https://openalex.org/W4386380943","doi":"https://doi.org/10.18293/seke2023-223"},"language":"en","primary_location":{"id":"doi:10.18293/seke2023-223","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-223","pdf_url":"https://doi.org/10.18293/seke2023-223","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2023-223","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5032315190","display_name":"Masaya Fujimoto","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masaya Fujimoto","raw_affiliation_strings":["Graduate School of Information Science and Technology, Osaka University"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036383115","display_name":"Hiroyuki Nakagawa","orcid":"https://orcid.org/0000-0001-5280-4113"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroyuki Nakagawa","raw_affiliation_strings":["Graduate School of Information Science and Technology, Osaka University"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004506095","display_name":"Tatsuhiro Tsuchiya","orcid":"https://orcid.org/0000-0002-3329-9235"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"Osaka University","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tatsuhiro Tsuchiya","raw_affiliation_strings":["Graduate School of Information Science and Technology, Osaka University"],"affiliations":[{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5032315190"],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":0.4317,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6970773,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"2023","issue":null,"first_page":"76","last_page":"81"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.880361795425415},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.6522372961044312},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5770434141159058},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5148412585258484},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.4822852909564972},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.467553973197937},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.4314536452293396},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.41735219955444336},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3860708773136139},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.33820840716362},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3266201615333557},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13586652278900146},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1267012059688568}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.880361795425415},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6522372961044312},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5770434141159058},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5148412585258484},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4822852909564972},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.467553973197937},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.4314536452293396},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.41735219955444336},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3860708773136139},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.33820840716362},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3266201615333557},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13586652278900146},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1267012059688568},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2023-223","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-223","pdf_url":"https://doi.org/10.18293/seke2023-223","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2023-223","is_oa":true,"landing_page_url":"https://doi.org/10.18293/seke2023-223","pdf_url":"https://doi.org/10.18293/seke2023-223","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1492856601","display_name":null,"funder_award_id":"Grants-in-Aid for Scientific Resear","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G2983449479","display_name":null,"funder_award_id":"Scientific Research","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G3459562248","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G4874944895","display_name":null,"funder_award_id":"-in-Aid","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"},{"id":"https://openalex.org/G63919376","display_name":null,"funder_award_id":"20H04167","funder_id":"https://openalex.org/F4320334764","funder_display_name":"Japan Society for the Promotion of Science"}],"funders":[{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4386380943.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W1971139410","https://openalex.org/W1974641445","https://openalex.org/W1998284497","https://openalex.org/W2015699956","https://openalex.org/W2071616717","https://openalex.org/W2104851058","https://openalex.org/W2111765806","https://openalex.org/W2133859873","https://openalex.org/W2146044140","https://openalex.org/W2585948292","https://openalex.org/W2955774194","https://openalex.org/W3126671486","https://openalex.org/W3162128423","https://openalex.org/W4238552430","https://openalex.org/W6679642785","https://openalex.org/W7001151578"],"related_works":["https://openalex.org/W2406499533","https://openalex.org/W2809618173","https://openalex.org/W3036403349","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2149716943","https://openalex.org/W1968510839","https://openalex.org/W4315606162","https://openalex.org/W2006962382","https://openalex.org/W2528097415"],"abstract_inverted_index":{"Self-adaptive":[0],"systems":[1],"can":[2],"adapt":[3],"to":[4,37,60,100,113,117],"environmental":[5],"changes":[6],"by":[7,73],"modifying":[8],"their":[9],"behavior":[10],"and":[11,31,46,58,95,124,141],"require":[12],"runtime":[13],"verification":[14,18,23],"after":[15],"adaptation.More":[16],"efficient":[17],"mechanisms":[19,24],"are":[20,29,154],"required":[21],"because":[22],"such":[25,48],"as":[26],"model":[27,41,83,94,98,102],"checking":[28,42],"computationally":[30],"memory":[32],"intensive.A":[33],"possible":[34],"method":[35,79,112],"is":[36,89,148],"generate":[38,114],"expressions":[39,49,75],"for":[40,106],"at":[43,50,84],"design":[44,93],"time":[45],"execute":[47],"runtime.Our":[51],"previous":[52,71],"work":[53,72],"proposed":[54],"a":[55,101,104,111],"caching":[56],"mechanism":[57],"parameterization":[59],"improve":[61,69,125],"the":[62,81,85,92,97,119,126,151],"expression":[63],"generation":[64],"method.In":[65],"this":[66],"study,":[67],"we":[68],"our":[70,146],"generating":[74,107],"using":[76],"Laplace":[77],"expansion.This":[78],"expands":[80],"probabilistic":[82],"points":[86],"where":[87],"it":[88],"different":[90],"from":[91],"brings":[96],"closer":[99],"in":[103],"cache":[105,127],"expressions.We":[108],"also":[109],"propose":[110],"candidate":[115],"metrices":[116],"increase":[118],"number":[120],"of":[121,135],"cached":[122],"matrices":[123],"hit":[128],"ratio.We":[129],"conducted":[130],"experiments":[131],"with":[132],"three":[133],"types":[134],"changes,":[136],"that":[137,145],"is,":[138],"adding,":[139],"changing,":[140],"deleting":[142],"states.We":[143],"observed":[144],"approach":[147],"effective":[149],"when":[150],"model's":[152],"states":[153],"added":[155],"or":[156],"changed.":[157]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}