James Kukula - Concepedia

Author

James Kukula

Synopsys (United States)

Also Known As

J. Kukula, James H. Kukula, James Kukula

Publications

Citations

H-Index

Concepts

All Affiliations

Synopsys (United States)Synopsys (Switzerland)University of Colorado Boulder Technical University of Munich Carnegie Mellon University

About

James Kukula is an author at Synopsys (United States) specializing in formal methods, verification, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	11	14	526
2	Computer Science	11	14	526
3	Computer Engineering	10	11	420
4	Systems Engineering	8	8	349
5	Data Science	1	1	24

James Kukula

Publications

526

Citations

H-Index

Page 1

	Year	Citations
Smart simulation using collaborative formal and simulation engines Pei Hsin Ho, Thomas R. Shiple, Kevin Harer, International Conference on Computer Aided Design EngineeringVerificationComputer ArchitectureSmart SimulationSoftware Engineering	2000	125
To split or to conjoin In-Ho Moon, James Kukula, Kavita Ravi, Machine VisionEngineeringReachability ProblemAutomated ReasoningImage Computation	2000	76
Formal property verification by abstraction refinement with formal, simulation and hybrid engines Dong Wang, Pei-Hsin Jiang, James Kukula, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2001	71
Symbolic RTL simulation Alferd Kölbl, James Kukula, Robert Damiano EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2001	51
Using counter example guided abstraction refinement to find complex bugs Per Bjesse, James Kukula Design, Automation, and Test in Europe EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	2004	34
Checking satisfiability of a conjunction of BDDs Robert Damiano, James Kukula EngineeringBoolean FunctionData ScienceAutomated ReasoningUsual Cnf Clauses	2003	24
Least fixpoint approximations for reachability analysis In-Ho Moon, James Kukula, Tom Shiple, International Conference on Computer Aided Design Mathematical ProgrammingCircuit ComplexityEngineeringReachability ProblemComputer Architecture	1999	24
Automatic generalized phase abstraction for formal verification Per Bjesse, James Kukula International Conference on Computer Aided Design EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2005	23
Using counter example guided abstraction refinement to find complex bugs Per Bjesse, James Kukula Proceedings Design, Automation and Test in Europe Conference and Exhibition EngineeringVerificationComputer-aided VerificationSoftware EngineeringModel Checking	2004	23
Automatic generalized phase abstraction for formal verification Per Bjesse, James Kukula ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005. EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2005	22

Page 1