| 2024 | ICFEM | Repairing Event-B Models Through Quantifier Elimination. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2024 | ICFEM | On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. | Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont |
| 2023 | FM | Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement. | Tsutomu Kobayashi, Martin Bondu, Fuyuki Ishikawa |
| 2021 | TAP | Architecture-Guided Test Resource Allocation via Logic. | Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa |
| 2020 | ICFEM | Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement. | Guillaume Dupont, Yamine At Ameur, Neeraj Kumar Singh, Fuyuki Ishikawa, Tsutomu Kobayashi, Marc Pantel |
| 2018 | ICFEM | Analysis on Strategies of Superposition Refinement of Event-B Specifications. | Tsutomu Kobayashi, Fuyuki Ishikawa |
| 2017 | APSEC | Extracting Traceability between Predicates in Event-B Refinement. | Shinnosuke Saruwatari, Fuyuki Ishikawa, Tsutomu Kobayashi, Shinichi Honiden |
| 2016 | ER | Stepwise Refinement of Software Development Problem Analysis. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 2016 | FM | Refactoring Refinement Structure of Event-B Machines. | Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden |
| 1985 | ICASSP | An 18-bit floating-point signal processor VLSI with an on-chip 512W dual-port RAM. | Hironori Yamauchi, Takao Kaneko, Tsutomu Kobayashi, Atsushi Iwata, Sadayasu Ono |