{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:36:30Z","timestamp":1770896190118,"version":"3.50.1"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/srds.2018.00032","type":"proceedings-article","created":{"date-parts":[[2019,1,18]],"date-time":"2019-01-18T00:58:16Z","timestamp":1547773096000},"page":"207-212","source":"Crossref","is-referenced-by-count":8,"title":["Crash-Resilient Decentralized Synchronous Runtime Verification"],"prefix":"10.1109","author":[{"given":"Shokoufeh","family":"Kazemlou","sequence":"first","affiliation":[]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(95)00002-A"},{"key":"ref11","first-page":"420","article-title":"Detecting temporal logic predicates on distributed computations","author":"ogale","year":"2007","journal-title":"Proc 21st Int Conf Distributed Comput Syst"},{"key":"ref12","first-page":"420","article-title":"Precision, recall, and sensitivity of monitoring partially synchronous distributed systems","author":"yingchareonthawornchai","year":"2016","journal-title":"Runtime Verification - 16th International Conference RV 2016"},{"key":"ref13","first-page":"277","article-title":"Monitoring partially synchronous distributed systems using SMT solvers","author":"valapil","year":"2017","journal-title":"Runtime Verification - 17th International Conference RV 2017"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14472-6_11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-09510-1_31"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref18","author":"lynch","year":"1996","journal-title":"Distributed Algorithms"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.95"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.19"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0253-8"},{"key":"ref5","first-page":"16:1","article-title":"Decentralized asynchronous crash-resilient runtime verification","author":"bonakdarpour","year":"2016","journal-title":"Proc of the International Conference on Concurrency Theory (CONCUR)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0251-x"},{"key":"ref2","article-title":"First international competition on runtime verification","author":"bartocci","year":"2018","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref9","author":"garg","year":"2002","journal-title":"Elements of Distributed Computing"}],"event":{"name":"2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)","location":"Salvador, Brazil","start":{"date-parts":[[2018,10,2]]},"end":{"date-parts":[[2018,10,5]]}},"container-title":["2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8613699\/8613937\/08613969.pdf?arnumber=8613969","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T22:35:34Z","timestamp":1643236534000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8613969\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/srds.2018.00032","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}