Ravi Hosabettu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1998–2000
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | CAV | Verifying Advanced Microarchitectures that Support Speculation and Exceptions. | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
| 1998 | CAV | Decomposing the Proof of Correctness of pipelined Microprocessors. | Ravi Hosabettu, Mandayam K. Srivas, Ganesh Gopalakrishnan |
| 1998 | FMCAD | Formalization and Proof of a Solution to the PCI 2.1 Bus Transaction Ordering Problem. | Abdelillah Mokkedem, Ravi Hosabettu, Ganesh Gopalakrishnan |