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: Takayama:Koichiro
Contributed to:
2014
2002
1999
1999Wrote 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.