| 2026 | COMPSAC | From Simulation to Verification: A Flexible Interface for Scenario Description in Autoware Autonomous Driving Ecosystem. | Duong Dinh Tran, Peter Riviere, Takashi Tomita, Toshiaki Aoki |
| 2026 | ENASE | Detection of Dangerous Driving Events from Video Streams with Logical Explanations. | Kazuko Takahashi, Yurika Yamaguchi, Daiki Suzuki, Duong Dinh Tran, Aran Chindaudom, Takashi Tomita, Toshiaki Aoki |
| 2023 | ENASE | Specification Based Testing of Object Detection for Automated Driving Systems via BBSL. | Kento Tanaka, Toshiaki Aoki, Tatsuji Kawai, Takashi Tomita, Daisuke Kawakami, Nobuo Chida |
| 2022 | COMPSAC | 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 |
| 2022 | ICFEM | SMT-Based Model Checking of Industrial Simulink Models. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2022 | QRS | Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2022 | SAC | Leveraging hardware-dependent knowledge extraction with multiple program analysis techniques. | Thuy Nguyen, Takashi Tomita, Junpei Endo, Geon-ung Kang, Toshiaki Aoki |
| 2020 | PRDC | Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. | Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita |
| 2019 | APSEC | Integrating Static Program Analysis Tools for Verifying Cautions of Microcontroller. | Thuy Nguyen, Toshiaki Aoki, Takashi Tomita, Junpei Endo |
| 2019 | APSEC | Multiple Program Analysis Techniques Enable Precise Check for SEI CERT C Coding Standard. | Thu-Trang Nguyen, Toshiaki Aoki, Takashi Tomita, Iori Yamada |
| 2019 | ICSE | Reducing false positives of static analysis for SEI CERT C coding standard. | Thu Trang Nguyen, Pattaravut Maleehuan, Toshiaki Aoki, Takashi Tomita, Iori Yamada |
| 2019 | ICSE | A scalable Monte-Carlo test-case generation tool for large and complex simulink models. | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
| 2016 | ICSE | Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. | Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki |
| 2012 | ICFEM | A Temporal Logic with Mean-Payoff Constraints. | Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki |