Hideto Ogawa

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 9

Top Topics

Machine Learning

Formal Verification

Temporal Properties

Top Venues

IEICE Trans. Inf. Syst.

WESPr-iMLSE@APSEC

Publications

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)
Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya
Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence. SEKE (2020)
Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita
Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence. Int. J. Softw. Eng. Knowl. Eng. 30 (11&12) (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)
Yasuharu Nishi, Satoshi Masuda, Hideto Ogawa, Keiji Uetsuki
A Test Architecture for Machine Learning Product. ICST Workshops (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)
Makoto Ichii, Daisuke Shimbara, Yasufumi Suzuki, Hideto Ogawa
Refactoring verification using model transformation. IWoR@ASE (2016)
Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki
Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. COMPSAC (2015)
Hideto Ogawa, Makoto Ichii, Tomoyuki Myojin, Masaki Chikahisa, Yuichiroh Nakagawa
A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction. IEICE Trans. Inf. Syst. (6) (2015)
Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa
POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems. ACM SIGSOFT Softw. Eng. Notes 40 (6) (2015)
Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki
A Practical Study of Debugging Using Model Checking. APSEC (2) (2013)
Yasufumi Suzuki, Hideto Ogawa
An aspect-oriented CPU resource reservation framework integrated in MDE tools. AOAsia@AOSD (2013)
Tadahisa Kato, Masumi Kawakami, Tomoyuki Myojin, Hideto Ogawa, Koji Hirono, Takashi Hasegawa
Case study of applying SPLE to development of network switch products. SPLC (2013)
Daisuke Shimbara, Hiroyuki Watanabe, Shinichi Kakushi, Masumi Kawakami, Hideto Ogawa
Feature-analysis-based selection method for system configuration for system testing. PLEASE@ICSE (2012)
Makoto Ichii, Tomoyuki Myojin, Yuichiroh Nakagawa, Masaki Chikahisa, Hideto Ogawa
A Rule-based Automated Approach for Extracting Models from Source Code. WCRE (2012)
Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden
Model Checking Process with Goal Oriented Requirements Analysis. APSEC (2008)