2008 |
11 | EE | Himanshu Jain,
Edmund M. Clarke,
Orna Grumberg:
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations.
CAV 2008: 254-267 |
10 | 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 |
9 | EE | Himanshu Jain,
Daniel Kroening,
Natasha Sharygina,
Edmund M. Clarke:
VCEGAR: Verilog CounterExample Guided Abstraction Refinement.
TACAS 2007: 583-586 |
8 | 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 |
7 | 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 |
6 | EE | Himanshu Jain,
Constantinos Bartzis,
Edmund M. Clarke:
Satisfiability Checking of Non-clausal Formulas Using General Matings.
SAT 2006: 75-89 |
2005 |
5 | EE | Himanshu Jain,
Daniel Kroening,
Natasha Sharygina,
Edmund M. Clarke:
Word level predicate abstraction and refinement for verifying RTL verilog.
DAC 2005: 445-450 |
4 | EE | Himanshu Jain,
Franjo Ivancic,
Aarti Gupta,
Malay K. Ganai:
Localization and Register Sharing for Predicate Abstraction.
TACAS 2005: 397-412 |
3 | | Edmund M. Clarke,
Himanshu Jain,
Nishant Sinha:
Grand Challenge: Model Check Software.
VISSAS 2005: 55-68 |
2 | EE | Edmund M. Clarke,
Anubhav Gupta,
Himanshu Jain,
Helmut Veith:
Model Checking: Back and Forth between Hardware and Software.
VSTTE 2005: 251-255 |
2004 |
1 | EE | Himanshu Jain,
Daniel Kroening,
Edmund M. Clarke:
Verification of SpecC using predicate abstraction.
MEMOCODE 2004: 7-16 |