Rchr
J-GLOBAL ID：200901094597257395   Update date: Feb. 14, 2024

Akio Nakata

ナカタ アキオ | Akio Nakata
Affiliation and department：
Hiroshima City University Graduate School of Information Sciences, Dept. of Systems Engineering

About Hiroshima City University Graduate School of Information Sciences, Dept. of Systems Engineering


Job title： Professor
Research field  (4)： Communication and network engineering ,  Software ,  Computer systems ,  Information theory
Research keywords  (7)： model checking ,  formal methods ,  design optimization ,  design verification ,  distributed systems ,  embedded systems ,  real-time systems
Research theme for competitive and other funds  (22)：
  • 2010 - 2011 Optimal Parameter Exploration of Real-time Software and its Application to Embedded Software Reuse
  • 2009 - 2010 Optimal Parameter Exploration of Real-time Software and its Application to Embedded Software Reuse
  • 2009 - 2010 Power-Optimal Dynamic Reconfiguration and Implementation of Wireless Sensor Networks with Mobile Nodes
  • 2008 - 2010 Real-time network simulation for large-scale ubiquitous network
  • 2008 - 2009 可動ノードを含む無線センサネットワークの電力最適な動的再構成および実装
Show all
Papers (99)：
ｍore...
MISC (28)：
  • 時間オートマトンによる実時間システムの形式的検証. 計測と制御. 2009. 48. 11. 803-809
  • NISHI Keisuke, KITANI Tomoya, NAKATA Akio, HIGASHINO Teruo. A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead. 2008. 2008. 32. 179-184
  • NISHI Keisuke, KITANI Tomoya, NAKATA Akio, HIGASHINO Teruo. A Context Assignment Algorithm for Real-time Tasks on Dynamically Reconfigurable Processor with Reconfigurable Overhead. IEICE technical report. 2008. 107. 559. 179-184
  • KITANI Tomoya, NAKAHASHI Ryo, NAKATA Akio, YASUMOTO Keiichi, HIGASHINO Teruo. A Context Assignment Algorithm for Functional Modules with Timing Constraints on Dynamic Reconfigurable Processor. IEICE technical report. 2007. 106. 604. 1-6
  • MURAI Wataru, HAYASHI Daisuke, NAKATA Akio, KITANI Tomoya, YASUMOTO Keiichi, HIGASHINO Teruo. A Method for Verifying Performance Requirements and Optimizing Communication Scheduling of Network-on-Chip. 2007. 2007. 27. 25-30
ｍore...
Patents (2)：
  • パラメトリック実行時間解析装置及び解析方法
  • タイムバジェット最適化装置及び最適化方法
Books (1)：
  • Assertion-Based Design Second Edition
    丸善 2004
Lectures and oral presentations  (4)：
  • 時間オートマトンのモデル検査
    (電子情報通信学会ソフトウェアサイエンス研究会 2009)
  • リアルタイムシステム ~時間を守るコンピュータ~
    (広島市立大学公開講座講演会 2007)
  • 実時間システムのパラメトリック解析とその応用
    (2004年度 システム設計検証技術研究会 第2回講演会 2004)
  • モデル検査技術の最新動向
    (奈良先端科学技術大学院大学 ゼミナールI 講演会 2003)
Professional career (2)：
  • 博士(工学) (大阪大学)
  • Ph.D. (Dr. Eng.) (Osaka University)
Work history (4)：
  • 2007/04 - 現在 Professor, Graduate School of Information Sciences, Hiroshima City University
  • 2002/04/01 - 2007/03/31 Associate Professor, Graduate School of Information Science and Technology, Osaka University
  • 2000/04/01 - 2002/03/31 Research Associate, Graduate School of Engineering Science, Osaka University
  • 1997/04/01 - 2000/03/31 Research Associate, Faculty of Information Sciences, Hiroshima City University
Committee career (16)：
  • 2005/11 - 現在 (社)電子情報通信学会 ソサイエティ論文誌編集委員会 常任査読委員
  • 2022/01 - 2022/11 (社)電子情報通信学会 和文論文誌D 学生論文特集号 編集委員会 委員長
  • 2018/06 - 2020/05 (社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 委員長
  • 2015/06 - 2019/05 (社)電子情報通信学会 和文論文誌D編集委員会 編集委員
  • 2016/06 - 2018/05 (社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 副委員長
Show all
Awards (3)：
  • 2016/07/14 - 電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞
  • 2002/10 - 情報処理学会モバイルコンピューティングとワイヤレス通信研究会 優秀論文賞
  • 2002/07 - DICOMO 2002 優秀論文賞
Association Membership(s) (3)：
Information Processing Society of Japan ,  IEEE ,  電子情報通信学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM