Vishnu C. Vimjam
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | VLSID | Explicit Safety Property Strengthening in SAT-based Induction. | Vishnu C. Vimjam, Michael S. Hsiao |
| 2007 | VTS | Using Scan-Dump Values to Improve Functional-Diagnosis Methodology. | Vishnu C. Vimjam, M. Enamul Amyeen, Ruifeng Guo, Srikanth Venkataraman, Michael S. Hsiao, Kai Yang |
| 2006 | DAC | Fast illegal state identification for improving SAT-based induction. | Vishnu C. Vimjam, Michael S. Hsiao |
| 2006 | ITC | A Study of Implication Based Pseudo Functional Testing. | Manan Syal, Kameshwar Chandrasekar, Vishnu C. Vimjam, Michael S. Hsiao, Yi-Shing Chang, Sreejit Chakravarty |
| 2006 | VTS | Efficient Fault Collapsing via Generalized Dominance Relations. | Vishnu C. Vimjam, Michael S. Hsiao |