Hideaki Nishihara

18 papers B 2C 1Journal 6Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
A GSN-Based Requirement Analysis of the EU AI Regulation.
SAFECOMP (Workshops)
Natsuki Hayama, Yoriyuki Yamagata, Hideaki Nishihara, Yutaka Matsuno
2023 J jnl
A Study of The Risk Quantification Method of Cyber-Physical Systems focusing on Direct-Access Attacks to In-Vehicle Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Yasuyuki Kawanishi, Hideaki Nishihara, Hideki Yamamoto, Hirotaka Yoshida, Hiroyuki Inoue
2023 J jnl
A Study on Threat Analysis and Risk Assessment Based on the "Asset Container" Method and CWSS.
IEEE Access
Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Hideki Yamamoto, Hiroyuki Inoue
2022 J jnl
On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory.
CoRR
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
2022 C conf
Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors.
QRS
Jun Inoue, Hideaki Nishihara, Akira Mori
2021 — conf
A Study of The Risk Quantification Method focusing on Direct-Access Attacks in Cyber-Physical Systems.
DASC/PiCom/CBDCom/CyberSciTech
Yasuyuki Kawanishi, Hideaki Nishihara, Hirotaka Yoshida, Yoichi Hata
2021 — conf
Assurance Carrying Code for Software Supply Chain.
ISSRE Workshops
Yutaka Matsuno, Yoriyuki Yamagata, Hideaki Nishihara, Yuichiro Hosokawa
2020 B conf
On Validating Attack Trees with Attack Effects.
SAFECOMP
Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida
2019 J jnl
A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design.
Secur. Commun. Networks
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
2018 — conf
A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems.
DASC/PiCom/DataCom/CyberSciTech
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida, Yoichi Hata
2018 — conf
Comparing Risk Identification in Hazard Analysis and Threat Analysis.
SAFECOMP Workshops
Hideaki Nishihara, Kenji Taguchi
2017 — conf
Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002.
SAFECOMP Workshops
Yasuyuki Kawanishi, Hideaki Nishihara, Daisuke Souma, Hirotaka Yoshida
2015 — conf
Safe & Sec Case Patterns.
SAFECOMP Workshops
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara
2014 J jnl
Formal Specification Based Automatic Test Generation for Embedded Network Systems.
J. Appl. Math.
Eun-Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki
2014 — conf
Linking Traceability with GSN.
ISSRE Workshops
Kenji Taguchi, Daisuke Souma, Hideaki Nishihara, Toshinori Takai
2013 B conf
Building a Body of Knowledge on Model Checking for Software Development.
COMPSAC
Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki
2009 J jnl
Model checking education for software engineers in Japan.
ACM SIGCSE Bull.
Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno
2008 — conf
Detecting mastication by using microwave Doppler sensor.
PETRA
Saeko Tanigawa, Hideaki Nishihara, Shigeo Kaneda, Hirohide Haga