{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:47:40Z","timestamp":1729648060155,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/ipdps.2004.1303336","type":"proceedings-article","created":{"date-parts":[[2004,6,10]],"date-time":"2004-06-10T10:19:45Z","timestamp":1086862785000},"page":"264-271","source":"Crossref","is-referenced-by-count":21,"title":["Program monitoring with LTL in Eagle"],"prefix":"10.1109","author":[{"given":"H.","family":"Barringer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Goldberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Koushik Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40965-6_17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00255-5"},{"key":"16","article-title":"Runtime assurance based on formal specifications","author":"lee","year":"1999","journal-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90074-8"},{"key":"14","article-title":"Generalized symbolic execution for model checking and testing","author":"khurshid","year":"2003","journal-title":"TACAS 2003 Proc"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989799"},{"key":"12","first-page":"342","article-title":"Synthesizing monitors for safety properties","volume":"2280","author":"havelund","year":"2002","journal-title":"Tools and Algorithms for Construction and Analysis of Systems (TACAS'02) Volume 2280 of Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211631"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36498-6_5"},{"volume":"55 89","journal-title":"1st 2nd and 3rd CAV Workshops on Runtime Verification (RV'01 - RV'03) Volume 55(2) 70(4) 89(2) of ENTCS","year":"2001","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989841"},{"key":"7","first-page":"114","article-title":"Monitoring temporal rules combined with time series","volume":"2725","author":"drusinsky","year":"2003","journal-title":"CAV'03 Volume 2725 of LNCS"},{"key":"6","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/10722468_19","article-title":"The temporal rover and the ATG rover","volume":"1885","author":"drusinsky","year":"2000","journal-title":"SPIN Model Checking and Software Verification Volume 1885 of LNCS"},{"key":"5","article-title":"Rule-based runtime verification","author":"barringer","year":"2004","journal-title":"Proceedings of Fifth International VMCAI Conference (VMCAI'04)"},{"journal-title":"EAGLE Does Space Efficient LTL Monitoring","year":"2003","author":"barringer","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017718.28096.48"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-005-3399-3"}],"event":{"name":"18th International Parallel and Distributed Processing Symposium, 2004.","location":"Santa Fe, NM, USA"},"container-title":["18th International Parallel and Distributed Processing Symposium, 2004. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9132\/28950\/01303336.pdf?arnumber=1303336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T03:57:46Z","timestamp":1497585466000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1303336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ipdps.2004.1303336","relation":{},"subject":[]}}