広島市立大学 · 情報科学部 / 情報科学研究科 · 教授

研究キーワードリアルタイムシステム・形式的手法・モデル検査・組込みシステム・設計検証

研究分野ソフトウェア・情報学基礎論・計算機システム・通信工学

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法 電子情報通信学会論文誌 J109-D (9) (共著) 2026/092026 · 論文
• マルチタスクシステムのメモリ消費量削減のためのメモリ時間積を考慮したスケジューリングの提案 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報 SS2025-28 125 (288),31-36頁 (共著) 2025/12/122025 · 論文
• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法とその評価 電子情報通信学会ソフトウェアサイエンス研究会, 信学技報 SS2023-41 123 (335),58-63頁 (共著) 2024/01/182023 · 論文
• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法 2023 年度(第74 回)電気・情報関連学会中国支部連合大会予稿集 (共著) 2023/10/282023 · 論文

• 可動ノードを含む無線センサネットワークの電力最適な動的再構成および実装
• 実時間制約を含ネットワークシステムのHW/SWコデザインに関する研究
• IP再利用の為の次世代検証技術研究
• 高信頼性実時間並行システムの設計と検証に関する研究

• 公式プロフィール