{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:11:57Z","timestamp":1760202717903,"version":"3.37.3"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_6","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T11:41:08Z","timestamp":1474285268000},"page":"68-91","source":"Crossref","is-referenced-by-count":27,"title":["When RV Meets CEP"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"unstructured":"Esper. http:\/\/espertech.com","key":"6_CR1"},{"unstructured":"LINQ (language-integrated query). http:\/\/msdn.microsoft.com\/en-us\/library\/bb397926.aspx","key":"6_CR2"},{"unstructured":"Simple API for XML. http:\/\/docs.oracle.com\/javaee\/1.4\/tutorial\/doc\/JAXPSAX.html . Accessed 13 Dec 2013","key":"6_CR3"},{"unstructured":"StreamBase SQL. http:\/\/streambase.com","key":"6_CR4"},{"unstructured":"VoltDB. http:\/\/voltdb.com","key":"6_CR5"},{"unstructured":"Abadi, D.J., Ahmad, Y., Balazinska, M., \u00c7etintemel, U., Cherniack, M., Hwang, J.H., Lindner, W., Maskey, A., Rasin, A., Ryvkina, E., Tatbul, N., Xing, Y., Zdonik, S.B.: The design of the Borealis stream processing engine. In: CIDR, pp. 277\u2013289 (2005)","key":"6_CR6"},{"unstructured":"Arasu, A., Babcock, B., Babu, S., Cieslewicz, J., Datar, M., Ito, K., Motwani,R., Srivastava, U., Widom, J.: Stream: the stanford data stream management system. Technical report 2004-20, Stanford InfoLab (2004). http:\/\/ilpubs.stanford.edu:8090\/641\/","key":"6_CR7"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-32759-9_9","volume-title":"FM 2012: Formal Methods","author":"H Barringer","year":"2012","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.: Quantified event automata: towards expressive and efficient runtime monitors. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 68\u201384. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-32759-9_9"},{"issue":"3","key":"6_CR9","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D.E., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. J. Log. Comput. 20(3), 675\u2013706 (2010)","journal-title":"J. Log. Comput."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-642-29860-8_27","volume-title":"Runtime Verification","author":"D Basin","year":"2012","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: MONPOLY: monitoring usage-control policies. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 360\u2013364. Springer, Heidelberg (2012). doi: 10.1007\/978-3-642-29860-8_27"},{"issue":"3","key":"6_CR11","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/s10703-015-0222-7","volume":"46","author":"DA Basin","year":"2015","unstructured":"Basin, D.A., Klaedtke, F., Marinovic, S., Zalinescu, E.: Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46(3), 262\u2013285 (2015). http:\/\/dx.doi.org\/10.1007\/s10703-015-0222-7","journal-title":"Formal Methods Syst. Des."},{"doi-asserted-by":"crossref","unstructured":"Berry, A., Milosevic, Z.: Real-time analytics for legacy data streams in health: Monitoring health data quality. In: Gasevic, D., Hatala, M., Nezhad, H.R.M., Reichert, M. (eds.) EDOC, pp. 91\u2013100. IEEE (2013)","key":"6_CR12","DOI":"10.1109\/EDOC.2013.19"},{"issue":"3","key":"6_CR13","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1093\/logcom\/exn077","volume":"20","author":"E Bodden","year":"2010","unstructured":"Bodden, E., Hendren, L.J., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with Tracematches. J. Log. Comput. 20(3), 707\u2013723 (2010)","journal-title":"J. Log. Comput."},{"doi-asserted-by":"crossref","unstructured":"Brenna, L., Gehrke, J., Hong, M., Johansen, D.: Distributed event stream processing with non-deterministic finite automata. In: Gokhale, A.S., Schmidt, D.C. (eds.) DEBS. ACM (2009)","key":"6_CR14","DOI":"10.1145\/1619258.1619263"},{"doi-asserted-by":"crossref","unstructured":"Chandrasekaran, S., Cooper, O., Deshpande, A., Franklin, M.J., Hellerstein, J.M., Hong, W., Krishnamurthy, S., Madden, S., Raman, V., Reiss, F., Shah, M.A.: TelegraphCQ: continuous dataflow processing for an uncertain world. In: CIDR (2003)","key":"6_CR15","DOI":"10.1145\/872757.872857"},{"unstructured":"Cheng, K., Krishnakumar, A.S.: Automatic functional test generation using theextended finite state machine model. In: DAC, pp. 86\u201391 (1993). http:\/\/doi.acm.org\/10.1145\/157485.164585","key":"6_CR16"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-642-16612-9_38","volume-title":"Runtime Verification","author":"C Colombo","year":"2010","unstructured":"Colombo, C., Gauci, A., Pace, G.J.: LarvaStat: monitoring of statistical properties. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 480\u2013484. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-16612-9_38"},{"doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA - safer monitoring of real-time Java programs (tool paper). In: Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 33\u201337. IEEE Computer Society, November 2009","key":"6_CR18","DOI":"10.1109\/SEFM.2009.13"},{"doi-asserted-by":"crossref","unstructured":"D\u2019Angelo, B., Sankaranarayanan, S., S\u00e1nchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23\u201325 June 2005, Burlington, Vermont, USA, pp. 166\u2013174. IEEE Computer Society (2005). http:\/\/dx.doi.org\/10.1109\/TIME.2005.26","key":"6_CR19","DOI":"10.1109\/TIME.2005.26"},{"unstructured":"Erlingsson, \u00da., Pistoia, M. (eds.) Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM (2008)","key":"6_CR20"},{"doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246\u2013255 (2000)","key":"6_CR21","DOI":"10.1109\/SECPRI.2000.848461"},{"unstructured":"Fegaras, L., Dash, R.K., Wang, Y.: A fully pipelined XQuery processor. In: XIME-P (2006)","key":"6_CR22"},{"issue":"3","key":"6_CR23","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10703-005-3399-3","volume":"27","author":"B Finkbeiner","year":"2005","unstructured":"Finkbeiner, B., Sankaranarayanan, S., Sipma, H.: Collecting statistics over runtime executions. Formal Methods Syst. Des. 27(3), 253\u2013274 (2005). http:\/\/dx.doi.org\/10.1007\/s10703-005-3399-3","journal-title":"Formal Methods Syst. Des."},{"unstructured":"Fry, C., Sagar, D.: Streaming API for XML, JSR 173 specification (2003). https:\/\/www.jcp.org\/aboutJava\/communityprocess\/final\/jsr173\/","key":"6_CR24"},{"doi-asserted-by":"crossref","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: OOPSLA, pp. 385\u2013402 (2005)","key":"6_CR25","DOI":"10.1145\/1094811.1094841"},{"doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Gaboury, S., Bouchard, B.: Towards user activity recognition through energy usage analysis and complex event processing. In: PETRA. ACM (2016)","key":"6_CR26","DOI":"10.1145\/2910674.2910707"},{"doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Varvaressos, S.: A formalization of complex event stream processing. In: Reichert, M., Rinderle-Ma, S., Grossmann, G. (eds.) 18th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2014, Ulm, Germany, September 1\u20135, 2014, pp. 2\u201311. IEEE Computer Society (2014). http:\/\/dx.doi.org\/10.1109\/EDOC.2014.12","key":"6_CR27","DOI":"10.1109\/EDOC.2014.12"},{"doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime monitoring of web service choreographies using streaming XML. In: Shin, S.Y., Ossowski, S. (eds.) SAC, pp. 2118\u20132125. ACM (2009)","key":"6_CR28","DOI":"10.1145\/1529282.1529752"},{"issue":"2","key":"6_CR29","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE T. Serv. Comput. 5(2), 192\u2013206 (2012)","journal-title":"IEEE T. Serv. Comput."},{"unstructured":"Krishnan, R., Goldstein, J., Raizman, A.: A hitchhiker\u2019s guide to StreamInsight queries, version 2.1 (2012). http:\/\/support.sas.com\/documentation\/onlinedoc\/dfdmstudio\/2.4\/dfU_ELRG.pdf","key":"6_CR30"},{"unstructured":"Luckham, D.C.: The power of events - An introduction to complex event processing in distributed enterprise systems. ACM (2005)","key":"6_CR31"},{"doi-asserted-by":"crossref","unstructured":"Martin, M.C., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA, pp. 365\u2013383 (2005)","key":"6_CR32","DOI":"10.1145\/1094811.1094840"},{"issue":"3","key":"6_CR33","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/s10009-011-0198-6","volume":"14","author":"PO Meredith","year":"2012","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Rosu, G.: An overview of the MOP runtime verification framework. STTT 14(3), 249\u2013289 (2012). http:\/\/dx.doi.org\/10.1007\/s10009-011-0198-6","journal-title":"STTT"},{"unstructured":"Perera, S., Suhothayan, S., Vivekanandalingam, M., Fremantle, P., Weerawarana, S.: Solving the grand challenge using an opensource CEP engine. In: Bellur,U., Kothari, R. (eds.) The 8th ACM International Conference on Distributed Event-Based Systems, DEBS 2014, Mumbai, India, May 26\u201329, 2014, pp.288\u2013293. ACM (2014). http:\/\/doi.acm.org\/10.1145\/2611286.2611331","key":"6_CR34"},{"key":"6_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-662-46681-0_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Reger","year":"2015","unstructured":"Reger, G., Cruz, H.C., Rydeheard, D.: MarQ: monitoring at runtime with QEA. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 596\u2013610. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-46681-0_55"},{"key":"6_CR36","doi-asserted-by":"crossref","DOI":"10.4018\/978-1-60566-988-5","volume-title":"Health Information Systems: Concepts, Methodologies, Tools, and Applications","author":"J Rodrigues","year":"2010","unstructured":"Rodrigues, J.: Health Information Systems: Concepts, Methodologies, Tools, and Applications, vol. 1. IGI Global, Hershey (2010)"},{"issue":"4","key":"6_CR37","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4), 109\u2013124 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Varvaressos, S., Lavoie, K., Gaboury, S., Hall\u00e9, S.: Automated bug finding in video games: A case study for runtime monitoring. ACM Computers in Entertainment (2014, in press)","key":"6_CR38","DOI":"10.1109\/ICST.2014.27"},{"doi-asserted-by":"crossref","unstructured":"Wu, E., Diao, Y., Rizvi, S.: High-performance complex event processing over streams. In: Chaudhuri, S., Hristidis, V., Polyzotis, N. (eds.) SIGMOD Conference, pp. 407\u2013418. ACM (2006)","key":"6_CR39","DOI":"10.1145\/1142473.1142520"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T19:09:27Z","timestamp":1498331367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}