Automatic test program generation for pipelined processors. - Hiroaki Iwashita; Satoshi Kowatari; Tsuneo Nakata; Fumiyasu Hirose (ICCAD, 1994)

CTL model checking based on forward state traversal. - Hiroaki Iwashita; Tsuneo Nakata; Fumiyasu Hirose (ICCAD, 1996)

Forward model checking techniques oriented to buggy designs. - Hiroaki Iwashita; Tsuneo Nakata (ICCAD, 1997)

An approach to verify a large scale system-on-a-chip using symbolic model checking. - Koichiro Takayama; Taizo Satoh; Tsuneo Nakata; Fumiyasu Hirose (ICCD, 1998)

Formal verification based on assume and guarantee approach - a case study (short paper). - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (ASP-DAC, 2000)

Dataflow Analysis for Resource Contention and Register Leakage Properties. - Subir K. Roy; Hiroaki Iwashita; Tsuneo Nakata (VLSI Design, 2000)

A Method of Static Compaction of Test Stimuli. - Kwame Osei Boateng; Hideaki Konishi; Tsuneo Nakata (Asian Test Symposium, 2001)

An Object-Oriented Design Process for System-on-Chip Using UML. - Tsuneo Nakata; Akio Matsuda; Minoru Shoji; Shinya Kuwamura; Qiang Zhu 005 (ISSS, 2002)

Functional Verification of System on Chips-Practices, Issues and Challenges (Tutorial Abstract). - Subir K. Roy; S. Ramesh; Supratik Chakraborty; Tsuneo Nakata; Sreeranga P. Rajan (ASP-DAC/VLSI Design, 2002)

Multi-event algorithms and protocols for fast and robust distributed mesh provisioning and restoration. - Tsuneo Nakata (Bell Labs Tech. J., 2003)

System-on-chip validation using UML and CWL. - Qiang Zhu 005; Ryosuke Oishi; Takashi Hasegawa; Tsuneo Nakata (CODES+ISSS, 2004)

System-on-Chip Verification Process Using UML. - Qiang Zhu 005; Tsuneo Nakata; Masataka Mine; Kenichiro Kuroki; Yoichi Endo; Takashi Hasegawa (UML Satellite Activities, 2004)

Integrating UML into SoC Design Process. - Qiang Zhu 005; Ryosuke Oishi; Takashi Hasegawa; Tsuneo Nakata (DATE, 2005)

Precise Location by Fingerprinting Road Segments with Variation of Wireless Reception. - Tsuneo Nakata; Shigeki Kawai (VTC Spring, 2014)

Precise Location by Fingerprinting Road Segments with Variation of Broadcast Wave Reception. - Yuji Kamiya; Toru Nagura; Shigeki Kawai; Tsuneo Nakata (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016)

Data Traffic Offloading and Rate Control for Vehicles Using Radio Environment, Network Load and Route Planning. - Takeo Ohseki; Kosuke Yamazaki; Daiki Maemoto; Shigeki Kawai; Tsuneo Nakata; Akira Itou (PIMRC, 2021)