Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. - Toshiaki Aoki; Daisuke Kawakami; Nobuo Chida; Takashi Tomita (PRDC, 2020)

A Formal Specification Language Based on Positional Relationship Between Objects in Automated Driving Systems. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (COMPSAC, 2022)

Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. - Kento Tanaka; Toshiaki Aoki; Tatsuji Kawai; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (ENASE, 2023)

Modeling Language for Scenario Development of Autonomous Driving Systems. - Toshiaki Aoki; Takashi Tomita; Tatsuji Kawai; Daisuke Kawakami; Nobuo Chida (FormaliSE, 2025)

Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems. - Kento Tanaka; Toshiaki Aoki; Takashi Tomita; Daisuke Kawakami; Nobuo Chida (IEEE Access, 2025)