|
Search the dblp DataBase
James H. Kukula:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman
SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:265-279 [Conf]
- James H. Kukula, Thomas R. Shiple
Building Circuits from Relations. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:113-123 [Conf]
- Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan
A Comparison of Presburger Engines for EFSM Reachability. [Citation Graph (0, 0)][DBLP] CAV, 1998, pp:280-292 [Conf]
- Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang
Using Combinatorial Optimization Methods for Quantification Scheduling. [Citation Graph (0, 0)][DBLP] CHARME, 2001, pp:293-309 [Conf]
- Adnan Aziz, James H. Kukula, Thomas R. Shiple
Hybrid Verification Using Saturated Simulation. [Citation Graph (0, 0)][DBLP] DAC, 1998, pp:615-618 [Conf]
- Robert F. Damiano, James H. Kukula
Checking satisfiability of a conjunction of BDDs. [Citation Graph (0, 0)][DBLP] DAC, 2003, pp:818-823 [Conf]
- Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano
Handling special constructs in symbolic simulation. [Citation Graph (0, 0)][DBLP] DAC, 2002, pp:105-110 [Conf]
- Alfred Kölbl, James H. Kukula, Robert F. Damiano
Symbolic RTL Simulation. [Citation Graph (0, 0)][DBLP] DAC, 2001, pp:47-52 [Conf]
- In-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi
To split or to conjoin: the question in image computation. [Citation Graph (0, 0)][DBLP] DAC, 2000, pp:23-28 [Conf]
- Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP] DAC, 2001, pp:35-40 [Conf]
- Per Bjesse, James H. Kukula
Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. [Citation Graph (0, 0)][DBLP] DATE, 2004, pp:156-161 [Conf]
- James H. Kukula, Thomas R. Shiple, Adnan Aziz
Techniques for Implicit State Enumeration of EFSMs. [Citation Graph (0, 0)][DBLP] FMCAD, 1998, pp:469-482 [Conf]
- In-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley
Simplifying Circuits for Formal Verification Using Parametric Representation. [Citation Graph (0, 0)][DBLP] FMCAD, 2002, pp:52-69 [Conf]
- Pankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang
Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict Analysis. [Citation Graph (0, 0)][DBLP] FMCAD, 2002, pp:33-51 [Conf]
- Per Bjesse, James H. Kukula
Automatic generalized phase abstraction for formal verification. [Citation Graph (0, 0)][DBLP] ICCAD, 2005, pp:1076-1082 [Conf]
- Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang
Non-linear Quantification Scheduling in Image Computation. [Citation Graph (0, 0)][DBLP] ICCAD, 2001, pp:293-0 [Conf]
- Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. [Citation Graph (0, 0)][DBLP] ICCAD, 2000, pp:120-126 [Conf]
- James H. Kukula, Srinivas Devadas
Finite State Machine Decomposition by Transition Pairing. [Citation Graph (0, 0)][DBLP] ICCAD, 1991, pp:414-417 [Conf]
- Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple
Combinational equivalence checking through function transformation. [Citation Graph (0, 0)][DBLP] ICCAD, 2002, pp:526-533 [Conf]
- In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi
Least fixpoint approximations for reachability analysis. [Citation Graph (0, 0)][DBLP] ICCAD, 1999, pp:41-44 [Conf]
- Yunshan Zhu, James H. Kukula
Generator-based Verification. [Citation Graph (0, 0)][DBLP] ICCAD, 2003, pp:146-153 [Conf]
- Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
Guiding SAT Diagnosis with Tree Decompositions. [Citation Graph (0, 0)][DBLP] SAT, 2003, pp:315-329 [Conf]
- José C. Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto
Bitwise Encoding of Finite State Machines. [Citation Graph (0, 0)][DBLP] VLSI Design, 1994, pp:379-382 [Conf]
- Adnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan
Efficient control state-space search. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 2001, v:20, n:2, pp:332-336 [Journal]
Search in 0.002secs, Finished in 0.304secs
|