| CHECKING DEVICE, CHECKING METHOD, AND CHECKING PROGRAM T Aoshima, T Usui, Y Kawakoya, M Iwamura, J Miyoshi US Patent App. 17/783,608, 2023 | 2 | 2023 |
| Rust で記述された Linux カーネルドライバの安全性検査に向けて 青島達大， 大月勇人 コンピュータセキュリティシンポジウム 2023 論文集, 123-130, 2023 | | 2023 |
| 最新の Linux カーネルに対するエクスプロイト可能性 青島達大， 大月勇人 コンピュータセキュリティシンポジウム 2022 論文集, 620-627, 2022 | | 2022 |
| Model checking RNNs with modal μ-calculus T Aoshima, T Usui IEICE Technical Report; IEICE Tech. Rep. 119 (437), 119-124, 2020 | | 2020 |
| 様相 μ 計算による RNN のモデル検査 青島達大， 碓井利宣 研究報告セキュリティ心理学とトラスト (SPT) 2020 (21), 1-6, 2020 | | 2020 |
| Poster: Model checking RNNs with modal μ-calculus T Aoshima, T Usui | | 2020 |
| Revisiting the Vector Space Model: Sparse Weighted Nearest-Neighbor Method for Extreme Multi-Label Classification T Aoshima, K Kobayashi, M Minami arXiv preprint arXiv:1802.03938, 2018 | | 2018 |
