| 2008 |
|---|
| 12 | EE | Anubhav Gupta,
Kenneth L. McMillan,
Zhaohui Fu:
Automated assumption generation for compositional verification.
Formal Methods in System Design 32(3): 285-301 (2008) |
| 2007 |
|---|
| 11 | EE | Anubhav Gupta,
Kenneth L. McMillan,
Zhaohui Fu:
Automated Assumption Generation for Compositional Verification.
CAV 2007: 420-432 |
| 2005 |
|---|
| 10 | EE | Anubhav Gupta,
Ofer Strichman:
Abstraction Refinement for Bounded Model Checking.
CAV 2005: 112-124 |
| 9 | EE | Anubhav Gupta,
Edmund M. Clarke:
Reconsidering CEGAR: Learning Good Abstractions without Refinement.
ICCD 2005: 591-598 |
| 8 | EE | Edmund M. Clarke,
Anubhav Gupta,
Himanshu Jain,
Helmut Veith:
Model Checking: Back and Forth between Hardware and Software.
VSTTE 2005: 251-255 |
| 2004 |
|---|
| 7 | EE | Edmund M. Clarke,
Anubhav Gupta,
Ofer Strichman:
SAT-based counterexample-guided abstraction refinement.
IEEE Trans. on CAD of Integrated Circuits and Systems 23(7): 1113-1123 (2004) |
| 2003 |
|---|
| 6 | EE | Ram Suryanarayan,
Anubhav Gupta,
Travis N. Blalock:
A slew rate enhancement technique for operational amplifiers based on a tunable active Gm-based capacitance multiplication circuit.
ACM Great Lakes Symposium on VLSI 2003: 273-276 |
| 2002 |
|---|
| 5 | EE | 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 |
|---|
| 4 | EE | 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 |
| 3 | EE | Pratheep A. Nair,
Anubhav Gupta,
Madhav P. Desai:
An On-Chip Coupling Capacitance Measurement Technique.
VLSI Design 2001: 495-499 |
| 2000 |
|---|
| 2 | | 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 |
| 1 | EE | Aarti Gupta,
Zijiang Yang,
Pranav Ashar,
Anubhav Gupta:
SAT-Based Image Computation with Application in Reachability Analysis.
FMCAD 2000: 354-371 |
