Hironobu Kuruma

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