James H. Kukula
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
8
Active years
1988–2005
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICCAD | Automatic generalized phase abstraction for formal verification. | Per Bjesse, James H. Kukula |
| 2004 | DATE | Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. | Per Bjesse, James H. Kukula |
| 2003 | DAC | Checking satisfiability of a conjunction of BDDs. | Robert F. Damiano, James H. Kukula |
| 2003 | ICCAD | Generator-based Verification. | Yunshan Zhu, James H. Kukula |
| 2003 | SAT | Guiding SAT Diagnosis with Tree Decompositions. | Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu |
| 2002 | CAV | SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. | Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman |
| 2002 | DAC | Handling special constructs in symbolic simulation. | Alfred Klbl, James H. Kukula, Kurt Antreich, Robert F. Damiano |
| 2002 | FMCAD | Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. | Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang |
| 2002 | FMCAD | Simplifying Circuits for Formal Verification Using Parametric Representation. | In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley |
| 2002 | ICCAD | Combinational equivalence checking through function transformation. | Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple |
| 2001 | DAC | Symbolic RTL Simulation. | Alfred Klbl, James H. Kukula, Robert F. Damiano |
| 2001 | DAC | Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. | Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano |
| 2001 | ICCAD | Non-linear Quantification Scheduling in Image Computation. | Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang |
| 2000 | CAV | Building Circuits from Relations. | James H. Kukula, Thomas R. Shiple |
| 2000 | DAC | To split or to conjoin: the question in image computation. | In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi |
| 2000 | ICCAD | Smart Simulation Using Collaborative Formal and Simulation Engines. | Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long |
| 1999 | ICCAD | Least fixpoint approximations for reachability analysis. | In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi |
| 1998 | CAV | A Comparison of Presburger Engines for EFSM Reachability. | Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan |
| 1998 | DAC | Hybrid Verification Using Saturated Simulation. | Adnan Aziz, James H. Kukula, Thomas R. Shiple |
| 1998 | FMCAD | Techniques for Implicit State Enumeration of EFSMs. | James H. Kukula, Thomas R. Shiple, Adnan Aziz |
| 1994 | VLSID | Bitwise Encoding of Finite State Machines. | Jos Monteiro, James H. Kukula, Srinivas Devadas, Horcio C. Neto |
| 1991 | ICCAD | Finite State Machine Decomposition by Transition Pairing. | James H. Kukula, Srinivas Devadas |
| 1988 | ICCD | Object relocation in OX. | James H. Kukula |