Recovery oriented programming: runtime monitoring of safety and liveness-Reference-Cited by-同舟云学术

Recovery oriented programming: runtime monitoring of safety and liveness

Published:2011-05-15 Issue:4 Volume:13 Page:377-395
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Brukman Olga,Dolev Shlomi

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-011-0200-3.pdf

Reference48 articles.

1. Arora, A., Theimer, M.: On modeling and tolerating incorrect software. Tech. Rep. MSR-TR-2003-27, Microsoft Research (2003)

2. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Program monitoring with ltl in eagle. In: Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), p. 264. IEEE Computer Society, Washington (2004)

3. Baumann R.: Soft errors in advanced computer systems. IEEE Des. Test 22(3), 258–266 (2005)

4. Beck K., Andres C.: Extreme Programming Explained: Embrace Change, 2nd edn. Addison-Wesley, Boston (2004)

5. Bracha, G.: An asynchronous [(n − 1)/3]-resilient consensus protocol. In: Proceedings of the 3d Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 154–162. ACM, New York (1984)

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

1. Self-stabilizing Byzantine-Tolerant Distributed Replicated State Machine;Lecture Notes in Computer Science;2016

2. Stateless Stabilization Bootstrap (Extended Abstract);Lecture Notes in Computer Science;2014

3. A Theory of Fault Recovery for Component-Based Models;Lecture Notes in Computer Science;2012