Worawalan Chatlatanagulchai, Hao Li, Yutaro Kashiwa, Brittany Reid, Kundjanasith Thonglek, Pattara Leelaprute, Arnon Rungsawang, Bundit Manaskasemsak, Bram Adams, Ahmed E. Hassan, Hajimu Iida: Agent READMEs: An Empirical Study of Context Files for Agentic Coding, ACM Transactions on Software Engineering and Methodology (TOSEM), 2026 (accepted).

Trung-Hieu Nguyen, Truong-Giang Vuong, Hong-Nam Duong, Son Nguyen, Hieu Dinh Vo, Toshiaki Aoki, and Thu-Trang Nguyen: Safety-critical scenario generation for automated testing of autonomous driving systems, Automated Software Engineering, vol. 33, no. 3, Art. 82, May 2026.

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

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, Hideaki Takai: Bit-Precise Conformance Testing of Simulink Model Checkers. QRS, pp. 1-16, 2026.

Seungil Yang, Peter Riviere and Toshiaki Aoki: Relational Verification of Identity Disclosure Using Alloy, 12th International Conference on Rigorous State Based Methods(ABZ), pp.229-247, 2026.

Kazuko Takahashi, Yurika Yamaguchi, Daito Suzuki, Duong Dinh Tran, Aran Chindaudom, Takashi Tomita, Toshiaki Aoki: Detection of Dangerous Driving Events from Video Streams with Logical Explanations, pp. 470-477, Evaluation of Novel Approaches to Software Engineering(ENASE), 2026.

Sinai Kakishita: Towards verified memory allocator for Rust, Symposium, Formal Method (FM), 2026 (Best Presentation Award).

Akira Hasegawa: Revealing Intent - Implementation Gaps in Schedulers via Learning-Based Fuzzing, Doctoral Symposium, Formal Method (FM), 2026.

Suzuka Yoshimoto, Kosei Horikawa, Daniel Feitosa, Yutaro Kashiwa, Hajimu Iida: Is Self-Admitted Technical Debt Tested? An Empirical Study of Coverage, Co-change, and Impact, The 30th International Conference on Evaluation and Assessment in Software Engineering (ESEM), 2026 (accepted).

Ayane Shirakawa, Tatsuya Shirai, Yutaro Kashiwa, Masanari Kondo, Yasutaka Kamei, Hajimu Iida: Test Alert Snooze: An Empirical Study of Consecutive Test Failures on CI, The 30th International Conference on Evaluation and Assessment in Software Engineering (ESEM), 2026 (accepted).

Hiroto Takahashi, Atsushi Yano, and Takuya Azumi: Probabilistic Schedulability Analysis for Mixed-Criticality DAG Tasks on, Euromicro Conference on Real-Time Systems (ECRTS 2026), 2026.

Jingcheng Yuan and Toshiaki Aoki: MC3: Model Checking for Crash Consistency of Full-Stack File Systems, COMPSAC, 2026(accepted).

Duong Dinh Tran, Peter Riviere, Takashi Tomita and Toshiaki Aoki: From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem, COMPSAC, 2026(accepted).

Duong Dinh Tran, Peter Riviere, Takashi Tomita and Toshiaki Aoki: Safety Reference Benchmarks with Avoidability Criteria for Evaluating Autonomous Driving Systems, ISSRE, 2026(accepted).

Sinai Kakishita, Akira Hasegawa, Toshiaki Aoki, Ryuta Kambe and Yuuki Takano: Verifying a Memory Allocator for Rust, Formal Methods in Computer-Aided Design (FMCAD), 2026 (accepted).

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).

Hayate Toba, Atsushi Yano, and Takuya Azumi: Generalized Inequality-based Approach for Probabilistic WCET Estimation, In Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2025), Bangkok, Thailand, Nov. 2025.

Hiroto Takahashi, Atsushi Yano, and Takuya Azumi: Accelerating Probabilistic Response-Time Analysis: Revised Critical Instant and Optimized Convolution, In Proceedings of the Asia Pacific Conference on Robot IoT System Development and Platform (APRIS 2025), Bangkok, Thailand, Nov. 2025. (Best Paper Award)

Fuma Omori, Atsushi Yano, and Takuya Azumi: Partitioned Scheduling for DAG Tasks Considering Probabilistic Execution Time, In Proceedings of the 21st IEEE International Conference on Embedded Software and Systems (ICESS 2025), Exeter, UK, Aug. 2025. (Best Paper Award)

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

Daisuke Ishii: A Real-Blasting Extension of cvc5 for Reasoning about Floating-Point Arithmetic, pp.148-162, VMCAI, 2025.

Yutaro Nakagama, Kazuki Yoshizoe, Daisuke Ishii: Comparison of Lightweight Methods for Vehicle Dynamics-Based Driver Drowsiness Detection, IEEE-IV, pp. 1266-1273, 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.

鈴木 大飛, 青木 利晃, TRAN, Duong Dinh: ADS実行時ログデータの可視化による挙動解析, PPL(ポスター), 2026.

石井大輔: 階層的な同期リアクティブシステムの部品化および検証手法. PPL (ポスター), 2024.

中釜雄太郎, 石井大輔, 美添一樹: 車両情報を用いた深層学習による運転者眠気検知の検討, 電子情報通信学会MSS研究会, pp. 64-69, 2024.

Toshiaki Aoki: Practical Applications of Formal Methods to Automotive Systems: From In-Vehicle Systems to Autonomous Driving, 12th International Conference on Rigorous State Based Methods (ABZ), Keynote, 2026.

Atsushi Yano and Takuya Azumi: Toward the Right Analytical Model and System Software for Autonomous Driving Systems: Open Problems and Research Directions, International Real-Time Systems Open Problems Seminar (RTSOPS 2026)

青木利晃：自動運転システムの安全性検証における形式手法の実践への挑戦, 第１１回 オー トモーティブ・ソフトウェア・フロンティア，インプレス

Toshiaki Aoki: Formal Methods for the Verification of AI in Automotive Systems, Workshop: AI-Empowered Safe and Secure Rail Control Systems, IEEE International Conference on Intelligent Rail Transportation (ICIRT)

冨田尭：自動運転システムの形式検証手法の確立に向けて, 日本応用数理学会2025年度年会

冨田尭：自動運転システムの体系的形式検証に向けて，第10回セキュアシステムのためのソフトウェア，アーキテクチャ，理論に関するワークショップ (SATSS)

青木利晃：次世代車載基盤システムへの形式手法の実践，日本ソフトウェア科学会第41回大会，基調講演

Toshiaki Aoki: JST/CREST Project and Modeling Language for Scenario-based Safety Analysis, Scenario based Testing of Highly Automated Systems, SafeTRANS Industry Day in Roding, Germany

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).

GCPD: scenario Generator for Car Position Diagram

VBQueue: Formally Verified SPSC Lock-Free Ring Buffer with Verus

rlsf-verified: Formally verified real-time allocator written in Rust

A Runtime Verification Framework for Safety Analysis of Autonomous Driving Systems

Autoware Simulation Result Dataset:

ADSight: Visualization tool for Autoware logs