Search the dblp DataBase

Publications of Author

1. Ratan Nalumasu, Rajnish Ghughal, Abdelillah Mokkedem, Ganesh Gopalakrishnan
   The 'Test Model-Checking' Approach to the Verification of Formal Memory Models of Multiprocessors. [Citation Graph (0, 0)][DBLP]
   CAV, 1998, pp:464-476 [Conf]
   
2. Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
   Formal modeling and validation applied to a commercial coherent bus: a case study. [Citation Graph (0, 0)][DBLP]
   CHARME, 1997, pp:48-62 [Conf]
   
3. Robert Beers, Rajnish Ghughal, Mark Aagaard
   Applications of Hierarchical Verification in Model Checking. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:40-57 [Conf]
   
4. Robert Beers, Rajnish Ghughal, Mark Aagaard
   Applications of Hierarchical Verification in Model Checking. [Citation Graph (0, 0)][DBLP]
   FMCAD, 2000, pp:- [Conf]
   
5. Rajnish Ghughal, Ganesh Gopalakrishnan
   Verification Methods for Weaker Shared Memory Consistency Models. [Citation Graph (0, 0)][DBLP]
   IPDPS Workshops, 2000, pp:985-992 [Conf]
   
6. Rajnish Ghughal, Abdelillah Mokkedem, Ratan Nalumasu, Ganesh Gopalakrishnan
   Using "Test Model-Checking" to Verify the Runway-PA8000 Memory Model. [Citation Graph (0, 0)][DBLP]
   SPAA, 1998, pp:231-239 [Conf]
   
7. 
   Replacing Testing with Formal Verification in Intel CoreTM i7 Processor Execution Engine Validation. [Citation Graph (, )][DBLP]