17 lines (9 loc) · 800 Bytes

Publications

2025

ArXiv

Akira Hasegawa, Ryuta Kambe, Toshiaki Aoki, and Yuuki Takano, “A Case Study on Model Checking and Runtime Verification for Awkernel“, https://arxiv.org/abs/2503.09282, March 2025.

Japanese Domestic Workshop

Yuuki Takano and Koichi Imai, “Cyber Physical Systemsに適したリアルタイムOSの提案“ (in Japanese), IPSJ 2025-OS-166, https://ipsj.ixsq.nii.ac.jp/records/2000808, March 2025.

2023

International Conference (peer-reviewed)

Yuuki Takano, “Deadlock- and Starvation-free Formally Verified Client Library for Robots”, IEEE International Conference on System Reliability and Safety (ICSRS), Nov. 2023, PDF.