dblp.uni-trier.dewww.uni-trier.de

Anubhav Gupta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
12EEAnubhav Gupta, Kenneth L. McMillan, Zhaohui Fu: Automated assumption generation for compositional verification. Formal Methods in System Design 32(3): 285-301 (2008)
2007
11EEAnubhav Gupta, Kenneth L. McMillan, Zhaohui Fu: Automated Assumption Generation for Compositional Verification. CAV 2007: 420-432
2005
10EEAnubhav Gupta, Ofer Strichman: Abstraction Refinement for Bounded Model Checking. CAV 2005: 112-124
9EEAnubhav Gupta, Edmund M. Clarke: Reconsidering CEGAR: Learning Good Abstractions without Refinement. ICCD 2005: 591-598
8EEEdmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith: Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255
2004
7EEEdmund 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
6EERam 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
5EEEdmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
2001
4EEAarti 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
3EEPratheep 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
1EEAarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav Gupta: SAT-Based Image Computation with Application in Reachability Analysis. FMCAD 2000: 354-371

Coauthor Index

1Pranav Ashar [1] [4]
2Armin Biere [2]
3Travis N. Blalock [6]
4Edmund M. Clarke [2] [5] [7] [8] [9]
5Madhav P. Desai [3]
6Zhaohui Fu [11] [12]
7Aarti Gupta [1] [4]
8Himanshu Jain [8]
9James H. Kukula [5]
10Kenneth L. McMillan [11] [12]
11Pratheep A. Nair [3]
12Ofer Strichman [5] [7] [10]
13Ram Suryanarayan [6]
14Helmut Veith [8]
15Poul Frederick Williams [2]
16Zijiang Yang [1] [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)