The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James H. Kukula: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. James H. Kukula, Thomas R. Shiple
    Building Circuits from Relations. [Citation Graph (0, 0)][DBLP]
    CAV, 2000, pp:113-123 [Conf]
  3. 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]
  4. 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]
  5. Adnan Aziz, James H. Kukula, Thomas R. Shiple
    Hybrid Verification Using Saturated Simulation. [Citation Graph (0, 0)][DBLP]
    DAC, 1998, pp:615-618 [Conf]
  6. Robert F. Damiano, James H. Kukula
    Checking satisfiability of a conjunction of BDDs. [Citation Graph (0, 0)][DBLP]
    DAC, 2003, pp:818-823 [Conf]
  7. 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]
  8. Alfred Kölbl, James H. Kukula, Robert F. Damiano
    Symbolic RTL Simulation. [Citation Graph (0, 0)][DBLP]
    DAC, 2001, pp:47-52 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. Per Bjesse, James H. Kukula
    Automatic generalized phase abstraction for formal verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2005, pp:1076-1082 [Conf]
  16. 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]
  17. 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]
  18. James H. Kukula, Srinivas Devadas
    Finite State Machine Decomposition by Transition Pairing. [Citation Graph (0, 0)][DBLP]
    ICCAD, 1991, pp:414-417 [Conf]
  19. 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]
  20. 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]
  21. Yunshan Zhu, James H. Kukula
    Generator-based Verification. [Citation Graph (0, 0)][DBLP]
    ICCAD, 2003, pp:146-153 [Conf]
  22. 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]
  23. 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]
  24. 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.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002