Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| A Knowledge Based Analysis of Cache Coherence | 9 | 0.54 | 2004 |
| Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness | 27 | 1.25 | 2002 |
| Verification of Parameterized Protocols | 13 | 0.78 | 2001 |
| Abstracting WS1S Systems to Verify Parameterized Networks | 27 | 1.09 | 2000 |
| Verifying Universal Properties of Parameterized Networks | 10 | 0.64 | 2000 |
| Divide, Abstract, and Model-Check | 15 | 0.92 | 1999 |