{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:19:36Z","timestamp":1740107976037,"version":"3.37.3"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T00:00:00Z","timestamp":1617235200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,6,5]],"date-time":"2021-06-05T00:00:00Z","timestamp":1622851200000},"content-version":"vor","delay-in-days":65,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100003006","name":"ETH Zurich","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100003006","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,4]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Online monitoring is the task of identifying complex temporal patterns while incrementally processing streams of data-carrying events. Existing state-of-the-art monitors for first-order patterns, which may refer to and quantify over data values, can process streams of modest velocity in real-time. We show how to scale up first-order monitoring to substantially higher velocities by slicing the stream, based on the events\u2019 data values, into substreams that can be monitored independently. Because monitoring is not embarrassingly parallel in general, slicing can lead to data duplication. To reduce this overhead, we adapt hash-based partitioning techniques from databases to the monitoring setting. We implement these techniques in an automatic data slicer based on Apache Flink and empirically evaluate its performance using two tools\u2014MonPoly and DejaVu\u2014to monitor the substreams. Our evaluation attests to substantial scalability improvements for both tools.<\/jats:p>","DOI":"10.1007\/s10009-021-00607-1","type":"journal-article","created":{"date-parts":[[2021,6,5]],"date-time":"2021-06-05T13:02:33Z","timestamp":1622898153000},"page":"185-208","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Scalable online first-order monitoring"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8253-4513","authenticated-orcid":false,"given":"Joshua","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2952-939X","authenticated-orcid":false,"given":"David","family":"Basin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frederik","family":"Brix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8314-2589","authenticated-orcid":false,"given":"Sr\u0111an","family":"Krsti\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7982-2768","authenticated-orcid":false,"given":"Dmitriy","family":"Traytel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,5]]},"reference":[{"key":"607_CR1","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, London (1995)"},{"unstructured":"Afrati, F.N., Joglekar, M.R., R\u00e9, C., Salihoglu, S., Ullman, J.D.: GYM: A multiround distributed join algorithm. In: ICDT 2017, LIPIcs, vol.\u00a068, pp. 4:1\u20134:18. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik (2017)","key":"607_CR2"},{"issue":"9","key":"607_CR3","doi-asserted-by":"publisher","first-page":"1282","DOI":"10.1109\/TKDE.2011.47","volume":"23","author":"FN Afrati","year":"2011","unstructured":"Afrati, F.N., Ullman, J.D.: Optimizing multiway joins in a map-reduce environment. IEEE Trans. Knowl. Data Eng. 23(9), 1282\u20131298 (2011)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"6","key":"607_CR4","doi-asserted-by":"publisher","first-page":"939","DOI":"10.1007\/s00778-014-0357-y","volume":"23","author":"A Alexandrov","year":"2014","unstructured":"Alexandrov, A., Bergmann, R., Ewen, S., Freytag, J., Hueske, F., Heise, A., Kao, O., Leich, M., Leser, U., Markl, V., Naumann, F., Peters, M., Rheinl\u00e4nder, A., Sax, M.J., Schelter, S., H\u00f6ger, M., Tzoumas, K., Warneke, D.: The Stratosphere platform for big data analytics. VLDB J. 23(6), 939\u2013964 (2014)","journal-title":"VLDB J."},{"doi-asserted-by":"crossref","unstructured":"Barre, B., Klein, M., Soucy-Boivin, M., Ollivier, P.A., Hall\u00e9, S.: MapReduce for parallel trace validation of LTL properties. In: Qadeer, S., Tasiran, S. (eds.) RV 2012, LNCS, vol. 7687, pp. 184\u2013198. Springer (2012)","key":"607_CR5","DOI":"10.1007\/978-3-642-35632-2_20"},{"doi-asserted-by":"crossref","unstructured":"Barringer, H., Falcone, Y., Havelund, K., Reger, G., Rydeheard, D.E.: 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 (2012)","key":"607_CR6","DOI":"10.1007\/978-3-642-32759-9_9"},{"doi-asserted-by":"crossref","unstructured":"Bartocci, E., Bonakdarpour, B., Falcone, Y.: First international competition on software for runtime verification. In: Bonakdarpour, B., Smolka , S.A. (eds.) RV 2014, LNCS, vol. 8734, pp. 1\u20139. Springer (2014)","key":"607_CR7","DOI":"10.1007\/978-3-319-11164-3_1"},{"doi-asserted-by":"crossref","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification, LNCS, vol. 10457, pp. 1\u201333. Springer (2018)","key":"607_CR8","DOI":"10.1007\/978-3-319-75632-5_1"},{"doi-asserted-by":"crossref","unstructured":"Basin, D., Bhatt, B., Traytel, D.: Almost event-rate independent monitoring of metric temporal logic. In: Legay, A., Margaria, T. (eds.) TACAS 2017, LNCS, vol. 10206, pp. 94\u2013112. Springer (2017)","key":"607_CR9","DOI":"10.1007\/978-3-662-54580-5_6"},{"issue":"1\u20132","key":"607_CR10","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1007\/s10703-016-0242-y","volume":"49","author":"D Basin","year":"2016","unstructured":"Basin, D., Caronni, G., Ereth, S., Harvan, M., Klaedtke, F., Mantel, H.: Scalable offline monitoring of temporal specifications. Form. Methods Syst. Des. 49(1\u20132), 75\u2013108 (2016)","journal-title":"Form. Methods Syst. Des."},{"doi-asserted-by":"crossref","unstructured":"Basin, D., Dardinier, T., Heimes, L., Krsti\u0107, S., Raszyk, M., Schneider, J., Traytel, D.: A formally verified, optimized monitor for metric first-order dynamic logic. In: Peltier, N., Sofronie-Stokkermans, V. (eds.) IJCAR 2020, LNCS, vol. 12166, pp. 432\u2013453. Springer (2020)","key":"607_CR11","DOI":"10.1007\/978-3-030-51074-9_25"},{"doi-asserted-by":"crossref","unstructured":"Basin, D., Gras, M., Krsti\u0107, S., Schneider, J.: Scalable online monitoring of distributed systems. In: Deshmukh, J., Nickovic, D. (eds.) RV 2020, LNCS, vol. 12399, pp. 197\u2013220. Springer (2020)","key":"607_CR12","DOI":"10.1007\/978-3-030-60508-7_11"},{"issue":"10","key":"607_CR13","doi-asserted-by":"publisher","first-page":"1403","DOI":"10.1109\/TSE.2013.18","volume":"39","author":"D Basin","year":"2013","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: Monitoring data usage in distributed systems. IEEE Trans. Softw. Eng. 39(10), 1403\u20131426 (2013)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"607_CR14","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/2699444","volume":"62","author":"D Basin","year":"2015","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Z\u0103linescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 15:1\u201315:45 (2015)","journal-title":"J. ACM"},{"unstructured":"Basin, D., Klaedtke, F., Z\u0103linescu, E.: The MonPoly monitoring tool. In: Reger, G., Havelund, K. (eds.) RV-CuBES 2017, Kalpa Publications in Computing, vol.\u00a03, pp. 19\u201328. EasyChair (2017)","key":"607_CR15"},{"doi-asserted-by":"crossref","unstructured":"Basin, D., Krsti\u0107, S., Traytel, D.: Almost event-rate independent monitoring of metric dynamic logic. In: Lahiri, S., Reger, G. (eds.) RV 2017, LNCS, vol. 10548, pp. 85\u2013102. Springer (2017)","key":"607_CR16","DOI":"10.1007\/978-3-319-67531-2_6"},{"doi-asserted-by":"crossref","unstructured":"Bauer, A., K\u00fcster, J., Vegliach, G.: From propositional to first-order monitoring. In: Legay, A., Bensalem, S. (eds.) RV 2013, LNCS, vol. 8174, pp. 59\u201375. Springer (2013)","key":"607_CR17","DOI":"10.1007\/978-3-642-40787-1_4"},{"issue":"4","key":"607_CR18","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"doi-asserted-by":"crossref","unstructured":"Beame, P., Koutris, P., Suciu, D.: Skew in parallel query processing. In: Hull, R., Grohe, M. (eds.) PODS 2014, pp. 212\u2013223. ACM (2014)","key":"607_CR19","DOI":"10.1145\/2594538.2594558"},{"issue":"6","key":"607_CR20","doi-asserted-by":"publisher","first-page":"40:1","DOI":"10.1145\/3125644","volume":"64","author":"P Beame","year":"2017","unstructured":"Beame, P., Koutris, P., Suciu, D.: Communication steps for parallel query processing. J. ACM 64(6), 40:1\u201340:58 (2017)","journal-title":"J. ACM"},{"doi-asserted-by":"crossref","unstructured":"Bersani, M.M., Bianculli, D., Ghezzi, C., Krsti\u0107, S., San Pietro, P.: Efficient large-scale trace checking using MapReduce. In: Dillon, L.K., Visser, W., Williams, L. (eds.) ICSE 2016, pp. 888\u2013898. ACM (2016)","key":"607_CR21","DOI":"10.1145\/2884781.2884832"},{"doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., Krsti\u0107, S.: Trace checking of metric temporal logic with aggregating modalities using MapReduce. In: Giannakopoulou, D., Sala\u00fcn, G. (eds.) SEFM 2014, LNCS, vol. 8702, pp. 144\u2013158. Springer (2014)","key":"607_CR22","DOI":"10.1007\/978-3-319-10431-7_11"},{"doi-asserted-by":"crossref","unstructured":"Bundala, D., Ouaknine, J.: On the complexity of temporal-logic path checking. In: Esparza, J., Fraigniaud, P., Husfeldt, T., Koutsoupias, E. (eds.) ICALP 2014, LNCS, vol. 8573, pp. 86\u201397. Springer (2014)","key":"607_CR23","DOI":"10.1007\/978-3-662-43951-7_8"},{"issue":"12","key":"607_CR24","first-page":"1718","volume":"10","author":"P Carbone","year":"2017","unstructured":"Carbone, P., Ewen, S., F\u00f3ra, G., Haridi, S., Richter, S., Tzoumas, K.: State management in Apache Flink\u00ae: consistent stateful distributed stream processing. PVLDB 10(12), 1718\u20131729 (2017)","journal-title":"PVLDB"},{"doi-asserted-by":"crossref","unstructured":"Chothia, Z., Liagouris, J., Dimitrova, D.C., Roscoe, T.: Online reconstruction of structural information from datacenter logs. In: EuroSys 2017, pp. 344\u2013358. ACM (2017)","key":"607_CR25","DOI":"10.1145\/3064176.3064195"},{"doi-asserted-by":"crossref","unstructured":"Chu, S., Balazinska, M., Suciu, D.: From theory to practice: Efficient join query evaluation in a parallel database system. In: Sellis, T.K., Davidson, S.B., Ives, Z.G. (eds.) SIGMOD 2015, pp. 63\u201378. ACM (2015)","key":"607_CR26","DOI":"10.1145\/2723372.2750545"},{"issue":"1","key":"607_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00778-009-0172-z","volume":"19","author":"G Cormode","year":"2010","unstructured":"Cormode, G., Hadjieleftheriou, M.: Methods for finding frequent items in data streams. VLDB J. 19(1), 3\u201320 (2010)","journal-title":"VLDB J."},{"unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI 2004, pp. 137\u2013150. USENIX Association (2004)","key":"607_CR28"},{"doi-asserted-by":"crossref","unstructured":"Falcone, Y., Krsti\u0107, S., Reger, G., Traytel, D.: A taxonomy for classifying runtime verification tools. In: Colombo, C., Leucker, M. (eds.) RV 2018, LNCS, vol. 11237, pp. 241\u2013262. Springer (2018)","key":"607_CR29","DOI":"10.1007\/978-3-030-03769-7_14"},{"unstructured":"Fania, C.: Self-adaptive online monitoring. Bachelor\u2019s thesis, ETH Z\u00fcrich (2019)","key":"607_CR30"},{"issue":"3:19","key":"607_CR31","first-page":"1","volume":"13","author":"S Feng","year":"2017","unstructured":"Feng, S., Lohrey, M., Quaas, K.: Path checking for MTL and TPTL over data words. Log. Methods Comput. Sci. 13(3:19), 1\u201334 (2017)","journal-title":"Log. Methods Comput. Sci."},{"issue":"1 & 2","key":"607_CR32","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/0743-1066(92)90048-8","volume":"14","author":"S Ganguly","year":"1992","unstructured":"Ganguly, S., Silberschatz, A., Tsur, S.: Parallel bottom-up processing of Datalog queries. J. Log. Program. 14(1 & 2), 101\u2013126 (1992)","journal-title":"J. Log. Program."},{"unstructured":"Hall\u00e9, S., Khoury, R.: Event stream processing with BeepBeep 3. In: Reger, G., Havelund, K. (eds.) RV-CuBES 2017, Kalpa Publications in Computing, vol.\u00a03, pp. 81\u201388. EasyChair (2017)","key":"607_CR33"},{"doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Khoury, R., Gaboury, S.: Event stream processing with multiple threads. In: Lahiri, S.K. , Reger, G. (eds.) RV 2017, LNCS, vol. 10548, pp. 359\u2013369. Springer (2017)","key":"607_CR34","DOI":"10.1007\/978-3-319-67531-2_22"},{"doi-asserted-by":"crossref","unstructured":"Havelund, K., Peled, D.: Efficient runtime verification of first-order temporal properties. In: Gallardo, M., Merino, P. (eds.) SPIN 2018, LNCS, vol. 10869, pp. 26\u201347. Springer (2018)","key":"607_CR35","DOI":"10.1007\/978-3-319-94111-0_2"},{"doi-asserted-by":"crossref","unstructured":"Havelund, K., Peled, D., Ulus, D.: First order temporal logic monitoring with BDDs. In: Stewart, D., Weissenbacher, G. (eds.) FMCAD 2017, pp. 116\u2013123. IEEE (2017)","key":"607_CR36","DOI":"10.23919\/FMCAD.2017.8102249"},{"issue":"4","key":"607_CR37","doi-asserted-by":"publisher","first-page":"810","DOI":"10.1007\/s00224-017-9811-8","volume":"62","author":"M Joglekar","year":"2018","unstructured":"Joglekar, M., R\u00e9, C.: It\u2019s all a matter of degree-using degree information to optimize multiway joins. Theory Comput. Syst. 62(4), 810\u2013853 (2018)","journal-title":"Theory Comput. Syst."},{"unstructured":"Koutris, P., Beame, P., Suciu, D.: Worst-case optimal algorithms for parallel query processing. In: Martens, W., Zeume, T. (eds.) ICDT 2016, LIPIcs, vol.\u00a048, pp. 8:1\u20138:18. Schloss Dagstuhl\u2013Leibniz-Zentrum f\u00fcr Informatik (2016)","key":"607_CR38"},{"doi-asserted-by":"crossref","unstructured":"Kuhtz, L., Finkbeiner, B.: LTL path checking is efficiently parallelizable. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S.E., Thomas, W. (eds.) ICALP 2009, LNCS, vol. 5556, pp. 235\u2013246. Springer (2009)","key":"607_CR39","DOI":"10.1007\/978-3-642-02930-1_20"},{"issue":"5","key":"607_CR40","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Progr. 78(5), 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Progr."},{"unstructured":"Nagmote, S., Phadnis, P.: Massive scale data processing at Netflix using Flink. Flink Forward San Francisco 2019. https:\/\/web.archive.org\/web\/20201028074037https:\/\/www.ververica.com\/blog\/flink-forward-session-preview-massive-scale-data-processing-at-netflix (2019). Accessed 28 Oct 2020","key":"607_CR41"},{"doi-asserted-by":"crossref","unstructured":"Nasir, M.A.U., Morales, G.D.F., Garc\u00eda-Soriano, D., Kourtellis, N., Serafini, M.: The power of both choices: practical load balancing for distributed stream processing engines. In: Gehrke, J., Lehner, W., Shim, K., Cha, S.K., Lohman, G.M. (eds.) ICDE 2015, pp. 137\u2013148. IEEE Computer Society (2015)","key":"607_CR42","DOI":"10.1109\/ICDE.2015.7113279"},{"unstructured":"Nasir, M.A.U., Morales, G.D.F., Kourtellis, N., Serafini, M.: When two choices are not enough: Balancing at scale in distributed stream processing. In: ICDE 2016, pp. 589\u2013600. IEEE Computer Society (2016)","key":"607_CR43"},{"doi-asserted-by":"crossref","unstructured":"Okcan, A., Riedewald, M.: Processing theta-joins using MapReduce. In: Sellis, T.K., Miller, R.J., Kementsietsidis, A., Velegrakis, Y. (eds.) SIGMOD 2011, pp. 949\u2013960. ACM (2011)","key":"607_CR44","DOI":"10.1145\/1989323.1989423"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A., Zaks, A.: PSL model checking and run-time verification via testers. In: Misra, J., Nipkow, T., Sekerinski E. (eds.) FM 2006, LNCS, vol. 4085, pp. 573\u2013586. Springer (2006)","key":"607_CR45","DOI":"10.1007\/11813040_38"},{"doi-asserted-by":"crossref","unstructured":"Raszyk, M., Basin, D., Krsti\u0107, S., Traytel, D.: Multi-head monitoring of metric temporal logic. In: Chen, Y., Cheng, C., Esparza, J. (eds.) ATVA 2019, LNCS, vol. 11781, pp. 151\u2013170. Springer (2019)","key":"607_CR46","DOI":"10.1007\/978-3-030-31784-3_9"},{"doi-asserted-by":"crossref","unstructured":"Raszyk, M., Basin, D., Traytel, D.: Multi-head monitoring of metric dynamic logic. In: Hung, D.V., Sokolsky, O. (eds.) ATVA 2020, LNCS, vol. 12302, pp. 233\u2013250. Springer (2020)","key":"607_CR47","DOI":"10.1007\/978-3-030-59152-6_13"},{"doi-asserted-by":"crossref","unstructured":"Reger, G., Rydeheard, D.E.: From first-order temporal logic to parametric trace slicing. In: Bartocci, E., Majumdar, R. (eds.) RV 2015, LNCS, vol. 9333, pp. 216\u2013232. Springer (2015)","key":"607_CR48","DOI":"10.1007\/978-3-319-23820-3_14"},{"doi-asserted-by":"crossref","unstructured":"Rivetti, N., Querzoni, L., Anceaume, E., Busnel, Y., Sericola, B.: Efficient key grouping for near-optimal load balancing in stream processing systems. In: Eliassen, F., Vitenberg, R. (eds.) DEBS 2015, pp. 80\u201391. ACM (2015)","key":"607_CR49","DOI":"10.1145\/2675743.2771827"},{"key":"607_CR50","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2168\/LMCS-8(1:9)2012","volume":"8","author":"G Ro\u015fu","year":"2012","unstructured":"Ro\u015fu, G., Chen, F.: Semantics and algorithms for parametric monitoring. Log. Methods Comput. Sci. 8, 1 (2012)","journal-title":"Log. Methods Comput. Sci."},{"doi-asserted-by":"crossref","unstructured":"Schneider, J., Basin, D., Brix, F., Krsti\u0107, S., Traytel, D.: Scalable online first-order monitoring. In: Colombo, C., Leucker, M. (eds.) RV 2018, LNCS, vol. 11237, pp. 353\u2013371. Springer (2018)","key":"607_CR51","DOI":"10.1007\/978-3-030-03769-7_20"},{"doi-asserted-by":"crossref","unstructured":"Schneider, J., Basin, D., Brix, F., Krsti\u0107, S., Traytel, D.: Adaptive online first-order monitoring. In: Chen, Y., Cheng, C., Esparza, J. (eds.) ATVA 2019, LNCS, vol. 11781, pp. 133\u2013150. Springer (2019)","key":"607_CR52","DOI":"10.1007\/978-3-030-31784-3_8"},{"unstructured":"Schneider, J., Basin, D., Brix, F., Krsti\u0107, S., Traytel, D.: Implementation associated with this paper. https:\/\/bitbucket.org\/krle\/scalable-online-monitor (2019)","key":"607_CR53"},{"doi-asserted-by":"crossref","unstructured":"Schneider, J., Basin, D., Krsti\u0107, S., Traytel, D.: A formally verified monitor for metric first-order temporal logic. In: Finkbeiner, B., Mariani, L. (eds.) RV 2019, LNCS, vol. 11757, pp. 310\u2013328. Springer (2019)","key":"607_CR54","DOI":"10.1007\/978-3-030-32079-9_18"},{"doi-asserted-by":"crossref","unstructured":"Schneider, J., Traytel, D.: Formalization of a monitoring algorithm for metric first-order temporal logic. Archive of Formal Proofs (2019). https:\/\/devel.isa-afp.org\/entries\/MFOTL_Monitor.html. Entry point Slicing.thy","key":"607_CR55","DOI":"10.1007\/978-3-030-32079-9_18"},{"doi-asserted-by":"crossref","unstructured":"Suri, S., Vassilvitskii, S.: Counting triangles and the curse of the last reducer. In: Srinivasan, S., Ramamritham, K., Kumar, A., Ravindra, M.P., Bertino, E., Kumar, R. (eds.) WWW 2011, pp. 607\u2013614. ACM (2011)","key":"607_CR56","DOI":"10.1145\/1963405.1963491"},{"unstructured":"The Nokia case study log file. https:\/\/sourceforge.net\/projects\/monpoly\/files\/ldcc.tar\/download (2014)","key":"607_CR57"},{"issue":"13","key":"607_CR58","first-page":"1553","volume":"9","author":"A Vitorovic","year":"2016","unstructured":"Vitorovic, A., Elseidy, M., Guliyev, K., Minh, K.V., Espino, D., Dashti, M., Klonatos, Y., Koch, C.: Squall: scalable real-time analytics. PVLDB 9(13), 1553\u20131556 (2016)","journal-title":"PVLDB"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00607-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00607-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00607-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,17]],"date-time":"2021-06-17T14:11:29Z","timestamp":1623939089000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00607-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,4]]}},"alternative-id":["607"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00607-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2021,4]]},"assertion":[{"value":"12 January 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 June 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}