Tetsuya Inafune

According to our database, Tetsuya Inafune authored at least 2 papers between 2017 and 2018.

Collaborative distances:

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

2018

Symbolic backward simulation of Java bytecode program.

Tetsuya Inafune, Shinichi Miura, Toshihiro Taketa, Yukio Hiranaka

Proceedings of the 10th International Conference on Computer Modeling and Simulation, 2018

2017

Backward range simulation of Java bytecodes and reduction of its processing time.

Yukio Hiranaka, Tetsuya Inafune, Shinichi Miura, Toshihiro Taketa

Proceedings of the 8th International Conference on Computer Modeling and Simulation, 2017