 | 2009 |
|---|
| 7 |       | Roope Kaivola,
Rajnish Ghughal,
Naren Narasimhan,
Amber Telfer,
Jesse Whittemore,
Sudhindra Pandav,
Anna Slobodová,
Christopher Taylor,
Vladimir Frolov,
Erik Reeber,
Armaghan Naik:
Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation.
CAV 2009: 414-429 |
| 2001 |
|---|
| 6 | | Robert Beers,
Rajnish Ghughal,
Mark Aagaard:
Applications of Hierarchical Verification in Model Checking.
CHARME 2001: 40-57 |
| 2000 |
|---|
| 5 | | Robert Beers,
Rajnish Ghughal,
Mark Aagaard:
Applications of Hierarchical Verification in Model Checking.
FMCAD 2000 |
| 4 | | 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 | | 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 |
