Concepedia

Tsuneo Nakata

TN

9

Publications

275

Citations

9

H-Index

1994

Active since

Affiliations

Fujitsu (Japan)(Current)

Tsuneo Nakata is an author at Fujitsu (Japan) specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer EngineeringSoftware TestingFormal VerificationVerificationFormal MethodsHardware SecurityComputer ScienceProgram Analysis

Publications per year

1994–2005

9

Publications

9

Automatic test program generation for pipelined processors

Hiroaki Iwashita, S. Kowatari, Tsuneo Nakata et al. · International Conference on Computer Aided Design · 1994 · 56 citations

Engineering, Hardware Verification Language, Verification +22

CTL model checking based on forward state traversal

Hiroaki Iwashita, Tsuneo Nakata, Fumiyasu Hirose · International Conference on Computer Aided Design · 1996 · 54 citations

Engineering, Verification, Computer-aided Verification +17

An object-oriented design process for system-on-chip using UML

Qiang Zhu, Akio Matsuda, Shinya Kuwamura et al. · 2002 · 35 citations

Hardware Architecture, Hardware Modeling, Object-oriented Design Process +15

Forward model checking techniques oriented to buggy designs

Hiroaki Iwashita, Tsuneo Nakata · International Conference on Computer Aided Design · 1997 · 34 citations

Program Checking, Engineering, Verification +19

CTL model checking based on forward state traversal

Hidetoshi Iwashita, Tsuneo Nakata, Fumiyasu Hirose · 2002 · 26 citations

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 9