Formal modeling and validation applied to a commercial coherent bus: a case study. - Ganesh Gopalakrishnan; Rajnish Ghughal; Ravi Hosabettu; Abdelillah Mokkedem; Ratan Nalumasu (CHARME, 1997)

The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. - Ratan Nalumasu; Rajnish Ghughal; Abdelillah Mokkedem; Ganesh Gopalakrishnan (CAV, 1998)

PV: An Explicit Enumeration Model-Checker. - Ratan Nalumasu; Ganesh Gopalakrishnan (FMCAD, 1998)

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. - Rajnish Ghughal; Abdelillah Mokkedem; Ratan Nalumasu; Ganesh Gopalakrishnan (SPAA, 1998)

Deriving Efficient Cache Coherence Protocols Through Refinement. - Ratan Nalumasu; Ganesh Gopalakrishnan (Formal Methods Syst. Des., 2002)

An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. - Ratan Nalumasu; Ganesh Gopalakrishnan (Formal Methods Syst. Des., 2002)