{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T11:37:54Z","timestamp":1770982674200,"version":"3.50.1"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961843","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T20:57:36Z","timestamp":1417035456000},"page":"52-61","source":"Crossref","is-referenced-by-count":16,"title":["Three-valued asynchronous distributed runtime verification"],"prefix":"10.1109","author":[{"given":"Torben","family":"Scheffel","sequence":"first","affiliation":[]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","first-page":"122","article-title":"Temporal Logic with Past is Exponentially More Succinct","volume":"79","author":"markey","year":"2003","journal-title":"Bulletin of the EATCS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"key":"12","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"vardi","year":"1995","journal-title":"Proc Banff Higher Order Workshop"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"2","first-page":"85","volume":"7436","author":"bauer","year":"2012","journal-title":"Decentralised LTL Monitoring"},{"key":"1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","article-title":"An overview of the mop runtime verification framework","volume":"14","author":"meredith","year":"2012","journal-title":"STTT"},{"key":"10","first-page":"56","article-title":"Timestamps in message-passing systems that preserve the partial ordering","volume":"10","author":"fidge","year":"1988","journal-title":"Aust Comput Sci Commun"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"6","first-page":"377","article-title":"A hierarchy of temporal properties","author":"manna","year":"1990","journal-title":"PDOC"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0196-8"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317464"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/214451.214456"}],"event":{"name":"2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)","location":"Lausanne, Switzerland","start":{"date-parts":[[2014,10,19]]},"end":{"date-parts":[[2014,10,21]]}},"container-title":["2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6950639\/6961832\/06961843.pdf?arnumber=6961843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:00:50Z","timestamp":1498179650000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961843","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}