Hironobu Kuruma
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2005–2018
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | APSEC | Simplified Influence Evaluation of Additional Training on Deep Neural Networks. | Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa |
| 2015 | ICFEM | Consistency Verification of Specification Rules. | Thai Son Hoang, Shinji Itoh, Kyohei Oyama, Kunihiko Miyazaki, Hironobu Kuruma, Naoto Sato |
| 2009 | IFM | Developing Topology Discovery in Event-B. | Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial |
| 2005 | FM | Verification of a Signature Architecture with HOL-Z. | David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff |