Yutaka Inamori

According to our database, Yutaka Inamori authored at least 3 papers between 2002 and 2020.

Collaborative distances:

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

2020

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen

J. Inf. Process., 2020

2016

Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.

Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen

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

2002

Method and Tool for Design Process Navigation and Automatic Generation of Simulation Models for Manufacturing Systems.

Masaru Nakano, Fumiko Kubota, Yutaka Inamori, Keiji Mitsuyuki

Proceedings of the Knowledge and Skill Chains in Engineering and Manufacturing, 2002