Nihon University · Faculty of Science and Engineering · 教授

Research keywords安全性・アシュアランスケース・プログラミング言語・生成AIによるソフトウェア開発・ディペンダビリティ(総合信頼性)・シリアスゲーム

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

• Amplifiers or Equalizers? A Longitudinal Study of LLM Evolution in Software Engineering Project-Based Learning (Extended Abstract)2026 · Proc. 48th International Conference on Software Engineering: Software Engineering Education and Training, SEET@ICSE 2026, 2026年04月, 査読有り, 通常論文
• GSN を用いたシミュレーションテスト生成による 自動運転システムの安全性保証手法2026 · 情報処理学会論文誌, 2026年03月, 査読有り, 通常論文
• IoT機器脆弱性検出のための逆コンパイルにおける実行可能性およびプログラム等価性の統計的解析2026 · 統計数理, 2026年, 査読有り
• Characterizing Reverse DNS Deployment for SPF-indicated Sender IP Addresses2026 · Proceedings of the 17th International Conference on Information, Intelligence, Systems and Applications (IISA 2026) / 16th International Conference on Artificial Intelligence-empowered Software Engineering (AIeSE 2026), 2026年07月, 査読有り

• 複雑システムに対応する保証付き階層化安全分析手法STPA-Refine2024
• アシュアランスケース自動合成のためのプログラム可能な記述言語の開発2023
• アシュアランスケース自動合成のためのプログラム可能な記述言語の開発2023
• 変化する要求と環境における機械学習システムのディペンダビリティ保証ツール・手法の研究開発2021

• Official profile