Hironobu Kuruma

According to our database, Hironobu Kuruma authored at least 12 papers between 1997 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Imitation encourages empathic capacity toward other individuals with physical disabilities.

Rui Watanabe, Yuri Kim, Hironobu Kuruma, Hidehiko Takahashi

NeuroImage, 2022

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

Unsupposable Test-data Generation for Machine-learned Software.

Naoto Sato, Hironobu Kuruma, Hideto Ogawa

CoRR, 2020

2019

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

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

Simplified Influence Evaluation of Additional Training on Deep Neural Networks.

Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa

Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018

2015

Consistency Verification of Specification Rules.

Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato

Proceedings of the Formal Methods and Software Engineering, 2015

2009

Developing Topology Discovery in Event-B.

Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2007

Verifying a signature architecture: a comparative case study.

David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff

Formal Aspects Comput., 2007

2005

A Model for Policy Based Service Community.

Hironobu Kuruma, Shinichi Honiden

Proceedings of the ICEIS 2005, 2005

Verification of a Signature Architecture with HOL-Z.

David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff

Proceedings of the FM 2005: Formal Methods, 2005

1997

EVA: A Flexible Programming Method for Evolving Systems.

Saeko Matsuura, Hironobu Kuruma, Shinichi Honiden

IEEE Trans. Software Eng., 1997