Abstract dependences for alarm diagnosis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3780 LNCS, Issue , 2005, Pages 347-363

  Rival, Xavier ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALARM SYSTEMS; COMPUTATION THEORY; INFORMATION ANALYSIS; SEMANTICS; SET THEORY;

ABSTRACT DEPENDENCES; ABSTRACT INVARIANTS; SEMANTIC SLICING;

ABSTRACTING;

EID: 33646724075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11575467_23     Document Type: Conference Paper

References (26)

1. M. Abadi. Secrecy by typing in security protocols. Journal of the ACM, 1999.
2. M. Abadi, A. Banerjee, N. Heintze, and J. G. Riecke. A core calculus of dependency. In POPL, 1999.
3. H. Agrawal and J. R. Horgan. Dynamic program slicing. In PLDI, 1990.
4. T. Ball, M. Naik, and S. Rajamani. From symptom to cause: Localizing errors in counterexample traces. In POPL, 2003.
5. B. Blanchet, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. A Static Analyzer for Large Safety Critical Software. In PLDI, 2003.
6. G. Canfora, A. Cimitille, and A. D. Lucia. Condition program slicing. Information and Software Technology; Special issue on Program Slicing, 1998.
7. R. Cartwright and M. Felleisen. The semantics of program dependence. In PLDI, 1989.
8. J.-D. Choi, M. Burke, and P. Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In PLDI, 1993.
9. P. Cousot. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. ENTCS, 6, 1997.
10. P. Cousot and R. Cousot. Abstract Interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In POPL, 1977.
11. P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, D. Monniaux, and X. Rival. The ASTRÉE analyzer. In ESOP, 2005.
12. S. Danicic, D. Daoudi, C. Fox, R. Hierons, M. Harman, J. Howroyd, L. Ouarbya, and M. Ward. ConSUS: A Light-Weight Program Conditioner. Journal of Systems and Software, 2004.
13. D. E. Denning. A lattice model of secure information flow. Communications of the ACM, 1976.
14. A. Deutsch. Interprocedural may-alias analysis for pointers: beyond k-limiting. In PLDI, 1994.
15. N. Dor, M. Rodeh, and M. Sagiv. CSSV: Towards a realistic tool for statically detecting all buffer overflows in C. In PLDI, 2003.
16. C. Fox, S. Danicic, M. Harman, and R. Hierons. ConSIT: A Conditioned Program Slicing System. Software - Practice and Experience, 2004.
17. R. Giacobazzi and I. Mastroeni. Abstract non-interference: parameterizing non-interference by abstract interpretation. In POPL, 2004.
18. J. A. Goguen and J. Meseguer. Security policies and security models. In IEEE Symp. on Security and Privacy, 1982.
19. S. Horwitz, T. Reps, and D. Binkley. Interprocedural slicing using dependence graphs. In PLDI, 1988.
20. B. Korel and J. Laski. Dynamic Program Slicing. Information Processing Letters, 1988.
21. T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In SAS, 2000.
22. L. Mauborgne and X. Rival. Trace Partitioning in Abstract Interpretation Based Static Analyzers. In ESOP, 2005.
23. X. Rival. Understanding the origin of alarms in ASTRÉE. In SAS, 2005.
24. A. Sabelfeld and A. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 2003.
25. A. Venet and G. Brat. Precise and efficient array bound checking for large embedded c programs. In PLDI, 2004.
26. M. Weiser. Program slicing. In Proceeding of the Fifth International Conference on Software Engineering, pages 439-449, 1981.