BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kukula:James_H=

Contributed to:

DATE v1 20042004
DAC 20032003
SAT 20032003
CAV 20022002
DAC 20022002
DAC 20012001
CAV 20002000
DAC 20002000
CAV 19981998
DAC 19981998

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.