Himanshu Jain

	2011
17		Himanshu Jain, Kalyanmoy Deb: Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. SEMCCO (1) 2011: 299-306
	2010
16		Himanshu Jain, Suratsavadee Korkua, Weijen Lee, Chiman Kwan: Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. IAS 2010: 1-8
15		Landolf Rhode-Barbarigos, Himanshu Jain, Prakash Kripakaran, Ian F. C. Smith: Design of tensegrity structures using parametric analysis and stochastic search. Eng. Comput. (Lond.) 26(2): 193-203 (2010)
	2009
14		Himanshu Jain, Edmund M. Clarke: Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC 2009: 563-568
13		Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley: Solver technology for system-level to RTL equivalence checking. DATE 2009: 196-201
12		Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. Formal Methods in System Design 35(1): 6-39 (2009)
	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] [12] [14]
3	Kalyanmoy Deb	[17]
4	Malay K. Ganai	[4]
5	Orna Grumberg	[11] [12]
6	Aarti Gupta	[4] [7]
7	Anubhav Gupta	[2]
8	Franjo Ivancic	[4] [7]
9	Reily Jacoby	[13]
10	Alfred Kölbl	[13]
11	Suratsavadee Korkua	[16]
12	Prakash Kripakaran	[15]
13	Daniel Kroening (Daniel Kröning)	[1] [5] [8] [9] [10]
14	Chiman Kwan	[16]
15	Weijen Lee	[16]
16	Carl Pixley	[13]
17	Landolf Rhode-Barbarigos	[15]
18	Natasha Sharygina	[5] [9] [10]
19	Ilya Shlyakhter	[7]
20	Nishant Sinha	[3]
21	Ian F. C. Smith	[15]
22	Helmut Veith	[2]
23	Chao Wang	[7]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page