| 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 | COMPSAC | MC | Jingcheng Yuan, 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 |
| 2026 | MODELSWARD | A Metamodel for Enumerating Off-Nominal Scenarios in Operational Scenario Review through Bounded Model Checking. | Kazunori Someya, Toshiaki Aoki |
| 2026 | MSR | Quantifying Competitive Relationships Among Open-Source Software Projects. | Yuki Takei, Toshiaki Aoki, Chaiyong Ragkhitwetsagul |
| 2026 | SAC | Facilitating Uncertainty in Perception-aware Responsibility-Sensitive Safety. | Akhoury Shauryam, Tanadol Chuntarasupt, Peter Riviere, Duong Dinh Tran, Toshiaki Aoki |
| 2026 | SIMULTECH | Survival Dynamics of FLOSS Communities: An Analysis via Motivation-Driven Agent-Based Modelling and Simulation. | Yuya Adachi, Toshiaki Aoki |
| 2025 | COMPSAC | Performance Evaluation of Multi-Head Logging in Flash File Systems. | Jingcheng Yuan, Kiyofumi Tanaka, Toshiaki Aoki |
| 2024 | PRDC | Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. | Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki |
| 2023 | ENASE | Compaction of Spacecraft Operational Models with Metamodeling Domain Knowledge. | Kazunori Someya, Toshiaki Aoki, Naoki Ishihama |
| 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 |
| 2023 | PRDC | Attack Tree Analysis for Adversarial Evasion Attacks. | Yuki Yamaguchi, Toshiaki Aoki |
| 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 | ICISSP | Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations. | Charnon Pattiyanon, Toshiaki Aoki |
| 2022 | MODELSWARD | A Method for Detecting Common Weaknesses in Self-Sovereign Identity Systems Using Domain-Specific Models and Knowledge Graph. | Charnon Pattiyanon, Toshiaki Aoki, Daisuke Ishii |
| 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 |
| 2021 | QRS | SSpinJa: Facilitating Schedulers in Model Checking. | Nhat-Hoa Tran, Toshiaki Aoki |
| 2020 | PRDC | Dataset Fault Tree Analysis for Systematic Evaluation of Machine Learning Systems. | Toshiaki Aoki, Daisuke Kawakami, Nobuo Chida, Takashi Tomita |
| 2020 | QRS | Comprehensive Robustness Evaluation of File Systems with Model Checking. | Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo |
| 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 |
| 2018 | PRDC | Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. | Zhengguo Yang, Toshiaki Aoki, Yasuo Tan |
| 2018 | SAC | Qualitative and quantitative analysis with scheduling policies in model checking. | Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki |
| 2018 | TASE | Formalization and Verification of AUTOSAR OS Standard's Memory Protection. | Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki |
| 2017 | APSEC | A Reusable Framework for Modeling and Verifying In-Vehicle Networking Systems in the Presence of CAN and FlexRay. | Xiaoyun Guo, Hsin-Hung Lin, Toshiaki Aoki, Yuki Chiba |
| 2017 | APSEC | Domain-Specific Language Facilitates Scheduling in Model Checking. | Nhat-Hoa Tran, Yuki Chiba, Toshiaki Aoki |
| 2017 | TASE | Assembly program verification for multiprocessors with relaxed memory model using SMT solver. | Pattaravut Maleehuan, Yuki Chiba, Toshiaki Aoki |
| 2016 | TASE | Verifying OSEK/VDX OS Design Using Its Formal Specification. | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
| 2015 | COMPSAC | Experimental Fault Analysis Process Implemented Using Model Extraction and Model Checking. | Hideto Ogawa, Makoto Ichii, Fumihiro Kumeno, Toshiaki Aoki |
| 2015 | ICST | Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
| 2013 | APSEC | A Practical Study of Debugging Using Model Checking. | Hideto Ogawa, Makoto Ichii, Fumihiko Kumeno, Toshiaki Aoki |
| 2013 | APSEC | Preserving Correctness of Requirements Evolution through Refinement in Event-B. | Kriangkrai Traichaiyaporn, Toshiaki Aoki |
| 2013 | APSEC | SMT-Based Bounded Model Checking for OSEK/VDX Applications. | Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang, Yuki Chiba, Kenro Yatake |
| 2013 | COMPSAC | Building a Body of Knowledge on Model Checking for Software Development. | Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki |
| 2013 | ICST | Towards Formal Description of Standards for Automotive Operating Systems. | Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi |
| 2012 | ICTAC | Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. | Kenro Yatake, Toshiaki Aoki |
| 2012 | SEKE | A Variability Management Method for Software Configuration Files. | Hiroaki Tanizaki, Toshiaki Aoki, Takuya Katayama |
| 2011 | APSEC | Conformance Testing for OSEK/VDX Operating System Using Model Checking. | Jiang Chen, Toshiaki Aoki |
| 2011 | ICWS | Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking. | Warawoot Pacharoen, Toshiaki Aoki, Athasit Surarerks, Pattarasinee Bhattarakosol |
| 2010 | ISORC | Non-regular Adaptation of Services Using Model Checking. | Hsin-Hung Lin, Toshiaki Aoki, Takuya Katayama |
| 2010 | RTCSA | Modeling of Real-Time System Designs for Parametric Analysis. | Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama |
| 2009 | ICTAC | A Minimized Assumption Generation Method for Component-Based Software Verification. | Pham Ngoc Hung, Toshiaki Aoki, Takuya Katayama |
| 2009 | ISORC | Detecting and Analyzing State Inconsistencies in Multi-task Software. | Toshiaki Aoki, Tadashi Sekiguchi, Masayuki Hirayama, Tomoji Kishi |
| 2008 | ISORC | Model Checking Multi-Task Software on Real-Time Operating Systems. | Toshiaki Aoki |
| 2007 | APSEC | Statechart-based Verification of Object-Oriented Design Models. | Toshiaki Aoki, Takuya Katayama |
| 2007 | SPLC | SPLC 2007 Dectoral Symposium. | Jaejoon Lee, Isabel John, Toshiaki Aoki, John D. McGregor |
| 2005 | ICTAC | Implementing Application-Specific Object-Oriented Theories in HOL. | Kenro Yatake, Toshiaki Aoki, Takuya Katayama |
| 2005 | ISORC | Formalization and Analysis of Dataflow in Object-Oriented Design Models. | Toshiaki Aoki, Takuya Katayama |
| 2002 | APSEC | Extracting threads from concurrent objects for the design of embedded systems. | Mitsutaka Okazaki, Toshiaki Aoki, Takuya Katayama |
| 1998 | APSEC | Unification and Consistency Verification of Object-Oriented Analysis Models. | Toshiaki Aoki, Takuya Katayama |