{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T08:33:49Z","timestamp":1791189229237,"version":"4.1.0"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319111636","type":"print"},{"value":"9783319111643","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11164-3_4","type":"book-chapter","created":{"date-parts":[[2014,9,12]],"date-time":"2014-09-12T07:49:11Z","timestamp":1410508151000},"page":"31-47","source":"Crossref","is-referenced-by-count":28,"title":["Scalable Offline Monitoring"],"prefix":"10.1007","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Germano","family":"Caronni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sarah","family":"Ereth","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mat\u00fa\u0161","family":"Harvan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Klaedtke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level. Addison Wesley (1994)"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/BFb0031988","volume-title":"Real-Time: Theory in Practice","author":"R. Alur","year":"1992","unstructured":"Alur, R., Henzinger, T.A.: Logics and models of real time: A survey. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 74\u2013106. Springer, Heidelberg (1992)"},{"key":"4_CR3","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press (2008)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-35632-2_20","volume-title":"Runtime Verification","author":"B. Barre","year":"2013","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.\u00a07687, pp. 184\u2013198. Springer, Heidelberg (2013)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-based runtime verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"4_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.2514\/1.49356","volume":"7","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. J. Aero. Comput. Inform. Comm.\u00a07, 365\u2013390 (2010)","journal-title":"J. Aero. Comput. Inform. Comm."},{"key":"4_CR7","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.\u00a07186, pp. 360\u2013364. Springer, Heidelberg (2012)"},{"issue":"10","key":"4_CR8","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. Software Eng.\u00a039(10), 1403\u20131426 (2013)","journal-title":"IEEE Trans. Software Eng."},{"key":"4_CR9","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: Proceedings of the 28th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a02, pp. 49\u201360. Schloss Dagstuhl - Leibniz Center for Informatics (2008)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-03466-4_6","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"A. Bauer","year":"2009","unstructured":"Bauer, A., Gor\u00e9, R., Tiu, A.: A first-order policy language for history-based transaction monitoring. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol.\u00a05684, pp. 96\u2013111. Springer, Heidelberg (2009)"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J. Chomicki","year":"1995","unstructured":"Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans. Database Syst.\u00a020(2), 149\u2013186 (1995)","journal-title":"ACM Trans. Database Syst."},{"key":"4_CR12","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: Proceedings of the 6th Symposium on Operating System Design and Implementation (OSDI), pp. 137\u2013150. USENIX Association (2004)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-89247-2_6","volume-title":"Runtime Verification","author":"N. Dinesh","year":"2008","unstructured":"Dinesh, N., Joshi, A., Lee, I., Sokolsky, O.: Checking traces for regulatory conformance. In: Leucker, M. (ed.) RV 2008. LNCS, vol.\u00a05289, pp. 86\u2013103. Springer, Heidelberg (2008)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Enderton, H.: A Mathematical Introduction to Logic, 2nd edn. Academic Press (2001)","DOI":"10.1016\/B978-0-08-049646-7.50005-9"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Garg, D., Jia, L., Datta, A.: Policy auditing over incomplete logs: theory, implementation and applications. In: Proceedings of the 18th ACM Conference on Computer and Communications Security (CCS), pp. 151\u2013162. ACM Press (2011)","DOI":"10.1145\/2046707.2046726"},{"key":"4_CR16","unstructured":"Google. Protocol Buffers: Googles Data Interchange Format (2013), http:\/\/code.google.com\/p\/protobuf\/"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Groce, A., Havelund, K., Smith, M.: From scripts to specification: The evaluation of a flight testing effort. In: Proceedings of the 32nd ACM\/IEEE International Conference on Software Engineering (ICSE), vol.\u00a02, pp. 129\u2013138. ACM Press (2010)","DOI":"10.1145\/1810295.1810314"},{"issue":"2","key":"4_CR18","doi-asserted-by":"publisher","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 Trans. Serv. Comput.\u00a05(2), 192\u2013206 (2012)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"F.M. Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: An approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"key":"4_CR20","unstructured":"Marz, N.: STORM: Distributed and fault-tolerant realtime computation, http:\/\/storm-project.net"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Neumeyer, L., Robbins, B., Nair, A., Kesari, A.: S4: Distributed stream computing. In: Proceedings of the 11th International Conference on Data Mining Workshops (ICDMW), pp. 170\u2013177. IEEE Computer Society (2010)","DOI":"10.1109\/ICDMW.2010.172"},{"issue":"1","key":"4_CR22","doi-asserted-by":"crossref","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. Method. Comput. Sci.\u00a08(1), 1\u201347 (2012)","journal-title":"Log. Method. Comput. Sci."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Roger, M., Goubault-Larrecq, J.: Log auditing through model-checking. In: Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW), pp. 220\u2013234. IEEE Computer Society (2001)","DOI":"10.1109\/CSFW.2001.930148"},{"issue":"3","key":"4_CR24","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/69.390251","volume":"7","author":"A.P. Sistla","year":"1995","unstructured":"Sistla, A.P., Wolfson, O.: Temporal triggers in active databases. IEEE Trans. Knowl. Data Eng.\u00a07(3), 471\u2013486 (1995)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"4_CR25","unstructured":"Wikipedia. MurmurHash \u2014 Wikipedia, the free encyclopedia (2013), https:\/\/en.wikipedia.org\/wiki\/MurmurHash"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11164-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T16:05:16Z","timestamp":1746374716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11164-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319111636","9783319111643"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11164-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}