Lovleen Bhatia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
1
Active years
2006–2007
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | DAC | Leveraging Semi-Formal and Sequential Equivalence Techniques for Multimedia SOC Performance Validation. | Lovleen Bhatia, Jayesh Gaur, Praveen Tiwari, Raj S. Mitra, Sunil H. Matange |
| 2006 | DAC | Directed-simulation assisted formal verification of serial protocol and bridge. | Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra |