Kusakabe Shigeru

Design and Implementation of Hadoop-based Packet Analyzer for High Volume Packet Data

Arakawa Yutaka, Harada Shigeaki, Naritomi Takato, 2011 .

Improvement in packet import method of Hadoop-based Packet Analyzer for High Volume Packet Data

Harada Shigeaki, Arakawa Yutaka, Naritomi Takato, 2011 .

Applying Model Checking on VDM Models using SPIN

Kusakabe Shigeru, Araki Keijiro, Lin Hsin-Hung, 2015 .

An Approach to Foster Highly Skilled ICT Personnel through Large Scale Business-academia Collaboration

Akira Fukuda, Tsunenori Mine, Teruaki Kitasuka, 2008 .

Towards Model Checking VDM Specifications

Kusakabe Shigeru, Araki Keijiro, Lin Hsin-Hung, 2014 .