{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T16:40:39Z","timestamp":1761324039761,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,1]]},"DOI":"10.1109\/bigcomp.2016.7425981","type":"proceedings-article","created":{"date-parts":[[2016,3,7]],"date-time":"2016-03-07T21:21:03Z","timestamp":1457385663000},"page":"509-512","source":"Crossref","is-referenced-by-count":11,"title":["A runtime verification framework for dynamically adaptive multi-agent systems"],"prefix":"10.1109","author":[{"given":"Yoo Jin","family":"Lim","sequence":"first","affiliation":[]},{"family":"Gwangui Hong","sequence":"additional","affiliation":[]},{"family":"Donghwan Shin","sequence":"additional","affiliation":[]},{"family":"Eunkyoung Jee","sequence":"additional","affiliation":[]},{"family":"Doo-Hwan Bae","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","first-page":"27","author":"hinchey","year":"2005","journal-title":"Proc Autonomic & Autonomous Space Exploration Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14341-0_24"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-011-0088-x"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Proceedings of the 14th International Conference on Computer Aided Verification ser CAV ‘02"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593944"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1998.0229"},{"key":"ref8","first-page":"169","article-title":"Towards runtime testing of dynamic adaptive systems","author":"fredericks","year":"2013","journal-title":"Software Engineering for Adaptive and Self-Managing Systems (SEAMS) 2013 ICSE Workshop on IEEE"},{"key":"ref7","first-page":"869","article-title":"A synergistic and extensible framework for multi-agent system verification","author":"hunter","year":"2013","journal-title":"Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems International Foundation for Autonomous Agents and Multiagent Systems"},{"key":"ref2","first-page":"15","article-title":"A case study on formal verification of a self-adaptive healthcare system","volume":"16","author":"lim","year":"2014","journal-title":"Proceedings of the 16th Korea Conference on Software Engineering"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36546-1_45"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.18"}],"event":{"name":"2016 International Conference on Big Data and Smart Computing (BigComp)","start":{"date-parts":[[2016,1,18]]},"location":"Hong Kong, China","end":{"date-parts":[[2016,1,20]]}},"container-title":["2016 International Conference on Big Data and Smart Computing (BigComp)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7422342\/7425793\/7425981.pdf?arnumber=7425981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T07:49:51Z","timestamp":1498290591000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7425981\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/bigcomp.2016.7425981","relation":{},"subject":[],"published":{"date-parts":[[2016,1]]}}}