Travelled to:1 × Canada
1 × Denmark
1 × France
1 × Italy
6 × USA
Collaborated with:R.F.Damiano T.R.Shiple P.Bjesse A.Kölbl Y.Zhu R.K.Ranjan A.Aziz E.M.Clarke A.Gupta O.Strichman K.Antreich I.Moon K.Ravi F.Somenzi T.Stanion D.Wang P.Ho J.Long H.T.Ma
Talks about:simul (4) abstract (3) refin (3) use (3) symbol (2) hybrid (2) formal (2) verif (2) engin (2) guid (2)
Person: James H. Kukula
DBLP: Kukula:James_H=
Contributed to:
2004
2003
2003
2002200220012000200019981998Wrote 11 papers:
- DATE-v1-2004-BjesseK #abstraction #debugging #refinement #using
- Using Counter Example Guided Abstraction Refinement to Find Complex Bugs (PB, JHK), pp. 156–161.
- DAC-2003-DamianoK #satisfiability
- Checking satisfiability of a conjunction of BDDs (RFD, JHK), pp. 818–823.
- SAT-2003-BjesseKDSZ #satisfiability
- Guiding SAT Diagnosis with Tree Decompositions (PB, JHK, RFD, TS, YZ), pp. 315–329.
- CAV-2002-ClarkeGKS #abstraction #machine learning #satisfiability #using
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques (EMC, AG, JHK, OS), pp. 265–279.
- DAC-2002-KolblKAD #simulation
- Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
- DAC-2001-KolblKD #simulation
- Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
- DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification
- Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
- CAV-2000-KukulaS
- Building Circuits from Relations (JHK, TRS), pp. 113–123.
- DAC-2000-MoonKRS #image
- To split or to conjoin: the question in image computation (IHM, JHK, KR, FS), pp. 23–28.
- CAV-1998-ShipleKR #comparison #reachability
- A Comparison of Presburger Engines for EFSM Reachability (TRS, JHK, RKR), pp. 280–292.
- DAC-1998-AzizKS #hybrid #simulation #using #verification
- Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.