Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. - Kohei Sakurai; Péter Bokor; Neeraj Suri (HASE, 2008)

An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary Object. - Masanori Sakakibara; Kohei Sakurai; Seiichi Komiya (JCKBSE, 2008)

Node status monitoring and state transition mechanism for network centric X-by-Wire systems. - Masahiro Matsubara; Takao Kojima; Kotaru Shimamura; Nobuyasu Kanekawa; Kohei Sakurai (ISADS, 2009)

Model Checking with Program Slicing Based on Variable Dependence Graphs - Masahiro Matsubara; Kohei Sakurai; Fumio Narisawa; Masushi Enshoiwa; Yoshio Yamane; Hisamitsu Yamanaka (FTSCS, 2012)

Shape optimization of neck myoelectric signal control-type speaking valve. - Katsutoshi Oe; Kohei Sakurai (MHS, 2014)

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. - Kohei Sakurai; Masahiro Matsubara; Tatsuhiro Tsuchiya (IEICE Trans. Inf. Syst., 2014)

Distributed CFG-based symbolic execution for assembly programs. - Takumi Adachi; Satoshi Yamane; Kohei Sakurai (GCCE, 2015)

Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering. - Taiki Shimizu; Kohei Sakurai (COMPSAC (1), 2018)