Login / Signup
Yutaka Inamori
Publication Activity (10 Years)
Years Active: 2002-2020
Publications (10 Years): 2
Top Topics
Safety Analysis
Control System
Symbolic Representation
Fault Model
Top Venues
FTSCS
J. Inf. Process.
</>
Publications
</>
Shuichi Sato
,
Shogo Hattori
,
Hiroyuki Seki
,
Yutaka Inamori
,
Shoji Yuen
Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT.
J. Inf. Process.
28 (2020)
Shuichi Sato
,
Shogo Hattori
,
Hiroyuki Seki
,
Yutaka Inamori
,
Shoji Yuen
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT.
FTSCS
(2016)
Masaru Nakano
,
Fumiko Kubota
,
Yutaka Inamori
,
Keiji Mitsuyuki
Method and Tool for Design Process Navigation and Automatic Generation of Simulation Models for Manufacturing Systems.
DIISM
(2002)