Yuichiroh Nakagawa

Publication Activity (10 Years)

Years Active: 2012-2020
Publications (10 Years): 4

Top Topics

Error Back Propagation

Formal Verification

Plagiarism Detection

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)
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)
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)
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)
Makoto Ichii, Tomoyuki Myojin, Yuichiroh Nakagawa, Masaki Chikahisa, Hideto Ogawa
A Rule-based Automated Approach for Extracting Models from Source Code. WCRE (2012)