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: From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem, COMPSAC, 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.

Daito Suzuki, Toshiaki Aoki, TRAN, Duong Dinh: Behavior Analysis through Visualization of ADS Runtime Log Data, PPL (Poster), 2026.

Daisuke Ishii: A Method for Componentization and Verification of Hierarchical Synchronous Reactive Systems. PPL (Poster), 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: 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: The Challenge of Applying Formal Methods to the Safety Verification of Autonomous Driving Systems, The 11th Automotive Software Frontier, Impress

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)

Takashi Tomita: Toward the Establishment of Formal Verification Methods for Autonomous Driving Systems, 2025 Annual Meeting of the Japan Society for Industrial and Applied Mathematics

Takashi Tomita: Toward Systematic Formal Verification of Autonomous Driving Systems, 10th Workshop on Software, Architecture, and Theory for Secure Systems (SATSS)

Toshiaki Aoki: Practical Application of Formal Methods to Next-Generation In-Vehicle Infrastructure Systems, 41st Annual Conference of the Japan Society for Software Science, Keynote Lecture

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