Login / Signup
Fumio Narisawa
Publication Activity (10 Years)
Years Active: 1997-2019
Publications (10 Years): 3
Top Topics
Grand Challenge
User Goals
Temporal Logic
Verification Method
Top Venues
FTSCS
SAFECOMP
SoMeT
</>
Publications
</>
Tasuku Ishigooka
,
Satoshi Otsuka
,
Kazuyoshi Serizawa
,
Ryo Tsuchiya
,
Fumio Narisawa
Graceful Degradation Design Process for Autonomous Driving System.
SAFECOMP
(2019)
Fumio Narisawa
,
Yoshikazu Ueda
Safety Verification Method for Priority-Based Real-Time Software.
SoMeT
(2017)
Toshiaki Aoki
,
Kriangkrai Traichaiyaporn
,
Yuki Chiba
,
Masahiro Matsubara
,
Masataka Nishi
,
Fumio Narisawa
Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns.
FTSCS
(2015)
Masahiro Matsubara
,
Kohei Sakurai
,
Fumio Narisawa
,
Masushi Enshoiwa
,
Yoshio Yamane
,
Hisamitsu Yamanaka
Model Checking with Program Slicing Based on Variable Dependence Graphs
FTSCS
(2012)
Tasuku Ishigooka
,
Fumio Narisawa
Dynamic Activation Timing Configuration for Product Line Development.
RTCSA (2)
(2011)
Kentaro Yoshimura
,
Fumio Narisawa
,
Koji Hashimoto
,
Tohru Kikuno
FAVE: factor analysis based approach for detecting product line variability from change history.
MSR
(2008)
Kentaro Yoshimura
,
Fumio Narisawa
,
Koji Hashimoto
,
Tohru Kikuno
A Method to Analyze Variability Based on Product Release History: Case Study of Automotive System.
SPLC (2)
(2008)
Koji Hashimoto
,
Fumio Narisawa
,
Yuichiro Morita
An EMF-based Product Derivation Tool for Large Product Lines.
SPLC (2)
(2007)
Takanori Yokoyama
,
Hidemitsu Naya
,
Fumio Narisawa
,
Satoru Kuragaki
,
Wataru Nagaura
,
Takaaki Imai
,
Shoji Suzuki
A development method of time-triggered object-oriented software for embedded control systems.
Systems and Computers in Japan
34 (2) (2003)
Fumio Narisawa
,
Hidemitsu Naya
,
Takanori Yokoyama
A Code Generator with Application-Oriented Size Optimization for Object-Oriented Embedded Control Software.
ECOOP Workshops
(1998)
Hidemitsu Naya
,
Fumio Narisawa
,
Takanori Yokoyama
,
Keiichiro Ohkawa
,
Matsuo Amano
Object-Oriented Development Based on Polymorphism Patterns and Optimization to Reduce Executable Code Size.
TOOLS (25)
(1997)