| 2008 |
|---|
| 10 | EE | Himanshu Jain,
Edmund M. Clarke,
Orna Grumberg:
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.
CAV 2008: 254-267 |
| 9 | EE | Himanshu Jain,
Daniel Kroening,
Natasha Sharygina,
Edmund M. Clarke:
Word-Level Predicate-Abstraction and Refinement Techniques for Verifying RTL Verilog.
IEEE Trans. on CAD of Integrated Circuits and Systems 27(2): 366-379 (2008) |
| 2007 |
|---|
| 8 | EE | Himanshu Jain,
Daniel Kroening,
Natasha Sharygina,
Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement.
TACAS 2007: 583-586 |
| 7 | EE | Edmund M. Clarke,
Himanshu Jain,
Daniel Kroening:
Verification of SpecC using predicate abstraction.
Formal Methods in System Design 30(1): 5-28 (2007) |
| 2006 |
|---|
| 6 | EE | Himanshu Jain,
Franjo Ivancic,
Aarti Gupta,
Ilya Shlyakhter,
Chao Wang:
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
CAV 2006: 137-151 |
| 5 | EE | Himanshu Jain,
Constantinos Bartzis,
Edmund M. Clarke:
Satisfiability Checking of Non-clausal Formulas Using General Matings.
SAT 2006: 75-89 |
| 2005 |
|---|
| 4 | EE | Himanshu Jain,
Daniel Kroening,
Natasha Sharygina,
Edmund M. Clarke:
Word level predicate abstraction and refinement for verifying RTL verilog.
DAC 2005: 445-450 |
| 3 | EE | Himanshu Jain,
Franjo Ivancic,
Aarti Gupta,
Malay K. Ganai:
Localization and Register Sharing for Predicate Abstraction.
TACAS 2005: 397-412 |
| 2 | | Edmund M. Clarke,
Himanshu Jain,
Nishant Sinha:
Grand Challenge: Model Check Software.
VISSAS 2005: 55-68 |
| 2004 |
|---|
| 1 | EE | Himanshu Jain,
Daniel Kroening,
Edmund M. Clarke:
Verification of SpecC using predicate abstraction.
MEMOCODE 2004: 7-16 |
