Ryuta Kambe

According to our database, Ryuta Kambe authored at least 3 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

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