{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:05:07Z","timestamp":1760043907434},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102249","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T21:49:00Z","timestamp":1510264140000},"page":"116-123","source":"Crossref","is-referenced-by-count":46,"title":["First order temporal logic monitoring with BDDs"],"prefix":"10.23919","author":[{"given":"Klaus","family":"Havelund","sequence":"first","affiliation":[]},{"given":"Doron","family":"Peled","sequence":"additional","affiliation":[]},{"given":"Dogan","family":"Ulus","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0380-3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSC.2011.10"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0309-2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46002-0_24"},{"journal-title":"JavaBDD","year":"0","key":"ref15"},{"key":"ref16","first-page":"89","author":"henriksen","year":"1995","journal-title":"Mona Monadic Second-Order Logic in Practice TACAS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00254-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90041-Y"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"ref3","first-page":"166","author":"d'angelo","year":"2005","journal-title":"LOLA Runtime Monitoring of Synchronous Systems TIME"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_10"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2699444"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BF01782772"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/1094811.1094839","article-title":"Adding trace matching with free variables to AspectJ","author":"allan","year":"2005","journal-title":"OOPSLA"},{"key":"ref9","first-page":"428","article-title":"Symbolic Model Checking","author":"burch","year":"1990","journal-title":"1020 States and Beyond LICS"},{"key":"ref20","article-title":"An overview of the MOP runtime verification framework","author":"meredith","year":"2011","journal-title":"J Software Tools for Technology Transfer"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_8"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_55"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102249.pdf?arnumber=8102249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,28]],"date-time":"2023-08-28T08:22:38Z","timestamp":1693210958000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102249","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}