{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T02:59:30Z","timestamp":1791341970721,"version":"4.3.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,5,1]],"date-time":"2024-05-01T00:00:00Z","timestamp":1714521600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"United States National Science Foundation CCF","award":["2102106"],"award-info":[{"award-number":["2102106"]}]},{"name":"CCF","award":["2118356"],"award-info":[{"award-number":["2118356"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Dependable and Secure Comput."],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1109\/tdsc.2023.3265566","type":"journal-article","created":{"date-parts":[[2023,4,10]],"date-time":"2023-04-10T19:43:19Z","timestamp":1681155799000},"page":"1017-1031","source":"Crossref","is-referenced-by-count":2,"title":["Crash-Resilient Decentralized Synchronous Runtime Verification"],"prefix":"10.1109","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9923-7587","authenticated-orcid":false,"given":"Ritam","family":"Ganguly","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7884-4718","authenticated-orcid":false,"given":"Shokufeh","family":"Kazemloo","sequence":"additional","affiliation":[{"name":"Clinical Data Science Engineer Rad AI, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1800-5419","authenticated-orcid":false,"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Michigan State University, East Lansing, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-017-0454-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2013.19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.95"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3550483"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0253-8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0251-x"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"ref9","volume-title":"Elements of Distributed Computing","author":"Garg","year":"2002"},{"issue":"2","key":"ref10","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0167-6423(95)00002-A","article-title":"Verifying programs that use causally-ordered message-passing","volume":"24","author":"Stoller","year":"1995","journal-title":"Sci. Comput. Prog."},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75142-7_32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_17"},{"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.21236\/ADA155071"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67585-5_43"},{"key":"ref19","volume-title":"Distributed Algorithms","author":"Lynch","year":"1996"},{"key":"ref20","volume-title":"Computers and Intractability: A. Guide to the Theory of NP-Completeness","author":"Garey","year":"1979"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-013-0188-x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSC.2001.918927"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-004-0117-0"},{"key":"ref28","first-page":"20:1","article-title":"Distributed runtime verification under partial synchrony","volume-title":"Proc. 24th Int. Conf. Princ. Distrib. Syst.","author":"Ganguly"}],"container-title":["IEEE Transactions on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8858\/10530496\/10098659-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8858\/10530496\/10098659.pdf?arnumber=10098659","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,15]],"date-time":"2024-05-15T17:46:15Z","timestamp":1715795175000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10098659\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5]]},"references-count":28,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tdsc.2023.3265566","relation":{},"ISSN":["1545-5971","1941-0018","2160-9209"],"issn-type":[{"value":"1545-5971","type":"print"},{"value":"1941-0018","type":"electronic"},{"value":"2160-9209","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5]]}}}