Efficient model checking of OpenFlow networks using SDPOR-DS. - Yutaka Yakuwa; Nobuyuki Tomizawa; Toshio Tonouchi (APNOMS, 2014)

A Survey on OpenFlow Technologies. - Kazuya Suzuki; Kentaro Sonoda; Nobuyuki Tomizawa; Yutaka Yakuwa; Terutaka Uchida; Yuta Higuchi; Toshio Tonouchi; Hideyuki Shimonishi (IEICE Trans. Commun., 2014)

A fast method of verifying network routing with back-trace header space analysis. - Toshio Tonouchi; Satoshi Yamazaki; Yutaka Yakuwa; Nobuyuki Tomizawa (IM, 2015)

Scalable Declarative IT System Update Automation by A* Search with Critical-Element Heuristics. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Hideyuki Shimonishi (CloudNet, 2018)

Automated Planning of System Rollback in Declarative IT System Update. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Yoichi Sato; Yasuhiro Matsunaga (IM, 2019)

Scalable State Space Search with Structural-Bottleneck Heuristics for Declarative IT System Update Automation. - Takuya Kuwahara; Takayuki Kuroda; Manabu Nakanoya; Yutaka Yakuwa; Hideyuki Shimonishi (IEICE Trans. Commun., 2019)

Automation of Intent-based Service Operation with Models and AI/ML. - Takayuki Kuroda; Yutaka Yakuwa; Takashi Maruyama; Takuya Kuwahara; Kozo Satoda (NOMS, 2022)

Dueling Network Architecture for GNN in the Deep Reinforcement Learning for the Automated ICT System Design. - Tianchen Zhou; Yutaka Yakuwa; Natsuki Okamura; Hiroyuki Hochigai; Takayuki Kuroda; Ikuko Eguchi Yairi (IEEE Access, 2025)