| 2001 |
|---|
| 6 | EE | Robert Beers,
Rajnish Ghughal,
Mark Aagaard:
Applications of Hierarchical Verification in Model Checking.
CHARME 2001: 40-57 |
| 2000 |
|---|
| 5 | EE | Robert Beers,
Rajnish Ghughal,
Mark Aagaard:
Applications of Hierarchical Verification in Model Checking.
FMCAD 2000 |
| 4 | EE | Rajnish Ghughal,
Ganesh Gopalakrishnan:
Verification Methods for Weaker Shared Memory Consistency Models.
IPDPS Workshops 2000: 985-992 |
| 1998 |
|---|
| 3 | | Ratan Nalumasu,
Rajnish Ghughal,
Abdelillah Mokkedem,
Ganesh Gopalakrishnan:
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.
CAV 1998: 464-476 |
| 2 | EE | Rajnish Ghughal,
Abdelillah Mokkedem,
Ratan Nalumasu,
Ganesh Gopalakrishnan:
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.
SPAA 1998: 231-239 |
| 1997 |
|---|
| 1 | | Ganesh Gopalakrishnan,
Rajnish Ghughal,
Ravi Hosabettu,
Abdelillah Mokkedem,
Ratan Nalumasu:
Formal modeling and validation applied to a commercial coherent bus: a case study.
CHARME 1997: 48-62 |
