{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:46:51Z","timestamp":1725497211866},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642356315"},{"type":"electronic","value":"9783642356322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35632-2_20","type":"book-chapter","created":{"date-parts":[[2013,1,14]],"date-time":"2013-01-14T19:40:54Z","timestamp":1358192454000},"page":"184-198","source":"Crossref","is-referenced-by-count":20,"title":["MapReduce for Parallel Trace Validation of LTL Properties"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Barre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Klein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxime","family":"Soucy-Boivin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-Antoine","family":"Ollivier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvain","family":"Hall\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","unstructured":"An act to protect investors by improving the accuracy and reliability of corporate disclosures made pursuant to the securities laws, and for other purposes, U.S. Pub.L. 107-204, 116 Stat. 745 (July 30, 2002)"},{"key":"20_CR2","unstructured":"Payment card industry data security standard, version 2.0 (2010), \n                  \n                    https:\/\/www.pcisecuritystandards.org\/security_standards\/pci_dss.shtml"},{"issue":"11","key":"20_CR3","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. Journal of Aerospace Computing, Information, and Communication\u00a07(11), 365\u2013390 (2010)","journal-title":"Journal of Aerospace Computing, Information, and Communication"},{"issue":"3","key":"20_CR4","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H. Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: From Eagle to RuleR. Journal of Logic and Computation\u00a020(3), 675\u2013706 (2010)","journal-title":"Journal of Logic and Computation"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14295-6_1","volume-title":"Computer Aided Verification","author":"D. Basin","year":"2010","unstructured":"Basin, D., Klaedtke, F., M\u00fcller, S.: Policy Monitoring in First-Order Temporal Logic. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 1\u201318. Springer, Heidelberg (2010)"},{"key":"20_CR6","unstructured":"Bauer, A., Falcone, Y.: Decentralized LTL monitoring. Technical Report arXiv:1111.5133v3 (2011)"},{"key":"20_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/BFb0014161","volume-title":"Advances in Database Technology EDBT \u201996","author":"M.H. B\u00f6hlen","year":"1996","unstructured":"B\u00f6hlen, M.H., Chomicki, J., Snodgrass, R.T., Toman, D.: Querying TSQL2 Databases with Temporal Logic. In: Apers, P.M.G., Bouzeghoub, M., Gardarin, G. (eds.) EDBT 1996. LNCS, vol.\u00a01057, pp. 325\u2013341. Springer, Heidelberg (1996)"},{"key":"20_CR8","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press (2000)"},{"key":"20_CR9","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. In: OSDI, pp. 137\u2013150 (2004)"},{"key":"20_CR10","unstructured":"Eisner, C., Fisman, D.: A Practical Introduction to PSL. Springer (2006)"},{"key":"20_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-540-24732-6_11","volume-title":"Model Checking Software","author":"H. Garavel","year":"2004","unstructured":"Garavel, H., Mateescu, R.: SEQ.OPEN: A Tool for Efficient Trace-Based Verification. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol.\u00a02989, pp. 151\u2013157. Springer, Heidelberg (2004)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-88871-0_23","volume-title":"On the Move to Internet Systems: OTM 2008","author":"S. Hall\u00e9","year":"2008","unstructured":"Hall\u00e9, S., Villemaire, R.: XML Methods for Validation of Temporal Properties on Message Traces with Data. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 337\u2013353. Springer, Heidelberg (2008)"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Transactions on Services Computing (2011), doi:10.1109\/TSC.2011.10","DOI":"10.1109\/TSC.2011.10"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02930-1_20","volume-title":"Automata, Languages and Programming","author":"L. Kuhtz","year":"2009","unstructured":"Kuhtz, L., Finkbeiner, B.: LTL Path Checking Is Efficiently Parallelizable. In: Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S., Thomas, W. (eds.) ICALP 2009, Part II. LNCS, vol.\u00a05556, pp. 235\u2013246. Springer, Heidelberg (2009)"},{"issue":"4","key":"20_CR15","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/2094114.2094118","volume":"40","author":"K.-H. Lee","year":"2011","unstructured":"Lee, K.-H., Lee, Y.-J., Choi, H., Chung, Y.D., Moon, B.: Parallel data processing with MapReduce: a survey. SIGMOD Record\u00a040(4), 11\u201320 (2011)","journal-title":"SIGMOD Record"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-540-30232-2_23","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"P. Naldurg","year":"2004","unstructured":"Naldurg, P., Sen, K., Thati, P.: A Temporal Logic Based Framework for Intrusion Detection. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 359\u2013376. Springer, Heidelberg (2004)"},{"key":"20_CR17","unstructured":"Page, L., Brin, S., Motwani, R., Winograd, T.: The PageRank citation ranking: Bringing order to the web. Technical Report 1999-66, Stanford InfoLab (November 1999)"},{"key":"20_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-69850-0_11","volume-title":"25 Years of Model Checking","author":"A. Pnueli","year":"2008","unstructured":"Pnueli, A., Zaks, A.: On the Merits of Temporal Testers. In: Grumberg, O., Veith, H. (eds.) 25 Years of Model Checking. LNCS, vol.\u00a05000, pp. 172\u2013195. Springer, Heidelberg (2008)"},{"issue":"2","key":"20_CR19","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G. Rosu","year":"2005","unstructured":"Rosu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Autom. Softw. Eng.\u00a012(2), 151\u2013197 (2005)","journal-title":"Autom. Softw. Eng."},{"key":"20_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-28872-2_1","volume-title":"Fundamental Approaches to Software Engineering","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P.: Distributed Process Discovery and Conformance Checking. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol.\u00a07212, pp. 1\u201325. Springer, Heidelberg (2012)"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: Specifying and monitoring service flows: Making web services process-aware. In: Baresi, L., Nitto, E.D. (eds.) Test and Analysis of Web Services, pp. 11\u201355. Springer (2007)","DOI":"10.1007\/978-3-540-72912-9_2"},{"key":"20_CR22","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-17722-4_5","volume-title":"Information Systems Evolution","author":"H.M.W. Verbeek","year":"2011","unstructured":"Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol.\u00a072, pp. 60\u201375. Springer, Heidelberg (2011)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35632-2_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T09:21:04Z","timestamp":1620120064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35632-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642356315","9783642356322"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35632-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}