Satoko Kinoshita

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Deterministic Finite Automaton

Driver Assistance Systems

Artifact Centric

Top Venues

ISSRE Workshops

Publications

Satoko Kinoshita, Hidekazu Nishimura, Sunkil Yun, Noriyasu Kitamura
Introduction of driver's delay into "model checking" for verification of safe interactions between a driver and an automated driving system. ISSE (2016)
Satoko Kinoshita, Sunkil Yun, Noriyasu Kitamura, Hidekazu Nishimura
Analysis of a driver and automated driving system interaction using a communicating sequential process. ISSE (2015)
Satoko Kinoshita, Hidekazu Nishimura, Hiroki Takamura, Daichi Mizuguchi
Describing Software Specification by Combining SysML with the B Method. ISSRE Workshops (2014)