Masahiro Matsubara

According to our database, Masahiro Matsubara authored at least 6 papers between 2009 and 2020.

Collaborative distances:

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

2020

Model Checking of Automotive Control Software: An Industrial Approach.

Masahiro Matsubara, Tatsuhiro Tsuchiya

IEICE Trans. Inf. Syst., 2020

2016

PLE for automotive braking system with management of impacts from equipment interactions.

Takahiro Iida, Masahiro Matsubara, Kentaro Yoshimura, Hideyuki Kojima, Kimio Nishino

Proceedings of the 20th International Systems and Software Product Line Conference, 2016

2015

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.

Toshiaki Aoki, Kriangkrai Traichaiyaporn, Yuki Chiba, Masahiro Matsubara, Masataka Nishi, Fumio Narisawa

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

2014

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

2012

Model Checking with Program Slicing Based on Variable Dependence Graphs

Masahiro Matsubara, Kohei Sakurai, Fumio Narisawa, Masushi Enshoiwa, Yoshio Yamane, Hisamitsu Yamanaka

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

2009

Node status monitoring and state transition mechanism for network centric X-by-Wire systems.

Masahiro Matsubara, Takao Kojima, Kotaru Shimamura, Nobuyasu Kanekawa, Kohei Sakurai

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009