Ratan Nalumasu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1998–1998
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CAV | The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. | Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan |
| 1998 | FMCAD | PV: An Explicit Enumeration Model-Checker. | Ratan Nalumasu, Ganesh Gopalakrishnan |
| 1998 | SPAA | Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. | Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan |