Ryosuke Konoshita

According to our database, Ryosuke Konoshita authored at least 2 papers between 2014 and 2017.

Collaborative distances:

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

2017

Model Checking of Embedded Assembly Program Based on Simulation.

Satoshi Yamane, Ryosuke Konoshita, Tomonori Kato

IEICE Trans. Inf. Syst., 2017

2014

Model generation by the exhaustive search for embedded assembly programs and application to model checking.

Ryosuke Konoshita, Kouhei Sakurai, Satoshi Yamane

Proceedings of the IEEE 3rd Global Conference on Consumer Electronics, 2014