K. Havelund and G. Rosu. Runtime Verification 2001. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Runtime Safety Analysis of Multithreaded Programs - Sen, Rosu, Agha (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2001.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2002, volume 70(4) of ENTCS. Elsevier, 2002. Proceedings of a Computer Aided Verification (CAV'02) satellite workshop.
An Instrumentation Technique for Online Analysis of.. - Rosu, Sen (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2001.
Runtime Safety Analysis of Multithreaded Programs - Koushik Sen Ksen (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2001.
Generating Optimal Monitors for Extended Regular Expressions - Sen, Rosu (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2002.
Monitoring Algorithms for Metric Temporal Logic Specifications - Thati, Rosu (2004) (1 citation) Self-citation (Rosu) (Correct)
No context found.
Klaus Havelund and Grigore Rosu. Runtime Verification 2001.
Generating Optimal Linear Temporal Logic Monitors by Coinduction - Sen, Rosu, Agha (2004) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2002, volume 70(4) of ENTCS. Elsevier, 2002. Proceedings of a Computer Aided Verification (CAV'02) satellite workshop.
Runtime Safety Analysis of Multithreaded Programs - Sen, Rosu, Agha (2003) Self-citation (Rosu) (Correct)
No context found.
K. Havelund and G. Rosu. Runtime Verification 2001.
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