Hiromu Kamide

According to our database, Hiromu Kamide authored at least 3 papers between 2018 and 2025.

Collaborative distances:

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

2025

Verifying Reachability With Real-Time Properties of Embedded Assembly Programs Based on Lazy Abstraction and Refinement.

Satoshi Yamane, Hiromu Kamide, Yajun Wu

IEEE Access, 2025

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