Ratan Nalumasu

According to our database, Ratan Nalumasu authored at least 6 papers between 1997 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

An Efficient Partial Order Reduction Algorithm with an Alternative Proviso Implementation.

Ratan Nalumasu, Ganesh Gopalakrishnan

Formal Methods Syst. Des., 2002

Deriving Efficient Cache Coherence Protocols Through Refinement.

Ratan Nalumasu, Ganesh Gopalakrishnan

Formal Methods Syst. Des., 2002

1998

Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model.

Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan

Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures, 1998

PV: An Explicit Enumeration Model-Checker.

Ratan Nalumasu, Ganesh Gopalakrishnan

Proceedings of the Formal Methods in Computer-Aided Design, 1998

The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors.

Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Formal modeling and validation applied to a commercial coherent bus: a case study.

Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu

Proceedings of the Advances in Hardware Design and Verification, 1997