Hideaki Nishihara

2A1-E05 Mobile Working Robot Using Robotic Driving Base(Wheeled Robot/Tracked Vehicle (1))

Kippei Matsuda, Tatsuro Terakawa, Masaharu Komori, 2014 .

A Comparative Study of JASO TP15002-Based Security Risk Assessment Methods for Connected Vehicle System Design

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2019, Secur. Commun. Networks.

Procedures for the Medical Application of Research Reactors

Keiji Kanda, Hideaki Nishihara, K. Kanda, 1996 .

Detecting mastication by using microwave Doppler sensor

Hirohide Haga, Shigeo Kaneda, Hideaki Nishihara, 2008, PETRA '08.

ANALYTICAL STUDY OF TWO-PHASE FLOW PRESSURE-DROP OSCILLATIONS IN A VERTICAL HEATED TUBE

Masatoshi Kureta, Jian Zhang, Kaichiro Mishima, 1996 .

Detailed Analysis of Security Evaluation of Automotive Systems Based on JASO TP15002

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2017, SAFECOMP Workshops.

S1110203 Research on Mobile Working Robot Using Robotic Driving Base

Kippei Matsuda, Tatsuro Terakawa, Masaharu Komori, 2014 .

Active omni wheel capable of active motion in arbitrary direction and omnidirectional vehicle

Fumi Takeoka, Kippei Matsuda, Tatsuro Terakawa, 2016 .

A Study on Quantitative Risk Assessment Methods in Security Design for Industrial Control Systems

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2018, 2018 IEEE 16th Intl Conf on Dependable, Autonomic and Secure Computing, 16th Intl Conf on Pervasive Intelligence and Computing, 4th Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress(DASC/PiCom/DataCom/CyberSciTech).

Linking Traceability with GSN

Kenji Taguchi, Toshinori Takai, Hideaki Nishihara, 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

Development of a Horizontal TMD with a Auto-Tuning function

Hideaki Nishihara, Yoshimasa Nishiyama, Syota Yamano, 2018 .

Comparing Risk Identification in Hazard Analysis and Threat Analysis

Kenji Taguchi, Hideaki Nishihara, 2018, SAFECOMP Workshops.

On Validating Attack Trees with Attack Effects

Hirotaka Yoshida, Hideaki Nishihara, Yasuyuki Kawanishi, 2020, SAFECOMP.

An Overview of Moral Issues in Nuclear Engineering in Japan

Hideaki Nishihara, 2002 .

Model checking education for software engineers in Japan

Toshiaki Aoki, Kenji Taguchi, Hideaki Nishihara, 2009, SGCS.

Building a Body of Knowledge on Model Checking for Software Development

Toshiaki Aoki, Kenji Taguchi, Hideaki Nishihara, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Osamu Mizuno, Eun-Hye Choi, Masahiro Aoki, 2014, J. Appl. Math..

Safe & Sec Case Patterns

Kenji Taguchi, Hideaki Nishihara, Daisuke Souma, 2014, SAFECOMP Workshops.