Hiromu Kamide

According to our database, Hiromu Kamide authored at least 2 papers between 2018 and 2020.

Collaborative distances:

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

2020

Software Model Checking for Real-time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement.

Yajun Wu, Hiromu Kamide, Satoshi Yamane

Proceedings of the 9th IEEE Global Conference on Consumer Electronics, 2020

2018

Model Check of Real-time Property of Embedded Assembly Program Using CEGAR.

Hiromu Kamide, Kosuke Uemura, Satoshi Yamane

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