An Educational System of LSI Design with Free-Wares for VDEC. - Fumiharu Morisawa; Daisuke Kawakami; Kensuke Tanaka; Hideharu Amano (MSE, 1999)

A prototype chip of multicontext FPGA with DRAM for virtual hardware. - Daisuke Kawakami; Yuichiro Shibata; Hideharu Amano (ASP-DAC, 2001)

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)