Praveen Tiwari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2006–2020
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | MMSys | Content adaptive live encoding with open source codecs. | Pradeep Ramachandran, Shushuang Yang, Praveen Tiwari, Gopi Satykrishna Akisetty |
| 2013 | DATE | Automated determination of top level control signals. | Rohit Kumar Jain, Praveen Tiwari, Soumen Ghosh |
| 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 |
| 2007 | VLSID | Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting. | Praveen Tiwari, Raj S. Mitra, Manu Chopra, Alok Jain |
| 2006 | DAC | Directed-simulation assisted formal verification of serial protocol and bridge. | Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra |
| 2006 | VLSID | Apriori Formal Coverage Analysis for Protocol Properties. | Praveen Tiwari, Saptarshi Biswas, Raj S. Mitra |