diff --git a/PUBLICATIONS.md b/PUBLICATIONS.md
index 8c3d7285..0c9e206d 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)