| 2009 | ISADS | An assurance method for functional system expansion of Tokyo metropolitan railway system. | Keiji Kamijyo, Hiroshi Kawasaki, Taichi Arisawa, Keisuke Bekki, Hideki Osumi, Daisuke Yagyu |
| 2007 | ISADS | Application of Assurance Technology for Railway Signaling System. | Masayuki Matsumoto, Keisuke Bekki |
| 2003 | ISADS | Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System. | Kazuo Kera, Keisuke Bekki, Hideki Osumi, Kinji Mori |
| 2001 | ISADS | Assurance Technologies for Growing Systems and Their Application to Large-Scale Transport Operation Control Systems. | Kazuo Kera, Keisuke Bekki, Naoki Miwa, Fumio Kitahara, Keiji Kamijyo, Kazuya Seki |
| 1999 | ISADS | Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System). | Fumio Kitahara, Keiji Kamijou, Yoshiaki Kakurai, Keisuke Bekki, Kazuo Kera, Katsumi Kawano |
| 1991 | ICCAD | An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition. | Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima |