Hironobu Kuruma

Publication Activity (10 Years)

Years Active: 1997-2022
Publications (10 Years): 6

Top Topics

Search Based Testing

Formal Verification

Capacity Expansion

Top Venues

IEICE Trans. Inf. Syst.

WESPr-iMLSE@APSEC

Publications

Rui Watanabe, Yuri Kim, Hironobu Kuruma, Hidehiko Takahashi
Imitation encourages empathic capacity toward other individuals with physical disabilities. NeuroImage 264 (2022)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges. IEICE Trans. Inf. Syst. (2) (2020)
Naoto Sato, Hironobu Kuruma, Hideto Ogawa
Unsupposable Test-data Generation for Machine-learned Software. CoRR (2020)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Formal Verification of Decision-Tree Ensemble Model and Detection of its Violating-input-value Ranges. CoRR (2019)
Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
Simplified Influence Evaluation of Additional Training on Deep Neural Networks. WESPr-iMLSE@APSEC (2018)
Naoto Sato, Hironobu Kuruma, Masanori Kaneko, Yuichiroh Nakagawa, Hideto Ogawa, Thai Son Hoang, Michael J. Butler
DeepSaucer: Unified Environment for Verifying Deep Neural Networks. CoRR (2018)
Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato
Consistency Verification of Specification Rules. ICFEM (2015)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing topology discovery in Event-B. Sci. Comput. Program. 74 (11-12) (2009)
Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial
Developing Topology Discovery in Event-B. IFM (2009)
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff
Verifying a signature architecture: a comparative case study. Formal Aspects Comput. 19 (1) (2007)
Hironobu Kuruma, Shinichi Honiden
A Model for Policy Based Service Community. ICEIS (3) (2005)
David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff
Verification of a Signature Architecture with HOL-Z. FM (2005)
Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden
EVA: A Flexible Programming Method for Evolving Systems. IEEE Trans. Software Eng. 23 (5) (1997)