Masahiro Matsubara

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 2

Top Topics

Control Software

Formal Specification

Temporal Properties

Top Venues

IEICE Trans. Inf. Syst.

Publications

Masahiro Matsubara, Tatsuhiro Tsuchiya
Model Checking of Automotive Control Software: An Industrial Approach. IEICE Trans. Inf. Syst. (8) (2020)
Takahiro Iida, Masahiro Matsubara, Kentaro Yoshimura, Hideyuki Kojima, Kimio Nishino
PLE for automotive braking system with management of impacts from equipment interactions. SPLC (2016)
Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. FTSCS (2015)
Kohei Sakurai, Masahiro Matsubara, Tatsuhiro Tsuchiya
Voting Sharing: An Approach to Reducing Computation Time for Fault Diagnosis in Time-Triggered Systems. IEICE Trans. Inf. Syst. (2) (2014)
Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka
Model Checking with Program Slicing Based on Variable Dependence Graphs FTSCS (2012)
Masahiro Matsubara, Takao Kojima, Kotaru Shimamura, Nobuyasu Kanekawa, Kohei Sakurai
Node status monitoring and state transition mechanism for network centric X-by-Wire systems. ISADS (2009)