Himanshu Jain

	2009
13		Himanshu Jain, Edmund M. Clarke: Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC 2009: 563-568
12		Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley: Solver technology for system-level to RTL equivalence checking. DATE 2009: 196-201
	2008
11		Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV 2008: 254-267
10		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		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586
8		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		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		Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke: Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT 2006: 75-89
	2005
5		Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450
4		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		Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith: Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255
	2004
1		Himanshu Jain, Daniel Kroening, Edmund M. Clarke: Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16

Coauthor Index

1	Constantinos Bartzis	[6]
2	Edmund M. Clarke	[1] [2] [3] [5] [6] [8] [9] [10] [11] [13]
3	Malay K. Ganai	[4]
4	Orna Grumberg	[11]
5	Aarti Gupta	[4] [7]
6	Anubhav Gupta	[2]
7	Franjo Ivancic	[4] [7]
8	Reily Jacoby	[12]
9	Alfred Kölbl	[12]
10	Daniel Kroening (Daniel Kröning)	[1] [5] [8] [9] [10]
11	Carl Pixley	[12]
12	Natasha Sharygina	[5] [9] [10]
13	Ilya Shlyakhter	[7]
14	Nishant Sinha	[3]
15	Helmut Veith	[2]
16	Chao Wang	[7]

Colors in the list of coauthors