Hideto Ogawa

According to our database, Hideto Ogawa authored at least 18 papers between 2008 and 2020.

Collaborative distances:

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

2020

Guidelines for Quality Assurance of Machine Learning-Based Artificial Intelligence.

Gaku Fujii, Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Mineo Matsuya, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita

Int. J. Softw. Eng. Knowl. Eng., 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

Guidelines for Quality Assurance of Machine Learning-based Artificial Intelligence.

Koichi Hamada, Fuyuki Ishikawa, Satoshi Masuda, Tomoyuki Myojin, Yasuharu Nishi, Hideto Ogawa, Takahiro Toku, Susumu Tokumoto, Kazunori Tsuchiya, Yasuhiro Ujita, Mineo Matsuya

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 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

A Test Architecture for Machine Learning Product.

Yasuharu Nishi, Satoshi Masuda, Hideto Ogawa, Keiji Uetsuki

Proceedings of the 2018 IEEE International Conference on Software Testing, 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

2016

Refactoring verification using model transformation.

Makoto Ichii, Daisuke Shimbara, Yasufumi Suzuki, Hideto Ogawa

Proceedings of the 1st International Workshop on Software Refactoring, 2016

2015

POM/JLEC: An Automatic Program Equivalence Checker for Java Enterprise Systems.

Phan Thi Thanh Huyen, Daisuke Shimbara, Shinya Sakaida, Hideto Ogawa

ACM SIGSOFT Softw. Eng. Notes, 2015

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction.

Hideto Ogawa, Makoto Ichii, Tomoyuki Myojin, Masaki Chikahisa, Yuichiroh Nakagawa

IEICE Trans. Inf. Syst., 2015

Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2013

Case study of applying SPLE to development of network switch products.

Tadahisa Kato, Masumi Kawakami, Tomoyuki Myojin, Hideto Ogawa, Koji Hirono, Takashi Hasegawa

Proceedings of the 17th International Software Product Line Conference, 2013

A Practical Study of Debugging Using Model Checking.

Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

An aspect-oriented CPU resource reservation framework integrated in MDE tools.

Yasufumi Suzuki, Hideto Ogawa

Proceedings of the 8th international workshop on Advanced modularization techniques, 2013

2012

A Rule-based Automated Approach for Extracting Models from Source Code.

Makoto Ichii, Tomoyuki Myojin, Yuichiroh Nakagawa, Masaki Chikahisa, Hideto Ogawa

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Feature-analysis-based selection method for system configuration for system testing.

Daisuke Shimbara, Hiroyuki Watanabe, Shinichi Kakushi, Masumi Kawakami, Hideto Ogawa

Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, 2012

2008

Model Checking Process with Goal Oriented Requirements Analysis.

Hideto Ogawa, Fumihiro Kumeno, Shinichi Honiden

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008