Safer asynchronous runtime monitoring using compensations-Reference-Cited by-同舟云学术

Safer asynchronous runtime monitoring using compensations

Published:2012-03-08 Issue:3 Volume:41 Page:269-294
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Colombo Christian,Pace Gordon J.,Abela Patrick

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s10703-012-0142-8.pdf

Reference23 articles.

1. Andrews JH, Zhang Y (2003) General test result checking with log file analysis. IEEE Trans Softw Eng 29(7):634–648

2. Electronic proceedings in theoretical computer science (EPTCS);H Barringer,2009

3. 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 209–220

4. Lecture notes in computer science;MJ Butler,2004

5. Lecture notes in computer science;MJ Butler,2004

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Online hazard prediction of train operations with parametric hybrid automata based runtime verification;Reliability Engineering & System Safety;2024-01

2. Monitoring the Internet Computer;Formal Methods;2023

3. Optional monitoring for long-lived transactions;Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution;2021-07-11

4. Runtime verification for trustworthy secure shell deployment;Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution;2021-07-11

5. Runtime Verification: Passing on the Baton;Formal Methods in Outer Space;2021