Ashish Darbari
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2010
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | ICTAC | Industrial-Strength Certified SAT Solving through Verified SAT Proof Checking. | Ashish Darbari, Bernd Fischer, Joo Marques-Silva |
| 2009 | DATE | Selective state retention design using symbolic simulation. | Ashish Darbari, Bashir M. Al-Hashimi, David Flynn, John Biggs |
| 2008 | IOLTS | A New Approach for Transient Fault Injection Using Symbolic Simulation. | Ashish Darbari, Bashir M. Al-Hashimi, Peter Harrod, Daryl Bradley |
| 2006 | FMCAD | Symmetry Reduction for STE Model Checking. | Ashish Darbari |