Yuichiroh Nakagawa

According to our database, Yuichiroh Nakagawa authored at least 6 papers between 2012 and 2020.

Collaborative distances:

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

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

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

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

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