- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c15 |      | Himanshu Jain, Kalyanmoy Deb: An Improved Adaptive Approach for Elitist Nondominated Sorting Genetic Algorithm for Many-Objective Optimization. EMO 2013: 307-321 |
| 2012 | ||
| c14 | | Kalyanmoy Deb, Himanshu Jain: Handling many-objective problems using an improved NSGA-II procedure. IEEE Congress on Evolutionary Computation 2012: 1-8 |
| 2011 | ||
| c13 | | Himanshu Jain, Kalyanmoy Deb: Parent to Mean-Centric Self-Adaptation in SBX Operator for Real-Parameter Optimization. SEMCCO (1) 2011: 299-306 |
| 2010 | ||
| j4 | | 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) |
| c12 | | Himanshu Jain, Suratsavadee Korkua, Wei-Jen Lee, Chiman Kwan: Detection and Severity Classification of Rotor Imbalance Faults in Induction Machines. IAS 2010: 1-8 |
| 2009 | ||
| j3 | | 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) |
| c11 | | Himanshu Jain, Edmund M. Clarke: Efficient SAT solving for non-clausal formulas using DPLL, graphs, and watched cuts. DAC 2009: 563-568 |
| c10 | | Alfred Kölbl, Reily Jacoby, Himanshu Jain, Carl Pixley: Solver technology for system-level to RTL equivalence checking. DATE 2009: 196-201 |
| 2008 | ||
| j2 | | 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) |
| c9 | | Himanshu Jain, Edmund M. Clarke, Orna Grumberg: Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. CAV 2008: 254-267 |
| 2007 | ||
| j1 | | Edmund M. Clarke, Himanshu Jain, Daniel Kroening: Verification of SpecC using predicate abstraction. Formal Methods in System Design 30(1): 5-28 (2007) |
| c8 | | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: VCEGAR: Verilog CounterExample Guided Abstraction Refinement. TACAS 2007: 583-586 |
| 2006 | ||
| c7 | | 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 |
| c6 | | Himanshu Jain, Constantinos Bartzis, Edmund M. Clarke: Satisfiability Checking of Non-clausal Formulas Using General Matings. SAT 2006: 75-89 |
| 2005 | ||
| c5 | | Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke: Word level predicate abstraction and refinement for verifying RTL verilog. DAC 2005: 445-450 |
| c4 | | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai: Localization and Register Sharing for Predicate Abstraction. TACAS 2005: 397-412 |
| c3 |  | Edmund M. Clarke, Himanshu Jain, Nishant Sinha: Grand Challenge: Model Check Software. VISSAS 2005: 55-68 |
| c2 | | Edmund M. Clarke, Anubhav Gupta, Himanshu Jain, Helmut Veith: Model Checking: Back and Forth between Hardware and Software. VSTTE 2005: 251-255 |
| 2004 | ||
| c1 | | Himanshu Jain, Daniel Kroening, Edmund M. Clarke: Verification of SpecC using predicate abstraction. MEMOCODE 2004: 7-16 |
Colors in the list of coauthors
Last update Thu May 23 03:57:45 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page