Pankaj Chauhan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1999–2019
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DATE | High Coverage Concolic Equivalence Checking. | Pritam Roy, Sagar Chaki, Pankaj Chauhan |
| 2016 | FMCAD | Efficient uninterpreted function abstraction and refinement for word-level model checking. | Yen-Sheng Ho, Pankaj Chauhan, Pritam Roy, Alan Mishchenko, Robert K. Brayton |
| 2013 | DATE | A semi-canonical form for sequential AIGs. | Alan Mishchenko, Niklas En, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma |
| 2009 | DAC | Non-cycle-accurate sequential equivalence checking. | Pankaj Chauhan, Deepak Goyal, Gagan Hasteer, Anmol Mathur, Nikhil Sharma |
| 2004 | DAC | A SAT-based algorithm for reparameterization in symbolic simulation. | Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening |
| 2002 | FMCAD | Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. | Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang |
| 2001 | ICCAD | Non-linear Quantification Scheduling in Image Computation. | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
| 2000 | FMCAD | A Theory of Consistency for Modular Synchronous Systems. | Randal E. Bryant, Pankaj Chauhan, Edmund M. Clarke, Amit Goel |
| 1999 | VLSID | Exploiting Isomorphism for Compaction and Faster Simulation of Binary Decision Diagrams. | Pankaj Chauhan, Pallab Dasgupta, P. P. Chakrabarti |