Nihon University · Faculty of Engineering · 教授

Research keywordsprogram analysis・tree edit distance・abstract syntax trees・probabilistic model checking・multi-robot tracking・formal verification

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Statement-level Evaluation of C Programs with Tree Edit Distance on Normalized AST2026 · 2026 the 14th International Conference on Information and Education Technology (ICIET), (accepted, to appear), 2026年04月, 査読有り, 通常論文
• A study of multi-robot tracking problem in one-dimensional system using probabilistic model checking2025 · IEICE Transactions on Information and Systems, 2025年08月, 査読有り, 通常論文
• 通信障害を考慮した速度制御での1次元系における 追従ロボットに対するSPINを用いたモデル検査2025 · レクチャーノート/ソフトウェア学，ソフトウェア工学の基礎 32, 2025年11月, 査読有り, 通常論文
• Automatic Translation from PlantUML description to NuSMV using LLM2025 · Proceedings of 19th International Workshop on Informatics, 2025年09月, 査読有り, 通常論文

• 高品質テラヘルツセンシング技術による日本列島の古代物流ネットワーク起源の探索2025
• モデル検査を用いたプログラミング課題評価と課題提出システム構築2024
• 自然語解析と反例解析を活用したソフトウェア開発2021
• 組み合わせテストを応用した組込みシステムの検証項目生成の研究2017

• Official profile