Rchr
J-GLOBAL ID:201101039844375662   Update date: Jul. 02, 2021

Nakamura Masaki

Nakamura Masaki
Homepage URL  (1): http://www.pu-toyama.ac.jp/IS/MN/
Research field  (2): Information theory ,  Software
Research keywords  (19): 帰納法 ,  検証 ,  要求仕様 ,  安全性・信頼性 ,  モジュールシステム ,  フォーマルメソッド ,  検証システム ,  認証プロトコル ,  代数仕様 ,  証明スコア ,  項書き換えシステム ,  ソフトウェア工学 ,  項書換システム ,  問題モデル ,  CafeOBJ ,  システム安全性 ,  形式手法 ,  振舞仕様 ,  システム検証
Research theme for competitive and other funds  (1):
  • 2019 - 2024 形式手法と数理最適化による高信頼かつ高効率な自動運転車群制御システムの構築
Papers (51):
  • Daniel Găină, Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi. Stability of termination and sufficient-completeness under pushouts via amalgamation. Theoretical Computer Science. 2020. 848. 82-105
  • Masaki Nakamura, Shuki Higashi, Kazutoshi Sakakibara, Azuhiro Ogata. Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method. 2020 59th Annual Conference of the Society of Instrument and Control Engineers of Japan, SICE 2020. 2020. 1210-1215
  • Masaki Nakamura, Kazutoshi Sakakibara. Formal verification and mathematical optimization for autonomous vehicle group controllers. Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. 2019. 732-733
  • Masaki Nakamura, Kazutoshi Sakakibara. On Verifying Formula Transformations in Optimization Problems by Algebraic Specifications. Proceedings of the SICE Annual Conference 2018. 2018. 1350-1353
  • 浅井康平, 榊原一紀, 中村正樹. 限量記号消去法に基づく最適化問題に対する感度解析. 進化計算学会論文誌. 2018. 9. 2. 53-60
more...
MISC (79):
more...
Lectures and oral presentations  (45):
  • 社会意識形成過程の形式概念分析に基づく解析の試み
    (計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM) 2017)
  • 階層型マルチエージェント・シミュレーションに基づく駐車場レイアウトの評価・最適化
    (計測自動制御学会システム・情報部門学術講演会講演論文集(CD-ROM) 2017)
  • マルチエージェント・シミュレーションに基づく駐車場レイアウトの評価技法の開発
    (電気学会電子・情報・システム部門大会講演論文集(CD-ROM) 2017)
  • Algebraic specifications of elevator systems
    (システム制御情報学会研究発表講演会講演論文集 2017)
  • モデル検査を用いたOTS/CafeOBJ仕様からのテストケース自動生成手法
    (電子情報通信学会大会講演論文集(CD-ROM) 2017)
more...
Professional career (1):
  • 博士(情報科学) (JAIST)
Work history (6):
  • 2020/04 - 現在 Toyama Prefectural University Faculty of Engineering, Department of Information Systems Engineering Associate Professor
  • 2017/04 - 2020/03 Toyama Prefectural University Faculty of Engineering, Department of Electrical and Computer Engineering Associate Professor
  • 2011 - 2017 Toyama Prefectural University Faculty of Engineering Department of Information Systems Engineering
  • 2008 - 2011 Kanazawa University Institute of Science and Engineering Assistant Professor
  • 2007 - 2008 Japan Advanced Institute of Science and Technology
Show all
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page