FOREST: a systematic testing environment based on standardized formal description techniques. - Kotaro Katsuyama; Tetsuo Nakakawaji; Fumiaki Sato; Tadanori Mizuno (COMPSAC, 1990)

OSI Testing Environment Based on the Standardized Formalisms. - Kotaro Katsuyama; Fumiaki Sato; Tetsuo Nakakawaji; Tadanori Mizuno (FORTE, 1990)

Strategic Testing Environment with Formal Description Techniques. - Kotaro Katsuyama; Fumiaki Sato; Tetsuo Nakakawaji; Tadanori Mizuno (IEEE Trans. Computers, 1991)

LAN fault management ensemble. - Yoshimi Teshigawara; Nobuo Yoshie; Ayako Komatsu; Tetsuo Nakakawaji (NOMS, 1996)

Proposal and evaluation of time critical communication protocol with two-level data queues. - Kazuhiro Kusunoki; Tetsuo Nakakawaji; Kotaro Katsuyama; Nobumasa Nakano (Syst. Comput. Jpn., 1996)

A CORBA-Based Remote Monitoring System for Factory Automation. - Kazuhiro Kusunoki; Isao Imai; Haruyuki Ohtani; Tetsuo Nakakawaji; Michitaka Ohshima; Kazuo Ushijima (ISORC, 1998)

Modeling ad hoc sensor networks using random graph theory. - Haruko Kawahigashi; Yoshiaki Terashima; Naoto Miyauchi; Tetsuo Nakakawaji (CCNC, 2005)