Kohei Sakurai

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 2

Top Topics

Hierarchical Clustering

Electronic Equipment

Symbolic Execution

Failure Diagnosis

Top Venues

IEICE Trans. Inf. Syst.

Publications

Taiki Shimizu, Kohei Sakurai
Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering. COMPSAC (1) (2018)
Takumi Adachi, Satoshi Yamane, Kohei Sakurai
Distributed CFG-based symbolic execution for assembly programs. GCCE (2015)
Katsutoshi Oe, Kohei Sakurai
Shape optimization of neck myoelectric signal control-type speaking valve. MHS (2014)
Kohei Sakurai, Masahiro Matsubara, Tatsuhiro Tsuchiya
Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. IEICE Trans. Inf. Syst. (2) (2014)
Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka
Model Checking with Program Slicing Based on Variable Dependence Graphs FTSCS (2012)
Masahiro Matsubara, Takao Kojima, Kotaru Shimamura, Nobuyasu Kanekawa, Kohei Sakurai
Node status monitoring and state transition mechanism for network centric X-by-Wire systems. ISADS (2009)
Kohei Sakurai, Péter Bokor, Neeraj Suri
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications. HASE (2008)
Masanori Sakakibara, Kohei Sakurai, Seiichi Komiya
An Assertion Mechanism for Software Unit Testing to Remain Unaffected by Program Modification - The Mechanism to Eliminate Dependency from/to Unnecessary Object. JCKBSE (2008)