Ratan Nalumasu

Publication Activity (10 Years)

Years Active: 1997-2002
Publications (10 Years): 0

Publications

Ratan Nalumasu, Ganesh Gopalakrishnan
An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation. Formal Methods Syst. Des. 20 (3) (2002)
Ratan Nalumasu, Ganesh Gopalakrishnan
Deriving Efficient Cache Coherence Protocols Through Refinement. Formal Methods Syst. Des. 20 (1) (2002)
Ratan Nalumasu, Ganesh Gopalakrishnan
Deriving Efficient Cache Coherence Protocols through Refinement. IPPS/SPDP Workshops (1998)
Ratan Nalumasu, Ganesh Gopalakrishnan
PV: An Explicit Enumeration Model-Checker. FMCAD (1998)
Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. SPAA (1998)
Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. CAV (1998)
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)