Keisuke Bekki

According to our database, Keisuke Bekki authored at least 9 papers between 1991 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

An assurance method for functional system expansion of Tokyo metropolitan railway system.

Keiji Kamijyo, Hiroshi Kawasaki, Taichi Arisawa, Keisuke Bekki, Hideki Osumi, Daisuke Yagyu

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2009), 2009

2007

Application of Assurance Technology for Railway Signaling System.

Masayuki Matsumoto, Keisuke Bekki

Proceedings of the International Symposium on Autonomous Decentralized Systems (ISADS 2007), 2007

2003

Autonomous Successive Construction Technology without Stopping System Operation for Real-Time System.

Kazuo Kera, Keisuke Bekki, Hideki Osumi, Kinji Mori

Proceedings of the 6th International Symposium on Autonomous Decentralized Systems (ISADS 2003), 2003

2002

Step-by-Step System Construction Technique with Assurance Technology -Evaluation Measure for Step-by-Step System Construction-.

Kazuo Kera, Keisuke Bekki, Kinji Mori

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System.

Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

2001

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

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Adaptive Step-by-Step Construction Technique Achieving High Assurance for Tokyo Metropolitan Railway Network.

Kazuo Kera, Keisuke Bekki, Keiji Kamijyo, Kinji Mori

Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

1999

Phased-in Construction Method of ATOS (Autonomous Decentralized Transport Operation Control System).

Fumio Kitahara, Keiji Kamijou, Yoshiaki Kakurai, Keisuke Bekki, Kazuo Kera, Katsumi Kawano

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

1991

An Automatic Finite State Machine Synthesis Using Temporal Logic Decomposition.

Keisuke Bekki, Tohru Nagai, Nobuhiro Hamada, Tsuguo Shimizu, Noriharu Hiratsuka, Kazumasa Shima

Proceedings of the 1991 IEEE/ACM International Conference on Computer-Aided Design, 1991