Kosuke Uemura

According to our database, Kosuke Uemura authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

Comparative Experiment of SPIN and SMT in Model Checking of Embedded Assembly Program.

Satoshi Yamane, Kosuke Uemura

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

2019

SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions.

Kousuke Uemura, Satoshi Yamane

Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019

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