Node status monitoring and state transition mechanism for network centric X-by-Wire systems. - Masahiro Matsubara; Takao Kojima; Kotaru Shimamura; Nobuyasu Kanekawa; Kohei Sakurai (ISADS, 2009)

Model Checking with Program Slicing Based on Variable Dependence Graphs - Masahiro Matsubara; Kohei Sakurai; Fumio Narisawa; Masushi Enshoiwa; Yoshio Yamane; Hisamitsu Yamanaka (FTSCS, 2012)

Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. - Kohei Sakurai; Masahiro Matsubara; Tatsuhiro Tsuchiya (IEICE Trans. Inf. Syst., 2014)

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. - Toshiaki Aoki; Kriangkrai Traichaiyaporn; Yuki Chiba; Masahiro Matsubara; Masataka Nishi; Fumio Narisawa (FTSCS, 2015)

PLE for automotive braking system with management of impacts from equipment interactions. - Takahiro Iida; Masahiro Matsubara; Kentaro Yoshimura; Hideyuki Kojima; Kimio Nishino (SPLC, 2016)

Model Checking of Automotive Control Software: An Industrial Approach. - Masahiro Matsubara; Tatsuhiro Tsuchiya (IEICE Trans. Inf. Syst., 2020)