Monitoring off-the-shelf components

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

Volumn 3855 LNCS, Issue , 2006, Pages 222-236

  Sistla, A Prasad ^a   Zhou, Min ^a   Zuck, Lenore D ^a  

^a UNIVERSITY OF ILLINOIS AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BAD BEHAVIORS; INTERFACE SPECIFICATIONS; OFF THE SHELF COMPONENTS; SAFETY PROPERTIES;

AUTOMATA THEORY; COMPUTER MONITORS; FORMAL LOGIC; INTERFACES (COMPUTER); NETWORK COMPONENTS; SECURITY OF DATA; USER INTERFACES;

COMPUTER SOFTWARE;

EID: 33745674289     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (18)

1. M. Abadi and L. Lamport. The existence of state mappings. In Proceedings of the ACM Symposium on Logic in Computer Science, 1988.
2. B. Alpern and F. Schneider. Defining liveness. Information Processing Letters, 21:181-185, 1985.
3. E. A. Emerson and A. P. Sistla. Triple exponential decision procedure for the logic CTL*. In Workshop on the Logics of Program, Carnegie-Mellon University, 1983.
4. H. Hungar and B. Steffen. Behavior-based model construction. STTT, 6(1):4-14, 2004.
5. B. Jonsson. Compositional verification of distributed systems. In Proceedings of the 6th ACM Symposium on Principles of Distributed Computing, 1987.
6. L. Lamport. Logical foundation, distributed systems- methods and tools for specification. Springer-Verlag Lecture Notes in Computer Science, 190, 1985.
7. K. Larsen. Ideal specification formalisms = expressivity + compositionality + decidability + testability + ... In Invited Lecture at CONCUR 1990, LNCS 458, 1990.
8. K. Larsen. The expressive power of implicit specifications. In ICALP 1991, LNCS 510, 1991.
9. O. Lichtenstein and A. Pnueli. Checking that finite state concurrent programs satisfy their linear specification. In Proc. 12th ACM Symp. Princ. of Prog. Lang., pages 97-107, 1985,
10. T. Margaria, H. Raffelt, and B. Steifen. Knowledge-based relevance filtering for efficient system-level test-based model generation (to appear). Innovations in Systems and Software Engineering, a NASA Journal, Springer Verlag.
11. T. Margaria, A. Sistla, B. Steifen, and L. D. Zuck. Taming interface specifications. In CONCUR2005, pages 548-561, 2005.
12. T. Margaria, A. Sistla, B. Steifen, and L. D. Zuck. Taming interface specifications. In www.es.uic.edu/~sistla, 2005.
13. th Workshop on Runtime Verification (RV'05), 2005. To appear in a special issue of ENTCS.
14. S. Safra. On the complexity of ω-automata. In 29th annual Symposium on Foundations of Computer Science, October 24-26, 1988, White Plains, New York, pages 319-327. IEEE Computer Society Press, 1988.
15. A. Sistla, M. Zhou, and L. D. Zuck. Monitoring off-the-shelf components. A companion to the VMCAI06 paper, www.cs.uic.edu/~lenore/pubs, 2005.
16. A. P. Sistla. On characterization of safety and liveness properties in temporal logic. In Proceedings of the ACM Symposium on Principle of Distributed Computing, 1985.
17. A. P. Sistla. Proving correctness with respect to nondeterministic safety specifications. Information Processing Letters, 39:45-49, 1991.
18. M. Vardi, P. Wolper, and A. P. Sistla. Reasoning about infinite computations. In Proceedings of IEEE Symposium on Foundations of Computer Science, 1983.