Keisuke Bekki

Publication Activity (10 Years)

Years Active: 1991-2009
Publications (10 Years): 0

Publications

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