{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:23:03Z","timestamp":1759134183705,"version":"3.37.3"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","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:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Key Research and Development Program of China","award":["2018AAA0103202"],"award-info":[{"award-number":["2018AAA0103202"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62202361","62192734","61732013","62172322"],"award-info":[{"award-number":["62202361","62192734","61732013","62172322"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Basic Research Program of Shaanxi","award":["2021JQ-208"],"award-info":[{"award-number":["2021JQ-208"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Parallel Distrib. Syst."],"published-print":{"date-parts":[[2023,1,1]]},"DOI":"10.1109\/tpds.2022.3215854","type":"journal-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T21:50:57Z","timestamp":1667512257000},"page":"76-91","source":"Crossref","is-referenced-by-count":2,"title":["A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties"],"prefix":"10.1109","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1680-3129","authenticated-orcid":false,"given":"Bin","family":"Yu","sequence":"first","affiliation":[{"name":"School of Computer Science and Technology, Xidian University, Xi’an, Shaanxi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5429-4580","authenticated-orcid":false,"given":"Cong","family":"Tian","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University, Xi’an, Shaanxi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xu","family":"Lu","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University, Xi’an, Shaanxi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3870-2505","authenticated-orcid":false,"given":"Nan","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University, Xi’an, Shaanxi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3119-3242","authenticated-orcid":false,"given":"Zhenhua","family":"Duan","sequence":"additional","affiliation":[{"name":"School of Computer Science and Technology, Xidian University, Xi’an, Shaanxi, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2021.3093234"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72685-2_54"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_4"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494596"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2013.105"},{"journal-title":"Network Programming for Microsoft Windows","year":"1999","author":"jones","key":"ref30"},{"article-title":"The design and implementation of P2V, an architecture for zero-overhead online verification of software programs","year":"2007","author":"lu","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1017\/S096012950800738X"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CSCWD.2013.6580942"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0025774"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90036-0"},{"year":"2018","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jpdc.2017.09.003"},{"key":"ref15","first-page":"47","author":"tian","year":"0","journal-title":"Proc Int Conf Theory Appl Models Comput"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2015.08.039"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.09.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-0882-6"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF02944904"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2017.07.032"},{"key":"ref4","first-page":"184","article-title":"MapReduce for parallel trace validation of LTL properties","author":"barre","year":"2012","journal-title":"Proc Int'l Conf Runtime Verification"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2019.12.038"},{"key":"ref3","article-title":"Java PathExplorer: A runtime verification tool","author":"havelund","year":"2001","journal-title":"Int Symp Artificial Intell Robot Automat in Space"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43613-4_5"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2017.2665164"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0226-3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0198-6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2800093"},{"key":"ref1","first-page":"141","article-title":"A tutorial on runtime verification","volume":"34","author":"falcone","year":"2013","journal-title":"Engineering Dependable Software Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.98"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2876333"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2018.2806349"},{"journal-title":"Temporal Logic and Temporal Logic Programming","year":"2005","author":"duan","key":"ref24"},{"article-title":"An extended interval temporal logic and a framing technique for temporal logic programming","year":"1996","author":"duan","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69507-3_49"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-6059-4"}],"container-title":["IEEE Transactions on Parallel and Distributed Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/71\/9956797\/09925650.pdf?arnumber=9925650","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,12]],"date-time":"2022-12-12T19:31:47Z","timestamp":1670873507000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9925650\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,1]]},"references-count":39,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tpds.2022.3215854","relation":{},"ISSN":["1045-9219","1558-2183","2161-9883"],"issn-type":[{"type":"print","value":"1045-9219"},{"type":"electronic","value":"1558-2183"},{"type":"electronic","value":"2161-9883"}],"subject":[],"published":{"date-parts":[[2023,1,1]]}}}