{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T07:10:29Z","timestamp":1734160229919,"version":"3.30.2"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T00:00:00Z","timestamp":1723939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,18]],"date-time":"2024-08-18T00:00:00Z","timestamp":1723939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,8,18]]},"DOI":"10.1109\/indin58382.2024.10774432","type":"proceedings-article","created":{"date-parts":[[2024,12,12]],"date-time":"2024-12-12T19:05:07Z","timestamp":1734030307000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["MARS: Safely Instrumenting Runtime Monitors in Real-Time Resource-Constrained Distributed Systems"],"prefix":"10.1109","author":[{"given":"Giann Spilere","family":"Nandi","sequence":"first","affiliation":[{"name":"Polytechnic Institute of Porto,CISTER,Porto,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Pereira","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto,CISTER,Porto,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Proen\u00e7a","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto,CISTER,Porto,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[{"name":"Polytechnic Institute of Porto,CISTER,Porto,Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Lectures on Runtime Verification","year":"2018","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-021-09376-1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2992868"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-09062-2_2"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3497775.3503685"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2597457.2597458"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34327-8_16"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-021-09384-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JAS.2022.105548"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/857076.857078"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0196-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63486-5_40"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.04.063"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39815-8_3"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.09.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_20"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2015.36"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648010"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICCSS51193.2021.9464217"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75292-9_20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1155\/2011\/720971"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.abm6074"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2020.2968715"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/smr.2239"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99524-9_21"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2846696.2846708"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SASE-CASE.2015.7295845"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TLA.2019.8931137"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837461"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00018"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000016129.97430.c6"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.4108\/eetiot.v8i4.2691"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.12688\/openreseurope.16108.1"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICIT46573.2021.9453575"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s10723-020-09525-z"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1201\/9781315141411"}],"event":{"name":"2024 IEEE 22nd International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2024,8,18]]},"location":"Beijing, China","end":{"date-parts":[[2024,8,20]]}},"container-title":["2024 IEEE 22nd International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10774078\/10774079\/10774432.pdf?arnumber=10774432","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T06:38:06Z","timestamp":1734158286000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10774432\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,18]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/indin58382.2024.10774432","relation":{},"subject":[],"published":{"date-parts":[[2024,8,18]]}}}