Rahul Agarwal, Liqiang Wang, Scott D. Stoller. Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. In Shmuel Ur, Eyal Bin, Yaron Wolfsthal, editors, Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers. Volume 3875 of Lecture Notes in Computer Science, pages 191-207, Springer, 2005. [doi]
Abstract is missing.