{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T05:47:34Z","timestamp":1776750454287,"version":"3.51.2"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"JSPS KAKENHI","award":["JP25K03099"],"award-info":[{"award-number":["JP25K03099"]}]},{"name":"JSPS KAKENHI","award":["JP25K24390"],"award-info":[{"award-number":["JP25K24390"]}]},{"DOI":"10.13039\/501100009427","name":"Telecommunications Advancement Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100009427","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/access.2026.3682704","type":"journal-article","created":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T20:00:05Z","timestamp":1775851205000},"page":"56858-56869","source":"Crossref","is-referenced-by-count":0,"title":["An Efficient Runtime Verification Toolkit for Self-Adaptive Systems Addressing Runtime System Model Changes"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-3416-8557","authenticated-orcid":false,"given":"Ryuichi","family":"Iida","sequence":"first","affiliation":[{"name":"Department of Engineering, Okayama University, Okayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3162-2834","authenticated-orcid":false,"given":"Keiichiro","family":"Oishi","sequence":"additional","affiliation":[{"name":"Department of Engineering, Okayama University, Okayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5280-4113","authenticated-orcid":false,"given":"Hiroyuki","family":"Nakagawa","sequence":"additional","affiliation":[{"name":"Department of Engineering, Okayama University, Okayama, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00262-6_11"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS49614.2020.00047"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.22"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2022.3150598"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3589227"},{"key":"ref8","article-title":"Software engineering for self-adaptive robotics: A research agenda","author":"Sartaj","year":"2025","journal-title":"arXiv:2505.19629"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2023.111716"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"ref13","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref14","article-title":"Runtime quantitative verification of self-adaptive systems","author":"Gerasimou","year":"2016"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45989-5_4"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.07.007"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2023-223"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS-C66519.2025.00058"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.10"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0058022"},{"key":"ref22","first-page":"31","article-title":"The probabilistic model checking landscape","volume-title":"Proc. 31st Annu. ACM\/IEEE Symp. Log. Comput. Sci.","author":"Katoen"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57685-5_3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35632-2_30"},{"key":"ref25","first-page":"111","article-title":"Markov chains","volume":"650","author":"Ching","year":"2006","journal-title":"Models, Algorithms Appl."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530882"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.04.001"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00633-z"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS66627.2025.00010"},{"key":"ref33","volume-title":"Grinstead and Snell\u2019s Introduction to Probability","author":"Grinstead","year":"1997"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49224-6_21"},{"key":"ref35","first-page":"18","article-title":"Caching strategies for run-time probabilistic model checking","volume-title":"Proc. 11th Int. Workshop Models@Run.Time","volume":"1742","author":"Nakagawa"},{"key":"ref36","article-title":"A modular program-transformation framework for reducing specifications to reachability","author":"Beyer","year":"2025","journal-title":"arXiv:2501.16310"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2023.3313645"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/11323511\/11479327.pdf?arnumber=11479327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T05:20:07Z","timestamp":1776748807000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11479327\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/access.2026.3682704","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}