{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,1]],"date-time":"2025-07-01T11:52:16Z","timestamp":1751370736869,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"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":[[2019,4]]},"DOI":"10.1109\/wf-iot.2019.8767281","type":"proceedings-article","created":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:04:42Z","timestamp":1563825882000},"page":"674-679","source":"Crossref","is-referenced-by-count":1,"title":["Evaluation of Distributed Query-Based Monitoring over Data Distribution Service"],"prefix":"10.1109","author":[{"given":"Marton","family":"Bur","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Varro","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2014.2302638"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2015.47"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2013.01.010"},{"article-title":"Fundamentals of algebraic graph transformation (monographs in theoretical computer science. an eatcs series). secaucus","year":"2006","author":"ehrig","key":"ref10"},{"key":"ref11","first-page":"101","article-title":"Using models at runtime to address assurance for self-adaptive systems","author":"cheng","year":"2011","journal-title":"Models run time"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2555612"},{"article-title":"Distributed models@run.time for runtime verification of cyber-physical systems","year":"0","author":"bur","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2003.1203555"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2342509.2342513"},{"key":"ref16","first-page":"460","article-title":"MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems","volume":"10811","author":"voros","year":"2018","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75396-6_16"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2183878"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21732-6_12"},{"key":"ref28","first-page":"418","article-title":"Observation of global properties in distributed systems","author":"garg","year":"1996","journal-title":"SEKE Citeseer"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.69"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/JPROC.2011.2161529","article-title":"Toward a science of cyberphysical system integration","volume":"100","author":"sztipanovits","year":"2012","journal-title":"Proceedings of the IEEE"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0309-2"},{"year":"0","author":"zheng","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_17"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"ref7","first-page":"111","article-title":"Distributed graph queries for runtime monitoring of cyber-physical systems","author":"bur","year":"2018","journal-title":"7th International Conference in Fundamental Approaches to Software Engineering (FASE)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2794381"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-013-0394-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0533-1"},{"key":"ref22","first-page":"22","article-title":"Headways on high speed lines","author":"emery","year":"2011","journal-title":"The World Congress on Railway Research"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.tre.2007.04.001"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2487766.2487772"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.18293\/SEKE2017-048"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092723"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(82)90020-0"}],"event":{"name":"2019 IEEE 5th World Forum on Internet of Things (WF-IoT'19)","start":{"date-parts":[[2019,4,15]]},"location":"Limerick, Ireland","end":{"date-parts":[[2019,4,18]]}},"container-title":["2019 IEEE 5th World Forum on Internet of Things (WF-IoT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8764305\/8767167\/08767281.pdf?arnumber=8767281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,17]],"date-time":"2022-07-17T17:48:25Z","timestamp":1658080105000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8767281\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/wf-iot.2019.8767281","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}