Ryuta Kambe

According to our database, Ryuta Kambe authored at least 4 papers between 2021 and 2025.

Collaborative distances:

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

2025

A Case Study on Model Checking and Runtime Verification for Awkernel.

Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki, Yuuki Takano

CoRR, March, 2025

Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm.

Ryuta Kambe, Makoto Kurihara, Tetsuhiro Kawaguchi, Ryohei Kawabuchi, Yuuki Takano

J. Inf. Process., 2025

2024

A Formally Verified Leader Election Algorithm for Autonomous Driving Systems.

Ryuta Kambe, Benjamin Gilby, Yuuki Takano

Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

2021

Inside-Outside Algorithm for Macro Grammars.

Ryuta Kambe, Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka

Proceedings of the 15th International Conference on Grammatical Inference, 2021