Detecting mastication by using microwave Doppler sensor. - Saeko Tanigawa; Hideaki Nishihara; Shigeo Kaneda; Hirohide Haga (PETRA, 2008)

Model checking education for software engineers in Japan. - Hideaki Nishihara; Koichi Shinozaki; Koji Hayamizu; Toshiaki Aoki; Kenji Taguchi 001; Fumihiro Kumeno (ACM SIGCSE Bull., 2009)

Building a Body of Knowledge on Model Checking for Software Development. - Kenji Taguchi 001; Hideaki Nishihara; Toshiaki Aoki; Fumihiro Kumeno; Koji Hayamizu; Koichi Shinozaki (COMPSAC, 2013)

Linking Traceability with GSN. - Kenji Taguchi 001; Daisuke Souma; Hideaki Nishihara; Toshinori Takai (ISSRE Workshops, 2014)

Formal Specification Based Automatic Test Generation for Embedded Network Systems. - Eun-Hye Choi; Hideaki Nishihara; Takahiro Ando; Nguyen Van Tang; Masahiro Aoki; Keiichi Yoshisaka; Osamu Mizuno; Hitoshi Ohsaki (J. Appl. Math., 2014)

Safe & Sec Case Patterns. - Kenji Taguchi 001; Daisuke Souma; Hideaki Nishihara (SAFECOMP Workshops, 2015)

Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida (SAFECOMP Workshops, 2017)

A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida; Yoichi Hata (DASC/PiCom/DataCom/CyberSciTech, 2018)

Comparing Risk Identification in Hazard Analysis and Threat Analysis. - Hideaki Nishihara; Kenji Taguchi 001 (SAFECOMP Workshops, 2018)

A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design. - Yasuyuki Kawanishi; Hideaki Nishihara; Daisuke Souma; Hirotaka Yoshida; Yoichi Hata (Secur. Commun. Networks, 2019)

On Validating Attack Trees with Attack Effects. - Hideaki Nishihara; Yasuyuki Kawanishi; Daisuke Souma; Hirotaka Yoshida (SAFECOMP, 2020)

A Study of The Risk Quantification Method focusing on Direct-Access Attacks in Cyber-Physical Systems. - Yasuyuki Kawanishi; Hideaki Nishihara; Hirotaka Yoshida; Yoichi Hata (DASC/PiCom/CBDCom/CyberSciTech, 2021)

Assurance Carrying Code for Software Supply Chain. - Yutaka Matsuno; Yoriyuki Yamagata; Hideaki Nishihara; Yuichiro Hosokawa (ISSRE Workshops, 2021)

Quantitative Analysis of Sparsely Synchronized Fail-Safe Processors. - Jun Inoue 001; Hideaki Nishihara; Akira Mori (QRS, 2022)

On Validating Attack Trees with Attack Effects: An Approach from Barwise-Seligman's Channel Theory. - Hideaki Nishihara; Yasuyuki Kawanishi; Daisuke Souma; Hirotaka Yoshida (CoRR, 2022)

A Study on Threat Analysis and Risk Assessment Based on the "Asset Container" Method and CWSS. - Yasuyuki Kawanishi; Hideaki Nishihara; Hirotaka Yoshida; Hideki Yamamoto; Hiroyuki Inoue (IEEE Access, 2023)

A Study of The Risk Quantification Method of Cyber-Physical Systems focusing on Direct-Access Attacks to In-Vehicle Networks. - Yasuyuki Kawanishi; Hideaki Nishihara; Hideki Yamamoto; Hirotaka Yoshida; Hiroyuki Inoue (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2023)