EVA: A Flexible Programming Method for Evolving Systems. - Saeko Matsuura; Hironobu Kuruma; Shinichi Honiden (IEEE Trans. Software Eng., 1997)

Verification of a Signature Architecture with HOL-Z. - David A. Basin; Hironobu Kuruma; Kazuo Takaragi; Burkhart Wolff (FM, 2005)

A Model for Policy Based Service Community. - Hironobu Kuruma; Shinichi Honiden (ICEIS (3), 2005)

Verifying a signature architecture: a comparative case study. - David A. Basin; Hironobu Kuruma; Kunihiko Miyazaki; Kazuo Takaragi; Burkhart Wolff (Formal Aspects Comput., 2007)

Developing topology discovery in Event-B. - Thai Son Hoang; Hironobu Kuruma; David A. Basin; Jean-Raymond Abrial (Sci. Comput. Program., 2009)

Consistency Verification of Specification Rules. - Thai Son Hoang; Shinji Itoh; Kyohei Oyama; Kunihiko Miyazaki; Hironobu Kuruma; Naoto Sato (ICFEM, 2015)

Simplified Influence Evaluation of Additional Training on Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (WESPr-iMLSE@APSEC, 2018)

DeepSaucer: Unified Environment for Verifying Deep Neural Networks. - Naoto Sato; Hironobu Kuruma; Masanori Kaneko; Yuichiroh Nakagawa; Hideto Ogawa; Thai Son Hoang; Michael J. Butler (CoRR, 2018)

Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (CoRR, 2019)

Unsupposable Test-data Generation for Machine-learned Software. - Naoto Sato; Hironobu Kuruma; Hideto Ogawa (CoRR, 2020)

Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. - Naoto Sato; Hironobu Kuruma; Yuichiroh Nakagawa; Hideto Ogawa (IEICE Trans. Inf. Syst., 2020)

Imitation encourages empathic capacity toward other individuals with physical disabilities. - Rui Watanabe; Yuri Kim; Hironobu Kuruma; Hidehiko Takahashi (NeuroImage, 2022)