Kohei Sakurai

According to our database, Kohei Sakurai authored at least 8 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering.

Taiki Shimizu, Kohei Sakurai

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2015

Distributed CFG-based symbolic execution for assembly programs.

Takumi Adachi, Satoshi Yamane, Kohei Sakurai

Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015

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

Shape optimization of neck myoelectric signal control-type speaking valve.

Katsutoshi Oe, Kohei Sakurai

Proceedings of the 2014 International Symposium on Micro-NanoMechatronics and Human Science, 2014

2012

Model Checking with Program Slicing Based on Variable Dependence Graphs

Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

2009

Node status monitoring and state transition mechanism for network centric X-by-Wire systems.

Masahiro Matsubara, Takao Kojima, Kotaru Shimamura, Nobuyasu Kanekawa, Kohei Sakurai

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

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

Proceedings of the Knowledge-Based Software Engineering, 2008

Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications.

Kohei Sakurai, Péter Bokor, Neeraj Suri

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008