{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:56:17Z","timestamp":1762458977510},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2012,3,8]],"date-time":"2012-03-08T00:00:00Z","timestamp":1331164800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10703-012-0142-8","type":"journal-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T14:21:39Z","timestamp":1331130099000},"page":"269-294","source":"Crossref","is-referenced-by-count":21,"title":["Safer asynchronous runtime monitoring using compensations"],"prefix":"10.1007","volume":"41","author":[{"given":"Christian","family":"Colombo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Patrick","family":"Abela","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,3,8]]},"reference":[{"issue":"7","key":"142_CR1","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TSE.2003.1214327","volume":"29","author":"JH Andrews","year":"2003","unstructured":"Andrews JH, Zhang Y (2003) General test result checking with log file analysis. IEEE Trans Softw Eng 29(7):634\u2013648","journal-title":"IEEE Trans Softw Eng"},{"key":"142_CR2","series-title":"Electronic proceedings in theoretical computer science (EPTCS)","volume-title":"Formal methods in aerospace (FMA)","author":"H Barringer","year":"2009","unstructured":"Barringer H, Groce A, Havelund K, Smith M (2009) An entry point for formal methods: Specification and analysis of event logs. In: Formal methods in aerospace (FMA). Electronic proceedings in theoretical computer science (EPTCS)"},{"key":"142_CR3","first-page":"209","volume-title":"Principles of programming languages (POPL)","author":"R Bruni","year":"2005","unstructured":"Bruni R, Melgratti H, Montanari U (2005) Theoretical foundations for compensations in flow composition languages. In: Principles of programming languages (POPL). ACM, New York, pp\u00a0209\u2013220"},{"key":"142_CR4","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-24634-3_9","volume-title":"COORDINATION","author":"MJ Butler","year":"2004","unstructured":"Butler MJ, Ferreira C (2004) An operational semantics for StAC, a language for modelling long-running business transactions. In: COORDINATION. Lecture notes in computer science, vol 2949, pp\u00a087\u2013104"},{"key":"142_CR5","series-title":"Lecture notes in computer science","first-page":"133","volume-title":"25 years communicating sequential processes","author":"MJ Butler","year":"2004","unstructured":"Butler MJ, Hoare CAR, Ferreira C (2004) A trace semantics for long-running transactions. In: 25 years communicating sequential processes. Lecture notes in computer science, vol 3525. Springer, Berlin, pp\u00a0133\u2013150"},{"key":"142_CR6","series-title":"Lecture notes in computer science","volume-title":"Trustworthy global computing (TGC)","author":"L Caires","year":"2008","unstructured":"Caires L, Ferreira C, Vieira HT (2008) A process calculus analysis of compensations. In: Trustworthy global computing (TGC). Lecture notes in computer science, vol\u00a05474. Springer, Berlin"},{"key":"142_CR7","first-page":"517","volume-title":"Automated software engineering (ASE)","author":"F Chang","year":"2007","unstructured":"Chang F, Ren J (2007) Validating system properties exhibited in execution traces. In: Automated software engineering (ASE). ACM, New York, pp\u00a0517\u2013520"},{"key":"142_CR8","series-title":"Lecture notes in computer science","first-page":"135","volume-title":"Formal methods for industrial critical systems (FMICS)","author":"C Colombo","year":"2008","unstructured":"Colombo C, Pace GJ, Schneider G (2008) Dynamic event-based runtime monitoring of real-time and contextual properties. In: Formal methods for industrial critical systems (FMICS). Lecture notes in computer science, vol 5596. Springer, Berlin, pp\u00a0135\u2013149"},{"key":"142_CR9","first-page":"33","volume-title":"Software engineering and formal methods (SEFM)","author":"C Colombo","year":"2009","unstructured":"Colombo C, Pace GJ, Schneider G (2009) Larva\u2014safer monitoring of real-time Java programs (tool paper). In: Software engineering and formal methods (SEFM). IEEE, New York, pp\u00a033\u201337"},{"key":"142_CR10","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1007\/978-3-642-16612-9_38","volume-title":"Runtime verification (RV)","author":"C Colombo","year":"2010","unstructured":"Colombo C, Gauci A, Pace GJ (2010) Larvastat: Monitoring of statistical properties. In: Runtime verification (RV). Lecture notes in computer science, vol\u00a06418. Springer, Berlin, pp\u00a0480\u2013484"},{"key":"142_CR11","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1007\/978-3-642-16612-9_17","volume-title":"Runtime verification\u00a0(RV)","author":"C Colombo","year":"2010","unstructured":"Colombo C, Pace GJ, Abela P (2010) Compensation-aware runtime monitoring. In: Runtime verification\u00a0(RV). Lecture notes in computer science, vol 6418. Springer, Berlin, pp\u00a0214\u2013228"},{"issue":"1","key":"142_CR12","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/B:MTAP.0000026839.31028.9f","volume":"23","author":"E Cronin","year":"2004","unstructured":"Cronin E, Kurc A, Filstrup B, Jamin S (2004) An efficient synchronization mechanism for mirrored game architectures. Multimed Tools Appl 23(1):7\u201330","journal-title":"Multimed Tools Appl"},{"key":"142_CR13","volume-title":"Temporal representation and reasoning (TIME)","author":"B D\u2019Angelo","year":"2005","unstructured":"D\u2019Angelo B, Sankaranarayanan S, S\u00e1nchez C, Robinson W, Finkbeiner B, Sipma HB, Mehrotra S, Manna Z (2005) Lola: Runtime monitoring of synchronous systems. In: Temporal representation and reasoning (TIME). IEEE, New York"},{"key":"142_CR14","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/217382.217428","volume-title":"Applications, technologies, architectures, and protocols for computer communication (SIGCOMM)","author":"SA Ezust","year":"1995","unstructured":"Ezust SA, Bochmann GV (1995) An automatic trace analysis tool generator for Estelle specifications. In: Applications, technologies, architectures, and protocols for computer communication (SIGCOMM). ACM, New York, pp 175\u2013184"},{"key":"142_CR15","first-page":"249","volume-title":"SIGMOD international conference on management of data","author":"H Garcia-Molina","year":"1987","unstructured":"Garcia-Molina H, Salem K (1987) Sagas. In: SIGMOD international conference on management of data. ACM, New York, pp 249\u2013259"},{"key":"142_CR16","unstructured":"Gray J (1981) The transaction concept: Virtues and limitations (invited paper). In: Very large data bases, pp 144\u2013154. VLDB endowment"},{"key":"142_CR17","series-title":"Lecture notes in computer science","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1007\/11948148_27","volume-title":"Service-oriented computing (ICSOC)","author":"C Guidi","year":"2006","unstructured":"Guidi C, Lucchi R, Gorrieri R, Busi N, Zavattaro G (2006) SOCK: A calculus for service oriented computing. In: Service-oriented computing (ICSOC). Lecture notes in computer science, vol 4294. Springer, New York, pp 327\u2013338"},{"key":"142_CR18","doi-asserted-by":"crossref","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 (2002) Synthesizing monitors for safety properties. In: Tools and algorithms for the construction and analysis of systems. Springer, Berlin, pp\u00a0342\u2013356"},{"key":"142_CR19","first-page":"384","volume-title":"International conference on parallel processing (ICPP)","author":"D Jefferson","year":"1983","unstructured":"Jefferson D (1983) Virtual time. In: International conference on parallel processing (ICPP). IEEE, New York, pp\u00a0384\u2013394"},{"issue":"1","key":"142_CR20","doi-asserted-by":"crossref","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 (2004) Local-lag and timewarp: consistency for replicated continuous applications. IEEE Trans Multimed 6(1):47\u201357","journal-title":"IEEE Trans Multimed"},{"key":"142_CR21","unstructured":"Ro\u015fu G, Havelund K (2001) Synthesizing dynamic programming algorithms from linear temporal logic formulae. Technical report, RIACS"},{"issue":"2","key":"142_CR22","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G Ro\u015fu","year":"2005","unstructured":"Ro\u015fu G, Havelund K (2005) Rewriting-based techniques for runtime verification. Autom Softw Eng 12(2):151\u2013197","journal-title":"Autom Softw Eng"},{"key":"142_CR23","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-00945-7_13","volume":"5474","author":"C Vaz","year":"2009","unstructured":"Vaz C, Ferreira C, Ravara A (2009) Dynamic recovering of long running transactions. Trust Glob Comput 5474:201\u2013215","journal-title":"Trust Glob Comput"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0142-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-012-0142-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-012-0142-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:52Z","timestamp":1559253952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-012-0142-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,8]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["142"],"URL":"https:\/\/doi.org\/10.1007\/s10703-012-0142-8","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,3,8]]}}}