| |
| 2004 | ||
|---|---|---|
| 3 | EE | Ganesh Gopalakrishnan, Yue Yang, Hemanthkumar Sivaraj: QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings. CAV 2004: 401-413 |
| 2003 | ||
| 2 | EE | Hemanthkumar Sivaraj, Ganesh Gopalakrishnan: Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
| 2002 | ||
| 1 | EE | Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan: Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. CAV 2002: 123-136 |
| 1 | Prosenjit Chatterjee | [1] |
| 2 | Ganesh Gopalakrishnan | [1] [2] [3] |
| 3 | Yue Yang | [3] |