Satoko Kinoshita

According to our database, Satoko Kinoshita authored at least 3 papers between 2014 and 2016.

Collaborative distances:

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

2016

Introduction of driver's delay into "model checking" for verification of safe interactions between a driver and an automated driving system.

Satoko Kinoshita, Hidekazu Nishimura, Sunkil Yun, Noriyasu Kitamura

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015

Analysis of a driver and automated driving system interaction using a communicating sequential process.

Satoko Kinoshita, Sunkil Yun, Noriyasu Kitamura, Hidekazu Nishimura

Proceedings of the IEEE International Symposium on Systems Engineering, 2015

2014

Describing Software Specification by Combining SysML with the B Method.

Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014