James H. Kukula

2005
24		Per Bjesse, James H. Kukula: Automatic generalized phase abstraction for formal verification. ICCAD 2005: 1076-1082
2004
23	EE	Per Bjesse, James H. Kukula: Using Counter Example Guided Abstraction Refinement to Find Complex Bugs. DATE 2004: 156-161
2003
22	EE	Robert F. Damiano, James H. Kukula: Checking satisfiability of a conjunction of BDDs. DAC 2003: 818-823
21	EE	Yunshan Zhu, James H. Kukula: Generator-based Verification. ICCAD 2003: 146-153
20	EE	Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu: Guiding SAT Diagnosis with Tree Decompositions. SAT 2003: 315-329
2002
19	EE	Edmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman: SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques. CAV 2002: 265-279
18	EE	Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano: Handling special constructs in symbolic simulation. DAC 2002: 105-110
17	EE	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. FMCAD 2002: 33-51
16	EE	In-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
15	EE	Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple: Combinational equivalence checking through function transformation. ICCAD 2002: 526-533
2001
14	EE	Pankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang: Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME 2001: 293-309
13	EE	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. DAC 2001: 35-40
12	EE	Alfred Kölbl, James H. Kukula, Robert F. Damiano: Symbolic RTL Simulation. DAC 2001: 47-52
11	EE	Pankaj 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-
10	EE	Adnan 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
8	EE	In-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
6	EE	In-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi: Least fixpoint approximations for reachability analysis. ICCAD 1999: 41-44
1998
5		Thomas R. Shiple, James H. Kukula, Rajeev K. Ranjan: A Comparison of Presburger Engines for EFSM Reachability. CAV 1998: 280-292
4	EE	Adnan Aziz, James H. Kukula, Thomas R. Shiple: Hybrid Verification Using Saturated Simulation. DAC 1998: 615-618
3	EE	James 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

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