L. Wang and S. D. Stoller. Run-time analysis for atomicity. In Proceedings of the Workshop on Runtime Verification, volume 89(2) of Electronic Notes in Computer Science. Elsevier, 2003. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs - Flanagan, Freund (2004) (5 citations) (Correct)
No context found.
L. Wang and S. D. Stoller. Run-time analysis for atomicity. In Proceedings of the Workshop on Runtime Verification, volume 89(2) of Electronic Notes in Computer Science. Elsevier, 2003.
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
No context found.
L. Wang and S. Stoller. Run-Time Analysis for Atomicity. In Proc. Third Workshop on Runtime Verification (RV), volume 89(2) of ENTCS, USA, 2003. Elsevier.
Static Detection of Atomicity Violations in Object-Oriented.. - von Praun, Gross (2003) (3 citations) (Correct)
No context found.
L. Wang and S. Stoller. Run-time analysis for atomicity. In Rec. Workshop on Runtime Verification (RV'03), July 2003. 10
Verifying Commit-Atomicity Using Model-Checking - Flanagan (2004) (Correct)
No context found.
L. Wang and S. D. Stoller. Run-time analysis for atomicity. In Proceedings of the Workshop on Runtime Verification, volume 89(2) of Electronic Notes in Computer Science. Elsevier, 2003. 15
Static Detection of Atomicity Violations in Object-Oriented.. - von Praun, Gross (2003) (3 citations) (Correct)
No context found.
L. Wang and S. Stoller. Run-time analysis for atomicity. In Rec. Workshop on Runtime Verification (RV'03), July 2003. 10
High-Level Data Races - Artho, Havelund, Biere (2003) (3 citations) (Correct)
No context found.
L. Wang and S. Stoller. Run-Time Analysis for Atomicity. In Proc. Third Workshop on Runtime Verification (RV), volume 89(2) of ENTCS, USA, 2003. Elsevier.
Verifying Atomicity Specifications for Concurrent.. - Hatcliff, Robby, Dwyer (2003) (3 citations) (Correct)
No context found.
L. Wang and S. D. Stoller. Run-time analysis for atomicity. In Proceedings of the Workshop on Runtime Verification, volume 89.2 of ENTCS, 2003.
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