Hiroshima City University · Faculty of Information Science / Graduate School of Information Science · 教授

Research keywordsリアルタイムシステム・形式的手法・モデル検査・組込みシステム・設計検証

Research fieldsSoftware・情報学基礎論・Computer system・通信工学

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

• プログラムの入れ子構造を考慮し実行時間の部分的計測を用いたパラメトリック実行時間解析手法 電子情報通信学会論文誌 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再利用の為の次世代検証技術研究
• 高信頼性実時間並行システムの設計と検証に関する研究

• Official profile