{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:06:30Z","timestamp":1780628790862,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642407864","type":"print"},{"value":"9783642407871","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_3","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"40-58","source":"Crossref","is-referenced-by-count":14,"title":["Monitoring of Temporal First-Order Properties with Aggregations"],"prefix":"10.1007","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Felix","family":"Klaedtke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Srdjan","family":"Marinovic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eugen","family":"Z\u0103linescu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","volume-title":"Foundations of Databases","author":"S. Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)"},{"issue":"1","key":"3_CR2","first-page":"19","volume":"26","author":"A. Arasu","year":"2003","unstructured":"Arasu, A., Babcock, B., Babu, S., Datar, M., Ito, K., Motwani, R., Nishizawa, I., Srivastava, U., Thomas, D., Varma, R., Widom, J.: STREAM: The Stanford stream data manager. IEEE Data Eng. Bull.\u00a026(1), 19\u201326 (2003)","journal-title":"IEEE Data Eng. Bull."},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A. Arasu","year":"2006","unstructured":"Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. The VLDB Journal\u00a015(2), 121\u2013144 (2006)","journal-title":"The VLDB Journal"},{"key":"3_CR4","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":"3_CR5","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)"},{"key":"3_CR6","unstructured":"Basin, D., Harvan, M., Klaedtke, F., Z\u0103linescu, E.: Monitoring data usage in distributed systems. IEEE Trans. Software Eng. (to appear), \n                    \n                      http:\/\/doi.ieeecomputersociety.org\/10.1109\/TSE.2013.18"},{"key":"3_CR7","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: Proceedings of the 28th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2008). Leibniz International Proceedings in Informatics (LIPIcs), vol.\u00a02, pp. 49\u201360 (2008)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-29860-8_20","volume-title":"Runtime Verification","author":"D. Basin","year":"2012","unstructured":"Basin, D., Klaedtke, F., Z\u0103linescu, E.: Algorithms for monitoring real-time properties. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol.\u00a07186, pp. 260\u2013275. Springer, Heidelberg (2012)"},{"key":"3_CR9","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)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-35861-6_4","volume-title":"Formal Aspects of Component Software","author":"D. Bianculli","year":"2013","unstructured":"Bianculli, D., Ghezzi, C., San Pietro, P.: The tale of SOLOIST: A specification language for service compositions interactions. In: P\u0103s\u0103reanu, C.S., Sala\u00fcn, G. (eds.) FACS 2012. LNCS, vol.\u00a07684, pp. 55\u201372. Springer, Heidelberg (2013)"},{"issue":"2","key":"3_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."},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1145\/383891.383892","volume":"26","author":"J. Chomicki","year":"2001","unstructured":"Chomicki, J., Toman, D., B\u00f6hlen, M.H.: Querying ATSQL databases with temporal logic. ACM Trans. Database Syst.\u00a026(2), 145\u2013178 (2001)","journal-title":"ACM Trans. Database Syst."},{"key":"3_CR13","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., et al. (eds.) RV 2010. LNCS, vol.\u00a06418, pp. 480\u2013484. Springer, Heidelberg (2010)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Cranor, C., Johnson, T., Spataschek, O., Shkapenyuk, V.: Gigascope: A stream database for network applications. In: Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, pp. 647\u2013651 (2003)","DOI":"10.1145\/872757.872838"},{"key":"3_CR15","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: Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166\u2013174 (2005)"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","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. Form. Method. Syst. Des.\u00a027(3), 253\u2013274 (2005)","journal-title":"Form. Method. Syst. Des."},{"key":"3_CR17","unstructured":"Garcia-Molina, H., Ullman, J.D., Widom, J.: Database systems: The complete book. Pearson Education (2009)"},{"issue":"2","key":"3_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."},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"880","DOI":"10.1145\/502090.502100","volume":"48","author":"L. Hella","year":"2001","unstructured":"Hella, L., Libkin, L., Nurmonen, J., Wong, L.: Logics with aggregate operators. J. ACM\u00a048(4), 880\u2013907 (2001)","journal-title":"J. ACM"},{"issue":"4","key":"3_CR20","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst.\u00a02(4), 255\u2013299 (1990)","journal-title":"Real-Time Syst."},{"issue":"3","key":"3_CR21","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/BF01211555","volume":"5","author":"O. Owe","year":"1993","unstructured":"Owe, O.: Partial logics reconsidered: A conservative approach. Form. Asp. Comput.\u00a05(3), 208\u2013223 (1993)","journal-title":"Form. Asp. Comput."},{"key":"3_CR22","unstructured":"PostgreSQL Global Development Group. PostgreSQL, Version 9.1.4 (2012), \n                    \n                      http:\/\/www.postgresql.org\/"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Sistla, A.P., Wolfson, O.: Temporal conditions and integrity constraints in active database systems. In: Proceedings of the 1995 ACM SIGMOD International Conference on Management of Data, pp. 269\u2013280 (1995)","DOI":"10.1145\/568271.223844"}],"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_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:50:57Z","timestamp":1558079457000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}