{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:05:50Z","timestamp":1740096350046,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_6","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"94-111","source":"Crossref","is-referenced-by-count":1,"title":["Distributed Finite-State Runtime Monitoring with Aggregated Events"],"prefix":"10.1007","author":[{"given":"Kevin","family":"Falzon","sequence":"first","affiliation":[]},{"given":"Eric","family":"Bodden","sequence":"additional","affiliation":[]},{"given":"Rahul","family":"Purandare","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Barrett, C., Stump, A., Tinelli, C.: The satisfiability modulo theories library (smt-lib) (April 2013), http:\/\/smtlib.org\/"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-642-35632-2_18","volume-title":"Runtime Verification","author":"E. Bartocci","year":"2013","unstructured":"Bartocci, E., Grosu, R., Karmarkar, A., Smolka, S., Stoller, S., Zadok, E., Seyster, J.: Adaptive runtime verification. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 168\u2013182. Springer, Heidelberg (2013), http:\/\/dx.doi.org\/10.1007\/978-3-642-35632-2_18"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-35632-2_17","volume-title":"Runtime Verification","author":"D. Basin","year":"2013","unstructured":"Basin, D., Klaedtke, F., Marinovic, S., Z\u0103linescu, E.: Monitoring compliance policies over incomplete and disagreeing logs. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 151\u2013167. Springer, Heidelberg (2013), http:\/\/dx.doi.org\/10.1007\/978-3-642-35632-2_17"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-77395-5_11","volume-title":"Runtime Verification","author":"A. Bauer","year":"2007","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: The good, the bad, and the ugly, but how ugly is ugly? In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 126\u2013138. Springer, Heidelberg (2007), http:\/\/dx.doi.org\/10.1007\/978-3-540-77395-5_11"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-77395-5_3","volume-title":"Runtime Verification","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 22\u201337. Springer, Heidelberg (2007), http:\/\/www.bodden.de\/pubs\/bhl+07collaborative.pdf"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Bodden, E., Hendren, L., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. Oxford Journal of Logics and Computation (November 2008), http:\/\/www.bodden.de\/pubs\/bhl+08collaborative.pdf","DOI":"10.1093\/logcom\/exn077"},{"key":"6_CR7","first-page":"481","volume-title":"Derivatives of regular expressions","author":"J.A. Brzozowski","year":"1964","unstructured":"Brzozowski, J.A.: Derivatives of regular expressions, vol.\u00a011, pp. 481\u2013494. ACM, New York (1964), http:\/\/doi.acm.org\/10.1145\/321239.321249"},{"key":"6_CR8","unstructured":"Chen, F., Ro\u015fu, G.: Mop: An efficient and generic runtime verification framework. In: Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, OOPSLA 2007, pp. 569\u2013588. ACM, New York (2007), http:\/\/doi.acm.org\/10.1145\/1297027.1297069"},{"key":"6_CR9","unstructured":"Miller, D., Pearson, B.: Security information and event management (SIEM) implementation. McGraw-Hill (2011)"},{"key":"6_CR10","unstructured":"Neumann, C.: Converting deterministic finite automata to regular expressions (March 2005), http:\/\/neumannhaus.com\/christoph\/papers\/2005-03-16.DFA_to_RegEx.pdf"},{"key":"6_CR11","unstructured":"Steffens, S.: P3 consulting, personal communication, http:\/\/www.p3-consulting.de\/"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-29860-8_15","volume-title":"Runtime Verification","author":"S.D. Stoller","year":"2012","unstructured":"Stoller, S.D., Bartocci, E., Seyster, J., Grosu, R., Havelund, K., Smolka, S.A., Zadok, E.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 193\u2013207. Springer, Heidelberg (2012), http:\/\/dx.doi.org\/10.1007\/978-3-642-29860-8_15"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T02:13:15Z","timestamp":1563934395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}