{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T12:26:21Z","timestamp":1725798381362},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319104300"},{"type":"electronic","value":"9783319104317"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10431-7_11","type":"book-chapter","created":{"date-parts":[[2014,8,4]],"date-time":"2014-08-04T05:27:28Z","timestamp":1407130048000},"page":"144-158","source":"Crossref","is-referenced-by-count":17,"title":["Trace Checking of Metric Temporal Logic with Aggregating Modalities Using MapReduce"],"prefix":"10.1007","author":[{"given":"Domenico","family":"Bianculli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlo","family":"Ghezzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sr\u0111an","family":"Krsti\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoreotical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoreotical Computer Science"},{"key":"11_CR2","unstructured":"Apache Software Foundation: Hadoop MapReduce, \n                    \n                      http:\/\/hadoop.apache.org\/mapreduce\/"},{"key":"11_CR3","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":"11_CR4","unstructured":"Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking in the cloud. Tech. Rep. 1310.6670, Cornell University (October 2013), \n                    \n                      http:\/\/arxiv.org\/abs\/1310.6670"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Bersani, M.M., Bianculli, D., Ghezzi, C., Krsti\u0107, S., San Pietro, P.: SMT-based checking of SOLOIST over sparse traces. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol.\u00a08411, pp. 276\u2013290. Springer, Heidelberg (2014)","DOI":"10.1007\/978-3-642-54804-8_19"},{"key":"11_CR6","unstructured":"Bianculli, D., Ghezzi, C., Krsti\u0107, S.: Trace checking of metric temporal logic with aggregating modalities using MapReduce (2014) (extended version), \n                    \n                      http:\/\/hdl.handle.net\/10993\/16806"},{"key":"11_CR7","unstructured":"Bianculli, D., Ghezzi, C., Krsti\u0107, S., San Pietro, P.: From SOLOIST to CLTLB(\n                    \n                      \n                    \n                    $\\mathcal{D}$\n                  ): Checking quantitative properties of service-based applications. Tech. Rep. 2013.26, Politecnico di Milano - Dipartimento di Elettronica, Informazione e Bioingegneria (October 2013)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: a case study in service-based applications. In: Proc. of ICSE 2012, pp. 968\u2013976. IEEE Computer Society (2012)","DOI":"10.1109\/ICSE.2012.6227125"},{"key":"11_CR9","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":"8","key":"11_CR10","doi-asserted-by":"publisher","first-page":"1709","DOI":"10.1016\/j.jss.2012.03.056","volume":"85","author":"G. Cugola","year":"2012","unstructured":"Cugola, G., Margara, A.: Complex event processing with T-REX. J. Syst. Softw.\u00a085(8), 1709\u20131728 (2012)","journal-title":"J. Syst. Softw."},{"issue":"1","key":"11_CR11","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1327452.1327492","volume":"51","author":"J. Dean","year":"2008","unstructured":"Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. Commun. ACM\u00a051(1), 107\u2013113 (2008)","journal-title":"Commun. ACM"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proc. of FMSP 1998, pp. 7\u201315. ACM (1998)","DOI":"10.1145\/298595.298598"},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/201024.201034","volume":"3","author":"M. Felder","year":"1994","unstructured":"Felder, M., Morzenti, A.: Validating real-time systems by history-checking TRIO specifications. ACM Trans. Softw. Eng. Methodol.\u00a03(4), 308\u2013339 (1994)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/3-540-48234-2_3","volume-title":"Theoretical and Practical Aspects of SPIN Model Checking","author":"F. Lerda","year":"1999","unstructured":"Lerda, F., Sisto, R.: Distributed-memory model checking with SPIN. In: Dams, D., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol.\u00a01680, pp. 22\u201339. Springer, Heidelberg (1999)"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-642-35632-2_14","volume-title":"Runtime Verification","author":"A. Mrad","year":"2013","unstructured":"Mrad, A., Ahmed, S., Hall\u00e9, S., Beaudet, \u00c9.: Babeltrace: A collection of transducers for trace validation. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol.\u00a07687, pp. 126\u2013130. Springer, Heidelberg (2013)"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Pradella, M., Morzenti, A., San Pietro, P.: Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol.\u00a022(3), 20:1\u201320:54 (2013)","DOI":"10.1145\/2491509.2491514"},{"key":"11_CR17","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","Software Engineering and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10431-7_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T09:26:37Z","timestamp":1558949197000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10431-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319104300","9783319104317"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10431-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}