H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Program monitoring with LTL in EAGLE. In Proc. 18th Int'l Parallel and Distributed Processing Symp. IEEE Computer Society, 2004. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Temporal Logic Based Framework for Intrusion Detection - Naldurg, Sen, Thati (2004) Self-citation (Sen) (Correct)
No context found.
H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Program monitoring with ltl in eagle. In Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD'04) (Satellite workshop of IPDPS'04), Santa Fe, New Mexico, USA, April 2004. (To Appear). 15
Deterministic Dynamic Monitors for Linear-Time Assertions - Armoni, Korchemny.. (2006) (Correct)
No context found.
H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Program monitoring with LTL in EAGLE. In Proc. 18th Int'l Parallel and Distributed Processing Symp. IEEE Computer Society, 2004.
Monitoring Algorithms for Metric Temporal Logic Specifications - Thati, Rosu (2004) (1 citation) (Correct)
No context found.
H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Program monitoring with LTL in Eagle. In Workshop on Parallel and Distributed Systems: Testing and Debugging, 2004. To appear.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC