{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,15]],"date-time":"2026-05-15T17:07:11Z","timestamp":1778864831973,"version":"3.51.4"},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T00:00:00Z","timestamp":1527811200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Science Foundation","award":["CNS-1239498"],"award-info":[{"award-number":["CNS-1239498"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Systems Journal"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/jsyst.2016.2614599","type":"journal-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T18:44:01Z","timestamp":1477075441000},"page":"1667-1678","source":"Crossref","is-referenced-by-count":29,"title":["Efficient and Scalable Runtime Monitoring for Cyber\u2013Physical System"],"prefix":"10.1109","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2572-2355","authenticated-orcid":false,"given":"Xi","family":"Zheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christine","family":"Julien","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodion","family":"Podorozhny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"Cassez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Rakotoarivelo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_16"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897069"},{"key":"ref33","year":"2015"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_24"},{"key":"ref31","article-title":"Mq telemetry transport (MQTT) v3. 1 protocol specification","author":"locke","year":"2010","journal-title":"IBM's DeveloperWorks Technical Library"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1023\/B:AGNT.0000019690.28073.04"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_31"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2013.77"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/26.103043"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0198-6"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/SEsCPS.2015.11"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICCNC.2013.6504101"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_26"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1303336"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58179-0_39"},{"key":"ref20","author":"hopcroft","year":"1979","journal-title":"Introduction to Automata Theory Languages and Computation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/COMSWA.2008.4554519"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-005-3998-9"},{"key":"ref24","first-page":"496","article-title":"From learning to researching, ease the shift\n through testbeds","author":"jourjon","year":"2010","journal-title":"Proc 6th Int ICST Conf TridentCom 2010"},{"key":"ref23","article-title":"Scalable\n parametric runtime monitoring","author":"dongyun","year":"0","journal-title":"Illinois Digital Environment for Access to Learning and Scholarship iConference"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2183878"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxt043"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2014.6871677"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/MASS.2015.15"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28891-3_37"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/SERE-C.2014.43"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/1614293.1614303"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2010.20"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_18"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-4998-9_6"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/s11036-014-0499-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0182-0"},{"key":"ref11","year":"2013"},{"key":"ref40","year":"0"},{"key":"ref12","article-title":"Really small message broker","author":"craggs","year":"0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15654-0_4"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1995.521898"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0117-6"},{"key":"ref19","author":"hintjens","year":"2013","journal-title":"Zeromq Messaging for Many Applications"},{"key":"ref4","first-page":"168","article-title":"Adaptive runtime verification","author":"bartocc","year":"2012","journal-title":"Runtime Verification"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn076"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"ref8","author":"black","year":"2009","journal-title":"SystemC From the Ground Up From the Ground Up"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-015-5518-4"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224988"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028776"},{"key":"ref46","year":"0"},{"key":"ref45","first-page":"337","article-title":"PDA: Passive distributed assertions for sensor networks","author":"romer","year":"2009","journal-title":"Proc Int Conf Inf Process Sensor Netw"},{"key":"ref48","year":"2015"},{"key":"ref47","author":"tanenbaum","year":"2007","journal-title":"Distributed Systems"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0014711"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.bjp.2013.12.033"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.11.001"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/WCNC.2005.1424763"}],"container-title":["IEEE Systems Journal"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/4267003\/8350419\/7605519-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4267003\/8350419\/07605519.pdf?arnumber=7605519","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:52:01Z","timestamp":1649443921000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7605519\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":60,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/jsyst.2016.2614599","relation":{},"ISSN":["1932-8184","1937-9234","2373-7816"],"issn-type":[{"value":"1932-8184","type":"print"},{"value":"1937-9234","type":"electronic"},{"value":"2373-7816","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,6]]}}}