| 2016 | APNOMS | Policy-based verification method for configurations of large network with header-space analyses. | Toshio Tonouchi |
| 2015 | APNOMS | A light-weight application monitoring and statistical debugging for a black-box application. | Toshio Tonouchi |
| 2015 | IM | A fast method of verifying network routing with back-trace header space analysis. | Toshio Tonouchi, Satoshi Yamazaki, Yutaka Yakuwa, Nobuyuki Tomizawa |
| 2014 | APNOMS | Efficient model checking of OpenFlow networks using SDPOR-DS. | Yutaka Yakuwa, Nobuyuki Tomizawa, Toshio Tonouchi |
| 2008 | NOMS | UTRAN O&M support system with statistical fault identification and customizable rule sets. | Yoshinori Watanabe, Yasuhiko Matsunaga, Kosei Kobayashi, Toshio Tonouchi, Tomohiro Igakura, Shinji Nakadai, Kenichirou Kamachi |
| 2006 | APNOMS | Autonomic Management of Scalable Load-Balancing for Ubiquitous Networks. | Toshio Tonouchi, Yasuyuki Beppu |
| 2004 | NOMS | Policy transition mechanism: a new approach to multi-mode management. | Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yoshiaki Kiriha |
| 2003 | IM | Policy-based Cooperation of Services in Ubiquitous Environments. | Toshio Tonouchi, Tomohiro Igakura, Naoto Maeda, Yasuyuki Beppu, Yoshiaki Kiriha |
| 2002 | NOMS | Tools for domain-based policy management of distributed systems. | Nicodemos Damianou, Naranker Dulay, Emil Lupu, Morris Sloman, Toshio Tonouchi |