Ryuta Kambe

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2025
A Case Study on Model Checking and Runtime Verification for Awkernel.
CoRR, March, 2025

Redundant Autonomous Driving System with Formally Verified Leader Election Algorithm.
J. Inf. Process., 2025

2024
A Formally Verified Leader Election Algorithm for Autonomous Driving Systems.
Proceedings of the 30th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2024

2021
Inside-Outside Algorithm for Macro Grammars.
Proceedings of the 15th International Conference on Grammatical Inference, 2021


  Loading...