{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T15:48:15Z","timestamp":1787068095662,"version":"build-2736575974"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100014440","name":"Ministerio de Ciencia, Innovaci?n y Universidades","doi-asserted-by":"publisher","award":["FPU18-04362"],"award-info":[{"award-number":["FPU18-04362"]}],"id":[{"id":"10.13039\/100014440","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3298329","type":"journal-article","created":{"date-parts":[[2023,7,24]],"date-time":"2023-07-24T13:51:52Z","timestamp":1690206712000},"page":"84091-84112","source":"Crossref","is-referenced-by-count":6,"title":["Decentralized Stream Runtime Verification for Timed Asynchronous Networks"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4429-4966","authenticated-orcid":false,"given":"Luis Miguel","family":"Danielsson","sequence":"first","affiliation":[{"name":"DLSIIS Departamento de Lenguajes y Sistemas Informaticos e Ingenieria del Software, Universidad Politécnica de Madrid, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3927-4773","authenticated-orcid":false,"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Institute, Madrid, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref35","author":"lynch","year":"1996","journal-title":"Distributed Algorithms"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03044-5_10"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2018.00032"},{"key":"ref12","article-title":"Asynchronous wait-free runtime verification and enforcement of linearizability","author":"casta\u00f1eda","year":"2023","journal-title":"arXiv 2301 02638"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67585-5_43"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2020.103993"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/71.774912"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3576841.3585937"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.01.265"},{"key":"ref11","first-page":"28","article-title":"Apache flink: Stream and batch processing in a single engine","volume":"38","author":"carbone","year":"2015","journal-title":"IEEE Data Eng Bull"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2020.100577"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3550483"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"ref1","first-page":"154","article-title":"Exploiting probabilistic trace expressions for decentralized runtime verification with gaps","volume":"3204","author":"ancona","year":"2022","journal-title":"Proc 37th Italian Conf Comput Log"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32079-9_11"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_26"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"ref38","article-title":"Copilot 3","author":"perez","year":"2020"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092723"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_24"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81051-X"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_10"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-17196-3_18"},{"key":"ref48","author":"zorin","year":"2020","journal-title":"Data of heating meters from residential buildings in Tomsk (Russia) for statistical modeling of the thermal characteristics of buildings"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_6"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098224"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"ref41","first-page":"659","article-title":"PrivApprox: Privacy-preserving stream analytics","author":"quoc","year":"2017","journal-title":"Proc USENIX Annu Tech Conf"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00614-2"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-022-00435-z"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3355181"},{"key":"ref43","first-page":"1","article-title":"Decentralised runtime verification of timed regular expressions","volume":"247","author":"roussanaly","year":"2022","journal-title":"Proc 9th Int Symp Temporal Representation Reasoning"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS54860.2022.00012"},{"key":"ref27","first-page":"1","article-title":"Distributed runtime verification under partial synchrony","volume":"184","author":"ganguly","year":"2021","journal-title":"Proc 24th Int Conf Princ Distrib Syst"},{"key":"ref29","first-page":"462","article-title":"Unifying the time-event spectrum for stream runtime verification","volume":"12399","author":"gorostiaga","year":"2020","journal-title":"Runtime Verification"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-27481-7_22"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"ref6","first-page":"19","article-title":"The MonPoly monitoring tool","volume":"3","author":"basin","year":"2017","journal-title":"RV-CuBES"},{"key":"ref5","first-page":"590","article-title":"Failure-aware runtime verification of distributed systems","volume":"45","author":"basin","year":"2015","journal-title":"Proc 35th IARCS Annu Conf Foundations Softw Technol Theor Comput Sci"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-013-0223-x"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10190568.pdf?arnumber=10190568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T14:18:52Z","timestamp":1693837132000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10190568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":48,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3298329","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}