{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:01:24Z","timestamp":1729659684509,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/iccps.2014.6843716","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T21:09:21Z","timestamp":1406581761000},"page":"115-126","source":"Crossref","is-referenced-by-count":4,"title":["Sacrificing a little space can significantly improve monitoring of time-sensitive cyber-physical systems"],"prefix":"10.1109","author":[{"given":"Ramy","family":"Medhat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","article-title":"Runtime verification with state estimation","author":"stoller","year":"2011","journal-title":"2nd International Conference on Runtime Verification (RV)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen:20060076"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494596"},{"journal-title":"Fuzzy Logic with Engineering Applications","year":"2009","author":"ross","key":"14"},{"key":"11","article-title":"Runtime verification with controllable time predictability and memory utilization","author":"medhat","year":"2013","journal-title":"Technical Report CS-2013-02"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_16"},{"key":"3","first-page":"525","article-title":"A staged static program analysis to improve the performance of runtime monitoring","author":"bodden","year":"2007","journal-title":"Proceedings of the 21st European Conference on Object-Oriented Programming ECOOP'07"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2013.105"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"10","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/s10009-010-0184-4","article-title":"Software monitoring with controllable overhead","volume":"14","author":"huang","year":"2012","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"7","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/11513988_36","article-title":"Efficient monitoring of ?-languages","author":"d'amorim","year":"2005","journal-title":"Proceedings of the 17th International Conference on Computer Aided Verification CAV'05"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1082983.1083249"},{"key":"5","first-page":"1","article-title":"Time-triggered runtime verification","author":"bonakdarpour","year":"2012","journal-title":"Formal Methods in System Design"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_9"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.12"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-11131-4"}],"event":{"name":"2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS)","start":{"date-parts":[[2014,4,14]]},"location":"Berlin, Germany","end":{"date-parts":[[2014,4,17]]}},"container-title":["2014 ACM\/IEEE International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6834857\/6843703\/06843716.pdf?arnumber=6843716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:58:35Z","timestamp":1602691115000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6843716"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/iccps.2014.6843716","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}