Kohei Sakurai

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Comprehensive Data Tree by Actor Messaging for Incremental Hierarchical Clustering.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2015
Distributed CFG-based symbolic execution for assembly programs.
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.
IEICE Trans. Inf. Syst., 2014

Shape optimization of neck myoelectric signal control-type speaking valve.
Proceedings of the 2014 International Symposium on Micro-NanoMechatronics and Human Science, 2014

2012
Model Checking with Program Slicing Based on Variable Dependence Graphs
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.
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.
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.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008


  Loading...