{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T19:26:26Z","timestamp":1725909986360},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319675305"},{"type":"electronic","value":"9783319675312"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-67531-2_22","type":"book-chapter","created":{"date-parts":[[2017,9,5]],"date-time":"2017-09-05T05:33:37Z","timestamp":1504589617000},"page":"359-369","source":"Crossref","is-referenced-by-count":10,"title":["Event Stream Processing with Multiple Threads"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Khoury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"Gaboury","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,9,6]]},"reference":[{"key":"22_CR1","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":"22_CR2","unstructured":"Apache Software Foundation. Samza. Accessed 1st December 2016"},{"key":"22_CR3","unstructured":"Apache Software Foundation. Storm incubation status. Accessed 1st December 2016"},{"issue":"6","key":"22_CR4","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/69.180605","volume":"4","author":"PMG Apers","year":"1992","unstructured":"Apers, P.M.G., van den Berg, C.A., Flokstra, J., Grefen, P.W.P.J., Kersten, M.L., Wilschut, A.N.: PRISMA\/DB: a parallel main memory relational DBMS. IEEE Trans. Knowl. Data Eng. 4(6), 541\u2013554 (1992)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"1\u20132","key":"22_CR5","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/s10703-016-0242-y","volume":"49","author":"DA Basin","year":"2016","unstructured":"Basin, D.A., Caronni, G., Ereth, S., Harvan, M., Klaedtke, F., Mantel, H.: Scalable offline monitoring of temporal specifications. Formal Methods Syst. Des. 49(1\u20132), 75\u2013108 (2016)","journal-title":"Formal Methods Syst. Des."},{"issue":"3","key":"22_CR6","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/s10703-015-0226-3","volume":"46","author":"S Berkovich","year":"2015","unstructured":"Berkovich, S., Bonakdarpour, B., Fischmeister, S.: Runtime verification with minimal intrusion through parallelism. Formal Methods Syst. Des. 46(3), 317\u2013348 (2015)","journal-title":"Formal Methods Syst. Des."},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Brenna, L., Demers, A.J., Gehrke, J., Hong, M., Ossher, J., Panda, B., Riedewald, M., Thatte, M., White, W.M.: Cayuga: a high-performance event processing engine. In: Chan, C.Y., Ooi, B.C., Zhou, A. (eds.) Proceedings of the ACM SIGMOD International Conference on Management of Data, Beijing, China, June 12\u201314, 2007, pp. 1100\u20131102. ACM (2007)","DOI":"10.1145\/1247480.1247620"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), vol. 995(1072), p. 5 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Runtime Verification","year":"2016","unstructured":"Falcone, Y., S\u00e1nchez, C. (eds.): RV 2016. LNCS, vol. 10012. Springer, Cham (2016)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Ganguly, S., Hasan, W., Krishnamurthy, R.: Query optimization for parallel execution. In: Stonebraker, M. (ed.) Proceedings of the 1992 ACM SIGMOD International Conference on Management of Data, San Diego, California, June 2\u20135, 1992, pp. 9\u201318. ACM Press (1992)","DOI":"10.1145\/130283.130291"},{"key":"22_CR11","doi-asserted-by":"crossref","first-page":"2030","DOI":"10.1007\/978-0-387-39940-9_1078","volume-title":"Encyclopedia of Database Systems","author":"G Graefe","year":"2009","unstructured":"Graefe, G.: Parallel query execution algorithms. In: Liu, L., \u00d6zsu, M.T. (eds.) Encyclopedia of Database Systems, pp. 2030\u20132035. Springer, New York (2009)"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1145\/1639949.1640101","volume":"44","author":"J Ha","year":"2009","unstructured":"Ha, J., Arnold, M., Blackburn, S.M., McKinley, K.S.: A concurrent dynamic analysis framework for multicore hardware. ACM SIGPLAN Not. 44, 155\u2013174 (2009). ACM","journal-title":"ACM SIGPLAN Not."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S.: LabPal: repeatable computer experiments made easy. In: Bultan, T., Sen, K. (eds.) International Symposium on Software Testing and Analysis, ISSTA 2017, Santa Barbara, CA, USA, July 10\u201314, 2017, pp. 404\u2013407. ACM (2013)","DOI":"10.1145\/3092703.3098232"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Khoury, R., Gaboury, S.: Event stream processing with multiple threads (extended version). CoRR, abs\/1707.02600 (2017)","DOI":"10.1007\/978-3-319-67531-2_22"},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1186\/s13677-015-0032-x","volume":"4","author":"S Hall\u00e9","year":"2015","unstructured":"Hall\u00e9, S., Soucy-Boivin, M.: MapReduce for parallel trace validation of LTL properties. J. Cloud Comp. 4, 8 (2015)","journal-title":"J. Cloud Comp."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S.: When RV meets CEP. In: Falcone and S\u00e1nchez [9], pp. 68\u201391","DOI":"10.1007\/978-3-319-46982-9_6"},{"key":"22_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/10722468_20","volume-title":"SPIN Model Checking and Software Verification","author":"JJ Harrow","year":"2000","unstructured":"Harrow, J.J.: Runtime checking of multithreaded applications with visual threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, pp. 331\u2013342. Springer, Heidelberg (2000). doi: 10.1007\/10722468_20"},{"key":"22_CR18","unstructured":"Krikellas, K., Viglas, S., Cintra, M.: Modeling multithreaded query execution on chip multiprocessors. In: Bordawekar, R., Lang, C.A. (eds.) International Workshop on Accelerating Data Management Systems Using Modern Processor and Storage Architectures - ADMS 2010, Singapore, September 13, 2010, pp. 22\u201333 (2010)"},{"issue":"4","key":"22_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-8(4:10)2012","volume":"8","author":"L Kuhtz","year":"2012","unstructured":"Kuhtz, L., Finkbeiner, B.: Efficient parallel path checking for linear-time temporal logic with past and bounds. Log. Methods Comput. Sci. 8(4), 1\u201324 (2012)","journal-title":"Log. Methods Comput. Sci."},{"key":"22_CR20","unstructured":"Li, K., Kavi, M., Naz, A., Sweany, P.H.: Speculative thread execution in a multithreaded dataflow architecture. In: Peterson, G.D. (ed.) Proceedings of the ISCA 19th International Conference on Parallel and Distributed Computing Systems, September 20\u201311, 2006, San Francisco, California, USA, pp. 102\u2013107. ISCA (2006)"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Luo, Q., Rosu, G.: EnforceMOP: a runtime property enforcement system for multithreaded programs. In: Pezz\u00e8, M., Harman, M. (eds.) International Symposium on Software Testing and Analysis, ISSTA 2013, Lugano, Switzerland, July 15\u201320, 2013, pp. 156\u2013166. ACM (2013)","DOI":"10.1145\/2483760.2483766"},{"key":"22_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/978-3-319-33693-0_10","volume-title":"Integrated Formal Methods","author":"H Nazarpour","year":"2016","unstructured":"Nazarpour, H., Falcone, Y., Bensalem, S., Bozga, M., Combaz, J.: Monitoring multi-threaded component-based systems. In: \u00c1brah\u00e1m, E., Huisman, M. (eds.) IFM 2016. LNCS, vol. 9681, pp. 141\u2013159. Springer, Cham (2016). doi: 10.1007\/978-3-319-33693-0_10"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Neumeyer, L., Robbins, B., Nair, A., Kesari, A.: S4: distributed stream computing platform. In: Fan, W., Hsu, W., Webb, G.I., Liu, B., Zhang, C., Gunopulos, D., Wu, X. (eds.) ICDMW 2010, The 10th IEEE International Conference on Data Mining Workshops, Sydney, Australia, 13 December 2010, pp. 170\u2013177. IEEE Computer Society (2010)","DOI":"10.1109\/ICDMW.2010.172"},{"key":"22_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-92859-1_18","volume-title":"High Performance Computing for Computational Science - VECPAR 2008","author":"M Paes","year":"2008","unstructured":"Paes, M., Lima, A.A.B., Valduriez, P., Mattoso, M.: High-performance query processing of a real-world OLAP database with ParGRES. In: Palma, J.M.L.M., Amestoy, P.R., Dayd\u00e9, M., Mattoso, M., Lopes, J.C. (eds.) VECPAR 2008. LNCS, vol. 5336, pp. 188\u2013200. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-92859-1_18"},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Pellizzoni, R., Meredith, P., Caccamo, M., Rosu, G.: Hardware runtime monitoring for dependable cots-based real-time embedded systems. In: Real-Time Systems Symposium, pp. 481\u2013491. IEEE (2008)","DOI":"10.1109\/RTSS.2008.43"},{"issue":"3","key":"22_CR26","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/s10009-011-0210-1","volume":"14","author":"S Qadeer","year":"2012","unstructured":"Qadeer, S., Tasiran, S.: Runtime verification of concurrency-specific correctness criteria. STTT 14(3), 291\u2013305 (2012)","journal-title":"STTT"},{"key":"22_CR27","doi-asserted-by":"crossref","unstructured":"Reger, G., Hall\u00e9, S., Falcone, Y.: Third international competition on runtime verification - CRV 2016. In: Falcone and S\u00e1nchez [9], pp. 21\u201337","DOI":"10.1007\/978-3-319-46982-9_3"},{"issue":"4","key":"22_CR28","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.E.: Eraser: a dynamic data race detector for multithreaded programs. ACM Trans. Comput. Syst. 15(4), 391\u2013411 (1997)","journal-title":"ACM Trans. Comput. Syst."},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Sen, K., Rosu, G., Agha, G.: Runtime safety analysis of multithreaded programs. In: Paakki, J., Inverardi, P. (eds.) Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC\/FSE 2003, Helsinki, Finland, September 1\u20135, 2003, pp. 337\u2013346. ACM (2003)","DOI":"10.1145\/940071.940116"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-67531-2_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T23:35:22Z","timestamp":1602891322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-67531-2_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319675305","9783319675312"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-67531-2_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}