According to our database1, Kohei Sakurai authored at least 8 papers between 2008 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015
Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems.
IEICE Trans. Inf. Syst., 2014
Proceedings of the 2014 International Symposium on Micro-NanoMechatronics and Human Science, 2014
Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012
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
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