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 × Germany
1 × Italy
1 × USA
Collaborated with:
M.Fujita M.Parizy Y.Kanazawa S.Sheng M.S.Hsiao V.Boppana S.P.Rajan R.Mukherjee J.Jain J.A.Abraham D.S.Fussell
Talks about:
base (3) sequenti (2) check (2) atpg (2) properti (1) approach (1) softwar (1) predict (1) safeti (1) filter (1)

Person: Koichiro Takayama

DBLP DBLP: Takayama:Koichiro

Contributed to:

ICSME 20142014
DAC 20022002
CAV 19991999
DATE 19991999

Wrote 4 papers:

ICSME-2014-ParizyTK #design #fault #predict
Software Defect Prediction for LSI Designs (MP, KT, YK), pp. 565–568.
DAC-2002-ShengTH #effectiveness #safety #using
Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
CAV-1999-BoppanaRTF #model checking
Model Checking Based on Sequential ATPG (VB, SPR, KT, MF), pp. 418–430.
DATE-1999-MukherjeeJTFAF #approach #performance #verification
An Efficient Filter-Based Approach for Combinational Verification (RM, JJ, KT, MF, JAA, DSF), pp. 132–137.

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.