The Graduate University for Advanced Studies, SOKENDAI · National Institute of Informatics

Research keywordssoftware engineering・metamorphic testing・quantum software engineering・formal model repair・fault localization・human robot interaction

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

• ジャーナル名: The ACM/IEEE International Conference on Human-Robot Interaction (HRI 2026)2026 · 論文一覧（最新5件）
• Coordinating Speech with Touch Input and Visual Cues in Human–Robot Interaction: A Multimodal System Evaluated through Metamorphic Testing 出版年: 2026 ジャーナル名: The ACM/IEEE International Conference on Human-Robot Interaction (HRI 2026) URL: https://researchmap.jp/f-ishikawa/published_papers/517809022026 · 論文一覧（最新5件）
• Design Space Exploration for Quantum Service Selection and Shot Combination 出版年: 2026 ジャーナル名: The 7th International Workshop on Quantum Software Engineering (Q-SE 2026) URL: https://researchmap.jp/f-ishikawa/published_papers/517426012026 · 論文一覧（最新5件）
• 出版年: 20262026 · 論文一覧（最新5件）

• 要求と実装のトレーサビリティー追求による深層学習システムの高品質化 2021-2024 キーワード: 深層学習, 欠陥局所化, プログラム自動修正, デバッグ, Fault Localization URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23K21657/2021 · 研究課題一覧（最新5件）
• 保証付き多段階システムモデルの柔軟・継続的な洗練・進化 2017-2020 キーワード: ソフトウェア開発効率化・安定化, 形式手法, システムモデリング, 段階的詳細化, Cyber-Physical Systems, ソフトウエア開発効率化・安定化 URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-17H01727/2017 · 研究課題一覧（最新5件）
• 異種ユビキタスプラットフォームを横断する，保障を伴う自己適応に関する研究 2016-2018 キーワード: 自己適応, ソフトウェア検証, アクターモデル, Session Type, 自己適応システム URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16F16805/2016 · 研究課題一覧（最新5件）
• 実行時ゴールモデル追跡による想定外の検出 2015-2016 キーワード: ゴールモデル, 不確かさ, 障害原因分析, サイバーフィジカルシステム, ソフトウエア開発効率化・安定化, Cyber-Physical Systems, Internet of Things, 適応・進化, ドメイン分析, 監視 URL: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15K12012/2015 · 研究課題一覧（最新5件）

• Official profile