Shankar G. Govindaraju
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
1998–2000
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | ICCAD | Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking. | Shankar G. Govindaraju, David L. Dill |
| 1999 | DAC | Improved Approximate Reachability Using Auxiliary State Variables. | Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann |
| 1998 | DAC | Approximate Reachability with BDDs Using Overlapping Projections. | Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz |
| 1998 | ICCAD | Verification by approximate forward and backward reachability. | Shankar G. Govindaraju, David L. Dill |