James H. Kukula - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2005

Automatic generalized phase abstraction for formal verificationPer Bjesse, James H. Kukula. iccad 2005: 1076-1082

2004

Using Counter Example Guided Abstraction Refinement to Find Complex BugsPer Bjesse, James H. Kukula. date 2004: 156-161 [doi]

2003

Guiding SAT Diagnosis with Tree DecompositionsPer Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu. sat 2004: 315-329 [doi]

Checking satisfiability of a conjunction of BDDsRobert F. Damiano, James H. Kukula. dac 2003: 818-823 [doi]

Generator-based VerificationYunshan Zhu, James H. Kukula. iccad 2003: 146-153 [doi]

2002

Automated Abstraction Refinement for Model Checking Large State Spaces Using SAT Based Conflict AnalysisPankaj Chauhan, Edmund M. Clarke, James H. Kukula, Samir Sapra, Helmut Veith, Dong Wang. FMCAD 2002: 33-51 [doi]

SAT Based Abstraction-Refinement Using ILP and Machine Learning TechniquesEdmund M. Clarke, Anubhav Gupta, James H. Kukula, Ofer Strichman. cav 2002: 265-279 [doi]

Combinational equivalence checking through function transformationHee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple. iccad 2002: 526-533 [doi]

Handling special constructs in symbolic simulationAlfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano. dac 2002: 105-110 [doi]

Simplifying Circuits for Formal Verification Using Parametric RepresentationIn-Ho Moon, Hee-Hwan Kwak, James H. Kukula, Thomas R. Shiple, Carl Pixley. FMCAD 2002: 52-69 [doi]

2001

Efficient control state-space searchAdnan Aziz, James H. Kukula, Thomas R. Shiple, Jun Yuan. tcad, 20(2):332-336, 2001. [doi]

Non-linear Quantification Scheduling in Image ComputationPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Thomas R. Shiple, Helmut Veith, Dong Wang. iccad 2001: 293 [doi]

Using Combinatorial Optimization Methods for Quantification SchedulingPankaj Chauhan, Edmund M. Clarke, Somesh Jha, James H. Kukula, Helmut Veith, Dong Wang. charme 2001: 293-309 [doi]

Symbolic RTL SimulationAlfred Kölbl, James H. Kukula, Robert F. Damiano. dac 2001: 47-52 [doi]

Using cutwidth to improve symbolic simulation and Boolean satisfiabilityDong Wang, Edmund M. Clarke, Yunshan Zhu, James H. Kukula. hldvt 2001: 165-170 [doi]

Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid EnginesDong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano. dac 2001: 35-40 [doi]

2000

1999

Least fixpoint approximations for reachability analysisIn-Ho Moon, James H. Kukula, Thomas R. Shiple, Fabio Somenzi. iccad 1999: 41-44 [doi]

1998

Hybrid Verification Using Saturated SimulationAdnan Aziz, James H. Kukula, Thomas R. Shiple. dac 1998: 615-618 [doi]

Techniques for Implicit State Enumeration of EFSMsJames H. Kukula, Thomas R. Shiple, Adnan Aziz. FMCAD 1998: 469-482 [doi]

A Comparison of Presburger Engines for EFSM ReachabilityThomas R. Shiple, James H. Kukula, Rajeev K. Ranjan. cav 1998: 280-292

1994

Bitwise Encoding of Finite State MachinesJosé C. Monteiro, James H. Kukula, Srinivas Devadas, Horácio C. Neto. vlsid 1994: 379-382

1991

Finite State Machine Decomposition by Transition PairingJames H. Kukula, Srinivas Devadas. iccad 1991: 414-417

1988

Object relocation in OXJames H. Kukula. iccd 1988: 8-10 [doi]

Sign in or sign up to see more results.

runs on WebDSL