From c539249016b2efb06a10d913e5a7c3eff32e24d5 Mon Sep 17 00:00:00 2001 From: Yuuki Takano Date: Wed, 27 Aug 2025 16:31:19 +0900 Subject: [PATCH] publications: add papers Signed-off-by: Yuuki Takano --- PUBLICATIONS.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/PUBLICATIONS.md b/PUBLICATIONS.md index 8c3d72850..0c9e206d3 100644 --- a/PUBLICATIONS.md +++ b/PUBLICATIONS.md @@ -1,5 +1,15 @@ # 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)