Author

James H. Kukula

Observed names: J. Kukula, J.H. Kukula, James Kukula, Kukula, James, Kukula, James H.

Observed institutions: Synopsys (Switzerland), IBM (United States), Synopsys (United States), Technical University of Munich, Massachusetts Institute of Technology

OpenAlex ID: A5111967393

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis

2002 · Pankaj Chauhan, Edmund Clarke, et al. · Lecture notes in computer science · 156

SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques

2002 · Edmund Clarke, Anubhav Gupta, et al. · Lecture notes in computer science · 148

PDF

Smart simulation using collaborative formal and simulation engines

2000 · Pei Hsin Ho, Thomas R. Shiple, et al. · 123

To split or to conjoin

2000 · In-Ho Moon, James H. Kukula, et al. · ACM/IEEE Design Automation Conference (DAC) · 80

PDF

Formal property verification by abstraction refinement with formal, simulation and hybrid engines

2001 · Dong Wang, Pei-Hsin Jiang, et al. · ACM/IEEE Design Automation Conference (DAC) · 75

Symbolic RTL simulation

2001 · Alferd Kölbl, James Kukula, et al. · ACM/IEEE Design Automation Conference (DAC) · 53

A comparison of Presburger engines for EFSM reachability

1998 · Thomas R. Shiple, James H. Kukula, et al. · Lecture notes in computer science · 53

Building Circuits from Relations

2000 · James H. Kukula, Thomas R. Shiple · Lecture notes in computer science · 40

Automatic generalized phase abstraction for formal verification

2005 · P. Bjesse, J. Kukula · International Conference on Computer Aided Design · 36

Using counter example guided abstraction refinement to find complex bugs

2004 · Per Bjesse, James Kukula · 34

Guiding SAT Diagnosis with Tree Decompositions

2004 · Per Bjesse, James Kukula, et al. · Lecture notes in computer science · 32

Using Combinatorial Optimization Methods for Quantification Scheduling

2001 · P. Chauhan, E. Clarke, et al. · Lecture notes in computer science · 26

Least fixpoint approximations for reachability analysis

1999 · In-Ho Moon, James Kukula, et al. · 25

Checking satisfiability of a conjunction of BDDs

2003 · Robert Damiano, James Kukula · ACM/IEEE Design Automation Conference (DAC) · 24

Using counter example guided abstraction refinement to find complex bugs

2004 · P. Bjesse, J. Kukula · Design, Automation, and Test in Europe · 23

Simplifying Circuits for Formal Verification Using Parametric Representation

2002 · In-Ho Moon, Hee Hwan Kwak, et al. · Lecture notes in computer science · 23

Using cutwidth to improve symbolic simulation and Boolean satisfiability

2002 · Dong Wang, E. Clarke, et al. · Proceedings · 22

Nonlinear quantification scheduling in image computation

2002 · P. Chauhan, E.M. Clarke, et al. · International Conference on Computer Aided Design · 14

Smart simulation using collaborative formal and simulation engines

2002 · Pei-Hsin Ho, T. Shiple, et al. · International Conference on Computer Aided Design · 14

Finite state machine decomposition by transition pairing

2002 · J. Kukula, S. Devadas · International Conference on Computer Aided Design · 13

Handling special constructs in symbolic simulation

2002 · Alfred Kölbi, James Kukula, et al. · ACM/IEEE Design Automation Conference (DAC) · 11

Combinational equivalence checking through function transformation

2002 · Hee Hwan Kwak, In-Ho Moon, et al. · Digest of technical papers/Digest of technical papers - IEEE/ACM International Conference on Computer-Aided Design · 11

Formal Methods for Functional Verification

2003 · Randal E. Bryant, James H. Kukula · Springer eBooks · 10

Techniques for Implicit State Enumeration of EFSMs

1998 · James H. Kukula, Thomas R. Shiple, et al. · Lecture notes in computer science · 9

Handling special constructs in symbolic simulation

2002 · A. Kolbl, J. Kukula, et al. · ACM/IEEE Design Automation Conference (DAC) · 8

Works count: 44

Citation count: 1,092

H-index: 17

I10-index: 23