Anubhav Gupta

11 papers A* 5A 1B 1C 1Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2009 A conf
First steps towards SAT-based formal analog verification.
ICCAD
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici
2008 J jnl
Automated assumption generation for compositional verification.
Formal Methods Syst. Des.
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
2007 A* conf
Automated Assumption Generation for Compositional Verification.
CAV
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu
2005 A* conf
Abstraction Refinement for Bounded Model Checking.
CAV
Anubhav Gupta, Ofer Strichman
2005 — conf
Model Checking: Back and Forth between Hardware and Software.
VSTTE
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith
2005 C conf
Reconsidering CEGAR: Learning Good Abstractions without Refinement.
ICCD
Anubhav Gupta, Edmund M. Clarke
2004 J jnl
SAT-based counterexample-guided abstraction refinement.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Edmund M. Clarke, Anubhav Gupta, Ofer Strichman
2002 A* conf
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.
CAV
Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
2001 A* conf
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.
DAC
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar
2000 A* conf
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.
CAV
Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta
2000 B conf
SAT-Based Image Computation with Application in Reachability Analysis.
FMCAD
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta