{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:46Z","timestamp":1725569746396},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_17","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"214-228","source":"Crossref","is-referenced-by-count":9,"title":["Compensation-Aware Runtime Monitoring"],"prefix":"10.1007","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Abela","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"7","key":"17_CR1","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1109\/TSE.2003.1214327","volume":"29","author":"J.H. Andrews","year":"2003","unstructured":"Andrews, J.H., Zhang, Y.: General test result checking with log file analysis. IEEE Trans. Softw. Eng.\u00a029(7), 634\u2013648 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Barringer, H., Groce, A., Havelund, K., Smith, M.: An entry point for formal methods: Specification and analysis of event logs. In: Formal Methods in Aerospace, FMA (2009)","DOI":"10.4204\/EPTCS.20.2"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 209\u2013220 (2005)","DOI":"10.1145\/1040305.1040323"},{"key":"17_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"Coordination Models and Languages","author":"M.J. Butler","year":"2004","unstructured":"Butler, M.J., Ferreira, C.: An operational semantics for stac, a language for modelling long-running business transactions. In: De Nicola, R., Ferrari, G.-L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.\u00a02949, pp. 87\u2013104. Springer, Heidelberg (2004)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: 25 Years Communicating Sequential Processes, pp. 133\u2013150 (2004)","DOI":"10.1007\/11423348_8"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-642-00945-7_6","volume-title":"Trustworthy Global Computing","author":"L. Caires","year":"2009","unstructured":"Caires, L., Ferreira, C., Vieira, H.T.: A process calculus analysis of compensations. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 87\u2013103. Springer, Heidelberg (2009)"},{"key":"17_CR7","first-page":"517","volume-title":"Automated Software Engineering (ASE)","author":"F. Chang","year":"2007","unstructured":"Chang, F., Ren, J.: Validating system properties exhibited in execution traces. In: Automated Software Engineering (ASE), pp. 517\u2013520. ACM, New York (2007)"},{"key":"17_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/978-3-642-03240-0_13","volume-title":"Formal Methods for Industrial Critical Systems","author":"C. Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Dynamic event-based runtime monitoring of real-time and contextual properties. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol.\u00a05596, pp. 135\u2013149. Springer, Heidelberg (2009)"},{"key":"17_CR9","first-page":"33","volume-title":"Software Engineering and Formal Methods (SEFM)","author":"C. Colombo","year":"2009","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: Larva \u2014 safer monitoring of real-time java programs (tool paper). In: Software Engineering and Formal Methods (SEFM), pp. 33\u201337. IEEE Computer Society, Los Alamitos (2009)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Cronin, E., Kurc, A., Filstrup, B., Jamin, S.: An efficient synchronization mechanism for mirrored game architectures. Multimedia Tools Appl. 23(1) (2004)","DOI":"10.1023\/B:MTAP.0000026839.31028.9f"},{"key":"17_CR11","volume-title":"Temporal Representation and Reasoning (TIME 2005)","author":"B. D\u2019Angelo","year":"2005","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: Temporal Representation and Reasoning (TIME 2005). IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Ezust, S.A., Bochmann, G.V.: An automatic trace analysis tool generator for estelle specifications. In: Applications, technologies, architectures, and protocols for computer communication (SIGCOMM), pp. 175\u2013184 (1995)","DOI":"10.1145\/217382.217428"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Garcia-Molina, H., Salem, K.: Sagas. In: SIGMOD 1987: Proceedings of the 1987 ACM SIGMOD international conference on Management of data, pp. 249\u2013259 (1987)","DOI":"10.1145\/38713.38742"},{"key":"17_CR14","unstructured":"Gray, J.: The transaction concept: Virtues and limitations (invited paper). In: Proceedings of 7th International Conference on Very Large Data Bases, Cannes, France, September 9-11, pp. 144\u2013154 (1981)"},{"key":"17_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"C. Guidi","year":"2006","unstructured":"Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 327\u2013338. Springer, Heidelberg (2006)"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-46002-0_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K. Havelund","year":"2002","unstructured":"Havelund, K., Ro\u015fu, G.: Synthesizing monitors for safety properties. In: Katoen, J.-P., Stevens, P. (eds.) TACAS 2002. LNCS, vol.\u00a02280, p. 342. Springer, Heidelberg (2002)"},{"key":"17_CR17","first-page":"384","volume-title":"International Conference on Parallel Processing (ICPP)","author":"D. Jefferson","year":"1983","unstructured":"Jefferson, D.: Virtual time. In: International Conference on Parallel Processing (ICPP), pp. 384\u2013394. IEEE Computer Society, Los Alamitos (1983)"},{"issue":"1","key":"17_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/TMM.2003.819751","volume":"6","author":"M. Mauve","year":"2004","unstructured":"Mauve, M., Vogel, J., Hilt, V., Effelsberg, W.: Local-lag and timewarp: consistency for replicated continuous applications. IEEE Transactions on Multimedia\u00a06(1), 47\u201357 (2004)","journal-title":"IEEE Transactions on Multimedia"},{"key":"17_CR19","unstructured":"Ro\u015fu, G., Havelund, K.: Synthesizing dynamic programming algorithms from linear temporal logic formulae. Technical report, RIACS (2001)"},{"issue":"2","key":"17_CR20","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G. Ro\u015fu","year":"2005","unstructured":"Ro\u015fu, G., Havelund, K.: Rewriting-based techniques for runtime verification. Automated Software Eng.\u00a012(2), 151\u2013197 (2005)","journal-title":"Automated Software Eng."},{"key":"17_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-642-00945-7_13","volume-title":"Trustworthy Global Computing","author":"C. Vaz","year":"2009","unstructured":"Vaz, C., Ferreira, C., Ravara, A.: Dynamic recovering of long running transactions. In: Kaklamanis, C., Nielson, F. (eds.) TGC 2008. LNCS, vol.\u00a05474, pp. 201\u2013215. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:08Z","timestamp":1559800628000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}