Statistics
Publications
2
Citations
39
H-Index
2
Active since
1998
Affiliations
Synopsys (United States)(Current)
Jim Kukula is an author at Synopsys (United States) specializing in reachability analysis, symbolic verification, and symbolic execution.
Publications per year
1998–2001
2
2
Non-linear quantification scheduling in image computation
Pankaj Chauhan, Edmund M. Clarke, Somesh Jha et al. · 2001 · 27 citations
Hybrid verification using saturated simulation
Adnan Aziz, Jim Kukula, Tom Shiple · 1998 · 12 citations
1–2 of 2