Anubhav Gupta

According to our database, Anubhav Gupta authored at least 10 papers between 2000 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

First steps towards SAT-based formal analog verification.

Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici

Proceedings of the 2009 International Conference on Computer-Aided Design, 2009

2008

Automated assumption generation for compositional verification.

Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu

Formal Methods Syst. Des., 2008

2005

Model Checking: Back and Forth between Hardware and Software.

Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith

Proceedings of the Verified Software: Theories, 2005

Reconsidering CEGAR: Learning Good Abstractions without Refinement.

Anubhav Gupta, Edmund M. Clarke

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Abstraction Refinement for Bounded Model Checking.

Anubhav Gupta, Ofer Strichman

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

SAT-based counterexample-guided abstraction refinement.

Edmund M. Clarke, Anubhav Gupta, Ofer Strichman

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2004

2002

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques.

Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation.

Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar

Proceedings of the 38th Design Automation Conference, 2001

2000

SAT-Based Image Computation with Application in Reachability Analysis.

Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking.

Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta

Proceedings of the Computer Aided Verification, 12th International Conference, 2000