{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:03:35Z","timestamp":1730225015210,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1109\/hldvt.2012.6418247","type":"proceedings-article","created":{"date-parts":[[2013,1,30]],"date-time":"2013-01-30T17:50:54Z","timestamp":1359568254000},"page":"84-91","source":"Crossref","is-referenced-by-count":2,"title":["Monitoring distributed reactive systems"],"prefix":"10.1109","author":[{"given":"Yu","family":"Bai","sequence":"first","affiliation":[]},{"given":"Jens","family":"Brandt","sequence":"additional","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"18","first-page":"245","article-title":"Using runtime analysis to guide model checking of Java programs","volume":"1885","author":"havelund","year":"2000","journal-title":"LNCS"},{"key":"15","first-page":"266","article-title":"Automatic production of globally asynchronous locally synchronous systems","volume":"2491","author":"girault","year":"2002","journal-title":"LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165786"},{"key":"13","first-page":"364","article-title":"Efficient monitoring of omega-languages","volume":"3576","author":"d'amorim","year":"2005","journal-title":"LNCS"},{"journal-title":"What Can You Verify and Enforce at Runtime?","year":"2010","author":"falcone","key":"14"},{"journal-title":"Globally-Asynchronous Locally-Synchronous Systems","year":"1984","author":"chapiro","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69850-0_12"},{"key":"21","first-page":"114","article-title":"Formally specified monitoring of temporal properties","author":"kim","year":"1999","journal-title":"Euromicro Conference on Real-Time Systems (ECRTS)"},{"key":"20","first-page":"342","article-title":"Synthesizing monitors for safety properties","volume":"2280","author":"havelund","year":"2002","journal-title":"LNCS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28717-6_24"},{"key":"26","first-page":"573","article-title":"PSL model checking and run-time verification via testers","volume":"4085","author":"pnueli","year":"2006","journal-title":"LNCS"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2005.10"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309117"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_11"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.798329"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/2038698.2038731"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2009.23"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"key":"6","first-page":"162","article-title":"From synchrony to asynchrony","volume":"1664","author":"benveniste","year":"1999","journal-title":"LNCS"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45449-7_3"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484793"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exn075"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_4"}],"event":{"name":"2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2012,11,9]]},"location":"Huntington Beach, CA, USA","end":{"date-parts":[[2012,11,10]]}},"container-title":["2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6412847\/6418230\/06418247.pdf?arnumber=6418247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:53:07Z","timestamp":1490115187000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6418247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2012.6418247","relation":{},"subject":[],"published":{"date-parts":[[2012,11]]}}}