| 2002 |
|---|
| 7 | | Ratan Nalumasu,
Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols Through Refinement.
Formal Methods in System Design 20(1): 107-125 (2002) |
| 6 | | Ratan Nalumasu,
Ganesh Gopalakrishnan:
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation.
Formal Methods in System Design 20(3): 231-247 (2002) |
| 1998 |
|---|
| 5 | | 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 |
| 4 | EE | Ratan Nalumasu,
Ganesh Gopalakrishnan:
PV: An Explicit Enumeration Model-Checker.
FMCAD 1998: 523-528 |
| 3 | | Ratan Nalumasu,
Ganesh Gopalakrishnan:
Deriving Efficient Cache Coherence Protocols through Refinement.
IPPS/SPDP Workshops 1998: 857-870 |
| 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 |
