Satoru Kitamura

According to our database, Satoru Kitamura authored at least 6 papers between 2001 and 2019.

Collaborative distances:

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

2019

Automatic Generation of Train Timetables from Mesoscopic Railway Models by SMT-Solver.

Yoshinao Isobe, Hisabumi Hatsugai, Akira Tanaka, Yutaka Oiwa, Takanori Ambe, Akimasa Okada, Satoru Kitamura, Yamato Fukuta, Takashi Kunifuji

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2019

2017

Improvement of Availability of Level Crossing System by Autonomous Decentralized Technology.

Satoru Kitamura, Manabu Teramoto, Satoshi Itoya, Yamato Fukuta

Proceedings of the 13th IEEE International Symposium on Autonomous Decentralized System, 2017

2013

Community Participation Support Using an ICF-Based Community Map.

Satoru Kitamura, Koji Kitamura, Yoshifumi Nishida, Ken-Ichiro Sakae, Junko Yasuda, Hiroshi Mizoguchi

Proceedings of the Design, User Experience, and Usability. Design Philosophy, Methods, and Tools, 2013

2002

Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation .

Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori

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

2001

The New ATC Systems with an Autonomous Speed Control with On-Board Equipment.

Masayuki Matsumoto, Akiyoshi Hosokawa, Satoru Kitamura, Dai Watanabe, Atsushi Kawabata

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

High Assurance Technologies for Autonomous Decentralized Train Control System.

Masayuki Matsumoto, Satoru Kitamura, M. Sato

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