PUBLICATION 研究業績
論文誌
-
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.
Daisuke Ishii: A Hypergraph-based Formalization of Hierarchical Reactive Modules and a Compositional Verification Method, SPIN, pp. 1-18, 2024.
Yuki Yamaguchi, Toshiaki Aoki: Attack Tree Analysis for Adversarial Evasion Attacks, IEEE Pacific Rim International Symposium on Dependable Computing, pp.46-52, 2023.
国内会議（査読なし）
柿下シナイ，長谷川央，青木 利晃，神戸隆太，高野祐輝: Rust製TLSFアロケータの形式検証，第155回プログラミング研究発表会，10 pages, 2025.
-
中釜雄太郎, 石井大輔, 美添一樹: 車両情報を用いた深層学習による運転者眠気検知の検討, 電子情報通信学会MSS研究会, 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).