publications: add papers (#643)

Signed-off-by: Yuuki Takano <ytakanoster@gmail.com>

Author: ytakano

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)