dblp.uni-trier.dewww.uni-trier.de

James H. Kukula Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
24 Per Bjesse, James H. Kukula: Automatic generalized phase abstraction for formal verification. ICCAD 2005: 1076-1082
2004
23EEPer Bjesse, James H. Kukula: Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. DATE 2004: 156-161
2003
22EERobert F. Damiano, James H. Kukula: Checking satisfiability of a conjunction of BDDs. DAC 2003: 818-823
21EEYunshan Zhu, James H. Kukula: Generator-based Verification. ICCAD 2003: 146-153
20EEPer Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
2002
19EEEdmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
18EEAlfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano: Handling special constructs in symbolic simulation. DAC 2002: 105-110
17EEPankaj 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. FMCAD 2002: 33-51
16EEIn-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley: Simplifying Circuits for Formal Verification Using Parametric Representation. FMCAD 2002: 52-69
15EEHee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple: Combinational equivalence checking through function transformation. ICCAD 2002: 526-533
2001
14EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
13EEDong 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. DAC 2001: 35-40
12EEAlfred Kölbl, James H. Kukula, Robert F. Damiano: Symbolic RTL Simulation. DAC 2001: 47-52
11EEPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang: Non-linear Quantification Scheduling in Image Computation. ICCAD 2001: 293-
10EEAdnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan: Efficient control state-space search. IEEE Trans. on CAD of Integrated Circuits and Systems 20(2): 332-336 (2001)
2000
9 James H. Kukula, Thomas R. Shiple: Building Circuits from Relations. CAV 2000: 113-123
8EEIn-Ho Moon, James H. Kukula, Kavita Ravi, Fabio Somenzi: To split or to conjoin: the question in image computation. DAC 2000: 23-28
7 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. ICCAD 2000: 120-126
1999
6EEIn-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi: Least fixpoint approximations for reachability analysis. ICCAD 1999: 41-44
1998
5EEThomas R. Shiple, James H. Kukula, Rajeev K. Ranjan: A Comparison of Presburger Engines for EFSM Reachability. CAV 1998: 280-292
4EEAdnan Aziz, James H. Kukula, Thomas R. Shiple: Hybrid Verification Using Saturated Simulation. DAC 1998: 615-618
3EEJames H. Kukula, Thomas R. Shiple, Adnan Aziz: Techniques for Implicit State Enumeration of EFSMs. FMCAD 1998: 469-482
1994
2 José C. Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto: Bitwise Encoding of Finite State Machines. VLSI Design 1994: 379-382
1991
1 James H. Kukula, Srinivas Devadas: Finite State Machine Decomposition by Transition Pairing. ICCAD 1991: 414-417

Coauthor Index

1Kurt Antreich [18]
2Adnan Aziz [3] [4] [10]
3Valeria Bertacco [7]
4Per Bjesse [20] [23] [24]
5Pankaj Chauhan [11] [14] [17]
6Edmund M. Clarke [11] [14] [17] [19]
7Robert F. Damiano [7] [12] [13] [18] [20] [22]
8Srinivas Devadas [1] [2]
9Anubhav Gupta [19]
10Kevin Harer [7]
11Pei-Hsin Ho [7] [13]
12Somesh Jha [11] [14]
13Alfred Kölbl [12] [18]
14Hee-Hwan Kwak [15] [16]
15Jiang Long [7] [13]
16Hi-Keung Tony Ma [13]
17José C. Monteiro (José Monteiro) [2]
18In-Ho Moon [6] [8] [15] [16]
19Horácio C. Neto [2]
20Carl Pixley [16]
21Rajeev K. Ranjan [5]
22Kavita Ravi [8]
23Samir Sapra [17]
24Thomas R. Shiple [3] [4] [5] [6] [7] [9] [10] [11] [15] [16]
25Fabio Somenzi [6] [8]
26Ted Stanion [20]
27Ofer Strichman [19]
28Jerry Taylor [7]
29Helmut Veith [11] [14] [17]
30Dong Wang [11] [13] [14] [17]
31Jun Yuan [10]
32Yunshan Zhu [13] [20] [21]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)