Self-regenerative software components

Proceedings of the ACM Workshop on Survivable and Self-Regenerative Systems

Volumn , Issue , 2003, Pages 115-120

  Saïdi, Hassen ^a   Dutertre, Bruno ^a   Levy, Joshua ^a   Valdes, Alfonso ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL DEFINITIONS; SELF-REGENERATIVE CAPABILITIES; SOFTWARE VALIDATION; SURVIVABLE SYSTEMS;

COMPUTER NETWORKS; RELIABILITY; SECURITY OF DATA; SOFTWARE ENGINEERING;

COMPUTER SOFTWARE;

EID: 2642568609     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. A. Arora and S. S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. In Proceedings of the 18th IEEE International Conference on Distributed Computing Systems (ICDCS98), May 1998.
2. T. Ball, R. Majumdar, T. Millstein, and S. Rajamani. Automatic predicate abstraction of C programs. In C. Norris and J. J. B. Fenwick, editors, Proc. of the ACM SIGPLAN'01 Conference on Programming Language Design and Implementation (PLDI-01), volume 36.5 of ACM SIGPLAN Notices, pages 203-213, New York, June 2001. ACM Press.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
4. P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. pages 238-252. ACM Press, Jan. 1977.
5. C. Cowan, C. Pu, D. Maier, J. Walpole, P. Bakke, S. Beattie, A. Grier, P. Wagle, Q. Zhang, and H. Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78, Jan. 1998.
6. C. Flanagan and J. Leino. Houdini, an annotation assistant for ESC/Java. In International Symposium on FME 2001: Formal Methods for Increasing Software. Productivity, LNCS, volume 1, 2001.
7. S. Graf and H. Saïdi. Construction of abstract state graphs with PVS. In O. Grumberg, editor, Conference on Computer Aided Verification, volume 1254 of LNCS, pages 72-83, Haifa, Israel, June 1997.
8. J. Levy, H. Saïdi, and T. E. Uribe, Combining monitors for run-time system verification. Electronic Notes in Theoretical Computer Science, 70(4), Dec. 2002.
9. T. M. Mitchell. Machine Learning. McGraw-Hill, 1997.
10. G. C. Necula, S. McPeak, and W. Weimer. CCured: Type-safe retrofitting of legacy code. In Principles of Programming Languages. ACM, Jan. 2002.
11. A. Pnueli. The temporal logic of programs. pages 46-57. IEEE Computer Society Press, 1977. Revised version published in Theoretical Computer Science, 13:45-60, 1981.
12. A. Pnueli. The temporal logic of programs. pages 46-57. IEEE Computer Society Press, 1977. Revised version published in Theoretical Computer Science, 13:45-60, 1981.
13. P. Porras and P. Neumann. EMERALD: Event Monitoring Enabling Responses to Anomalous Live Disturbances. In Proceedings of the 20th National Information Systems Security Conference, pages 353-365, Baltimore, MD, Oct. 1997.
14. M. Roesch. Snort: Lightweight intrusion detection for networks. In USENIX LISA'99, Nov. 1999. www.snort.org.
15. H. Saïdi. Model-checking guided abstraction and analysis. In 7th International Static Analysis Symposium, SAS 2000, volume 1824, pages 377-396, June 2000.
16. W. Visser, K. Havelund, G. Brat, and S.-J. Park. Model checking programs. In Proc. 15th IEEE International Conference on Automated Software Engineering, Sept. 2000.