Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Anubhav Gupta 0001

Anubhav P. Gupta

> Home > Persons

Person information

affiliation: Cadence Design Systems, Inc., Berkeley, CA, USA
affiliation (former): Carnegie Mellon University, Pittsburgh, PA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/iccad/TiwaryGPPZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccad/TiwaryGPPZ09
Saurabh K. Tiwary, Anubhav Gupta, Joel R. Phillips, Claudio Pinello, Radu Zlatanovici:
First steps towards SAT-based formal analog verification. ICCAD 2009: 1-8
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GuptaMF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GuptaMF08
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu:
Automated assumption generation for compositional verification. Formal Methods Syst. Des. 32(3): 285-301 (2008)
2007
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuptaMF07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuptaMF07
Anubhav Gupta, Kenneth L. McMillan, Zhaohui Fu:
Automated Assumption Generation for Compositional Verification. CAV 2007: 420-432
2005
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GuptaS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GuptaS05
Anubhav Gupta, Ofer Strichman:
Abstraction Refinement for Bounded Model Checking. CAV 2005: 112-124
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/iccd/GuptaC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccd/GuptaC05
Anubhav Gupta, Edmund M. Clarke:
Reconsidering CEGAR: Learning Good Abstractions without Refinement. ICCD 2005: 591-598
[c5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/vstte/ClarkeGJV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/ClarkeGJV05
Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith:
Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255
2004
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/ClarkeGS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/ClarkeGS04
Edmund M. Clarke, Anubhav Gupta, Ofer Strichman:
SAT-based counterexample-guided abstraction refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(7): 1113-1123 (2004)
2002
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/ClarkeGKS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/ClarkeGKS02
Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman:
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
2001
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/GuptaGYA01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/GuptaGYA01
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav Ashar:
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation. DAC 2001: 536-541
2000
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/WilliamsBCG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WilliamsBCG00
Poul Frederick Williams, Armin Biere, Edmund M. Clarke, Anubhav Gupta:
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. CAV 2000: 124-138
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fmcad/GuptaYAG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmcad/GuptaYAG00
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta:
SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.