| 2025 | KES | Turning graffiti into art! The impact of shutter designs on shopping street attractiveness. | Takumi Kato, Yuki Chiba, Ami Hattori, Ryosuke Ikeda, Masaki Koizumi |
| 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 | ICST | Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
| 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 | CALCO | Constructor-Based Inductive Theorem Prover. | Daniel Gin, Min Zhang, Yuki Chiba, Yasuhito Arimoto |
| 2005 | PPDP | Program transformation by templates based on term rewriting. | Yuki Chiba, Takahito Aoto, Yoshihito Toyama |