Optimal Parameter Selection Using Explainable AI for Time-Series Anomaly Detection. - Shimon Sumita; Hiroyuki Nakagawa; Tatsuhiro Tsuchiya (PRIMA, 2022)

Towards Log-based Execution Status Estimation Using Graph Neural Networks. - Shimon Sumita; Hiroyuki Nakagawa; Shinobu Saito; Tatsuhiro Tsuchiya (APSEC, 2024)

Code Reachability Visualization Based on Probabilistic Model Checking. - Hiroyuki Nakagawa; Shimon Sumita; Shinobu Saito (SEKE, 2024)