Kazunori Someya, Toshiaki Aoki, Naoki Ishihama: Metamodel-Based Compaction of Spacecraft Operational Scenario Models for Efficient Review. IEEE
Access 13: 163354-163371, 2025.

Duong Dinh Tran, Takashi Tomita, and Toshiaki Aoki: Safety Analysis of Autonomous Driving Systems: A Simulation-Based Runtime Verification Approach, IEEE Transactions on Reliability, vol. 74, no. 4, pp. 4574-4588, 2025.

Kento Tanaka, Toshiaki Aoki, Takashi Tomita, Daisuke Kawakami, Nobuo Chida: Specification-Based Testing of the Image-Recognition Performance of Automated Driving Systems, IEEE Access, 2025, 13, pp. 6321-6349

Mengwei Xu, Peter Riviere, Toshiaki Aoki, Marie Farrell, Yamine Ait-Ameur, Neeraj Singh and Guillaume Dupont: Encoding BDI Syntax with Theories in Event-B, 12th International Conference on Rigorous State Based Methods(ABZ), 2026 (accepted).

Kazunori Someya, Toshiaki Aoki, Naoki Ishihama: A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking, MODELSWARD, 2026 (accepted).

Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, and Toshiaki Aoki: Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety, SAC, 2026(accepted).

Peter Riviere, Duong Dinh Tran, Takashi Tomita, Toshiaki Aoki: A Reasoning and Explicit Algebraic Theory for BBSL in Event-B: EB4BBSL Framework, ABZ, pp.330-338, 2025.

Duong Dinh Tran, Akira Hasegawa, Peter Riviere, Takashi Tomita, Toshiaki Aoki: Enhancing Decision-Making Safety in Autonomous Driving Through Online Model Checking, ABZ, pp.231-248, 2025.

Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida: Modeling Language for Scenario Development of Autonomous Driving Systems, FormaliSE, pp.11-21, 2025

Jingcheng Yuan, Kiyofumi Tanaka, Toshiaki Aoki: Performance Evaluation of Multi-Head Logging in Flash File Systems, COMPSAC, pp.1764-1769, 2025.

Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki: Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems, pp. 216 - 219, PRDC Workshop, 2024.

Yutaro Nakagama, Daisuke Ishii, Kazuki Yoshizoe: Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data, IEICE MSS Workshop, pp. 64-69, 2024.

Toshiaki Aoki, Takashi Tomita, Tatsuji Kawai, Daisuke Kawakami, Nobuo Chida: Modeling Language for Scenario Development of Autonomous Driving Systems, arXiv:2501.09319 (to appear in FormaliSE 2025).

Yuki Yamaguchi, Toshiaki Aoki: Attack Tree Analysis for Adversarial Evasion Attacks, arXiv:2312.16957, 11 pages, 2023 (extended version of the paper published in PRDC 2023).