Rchr
J-GLOBAL ID:201101067511336787   Update date: Feb. 01, 2024

TANABE Yoshinori

タナベ ヨシノリ | TANABE Yoshinori
Affiliation and department:
Other affiliations (1):
  • 国立情報学研究所  特任教授
Homepage URL  (1): http://cent.xii.jp/tanabe.yoshinori/
Research field  (1): Software
Research keywords  (3): 様相論理 ,  ソフトウェア検証 ,  モデル検査
Research theme for competitive and other funds  (11):
  • 2020 - 2023 Automatic generation of programming questions by symbolic execution
  • 2017 - 2020 Testing and model checking of IoT protocols
  • 2016 - 2019 Liveness verification in software model checking
  • 2014 - 2017 Integrated Runtime Monitoring of Network Software by Fusion of Runtime Verification and Model Checking
  • 2014 - 2017 Deepening the implemenation technology of high-level modeling language implementations integrated with verifiers
Show all
Papers (53):
more...
MISC (3):
  • Fuyuki Ishikawa, Takuo Doi, Kazunori Sakamoto, Nobukazu Yoshioka, Yoshinori Tanabe. Enlightening Test-Driven with Formal, Formal with Test-Driven through Spec-Test-Go-Round. GRACE Center, National Institute of Informatics. 2015. GRACE-TR-2015-05. 1-17
  • 田辺 良則. 組織の活動紹介 国立情報学研究所 トップエスイー. SEC journal. 2014. 10. 1. 46-48
  • On Master-Slave Model Checking Algorithms for Networked Applications. 2011. 28. 1-9
Lectures and oral presentations  (1):
  • 述語抽象化によるアルゴリズムの検証 〜 シェープ解析を例として
    (第4回プログラミングおよびプログラミング言語サマースクール 2006)
Professional career (1):
  • 博士(情報理工学) (東京大学)
Work history (8):
  • 2015/04 - 現在 Tsurumi University School of Literature, Department of Library, Archival and Information Studies
  • 2011/04 - 現在 National Institute of Informatics National Institute of Informatics
  • 2010/04 - 2011/03 National Institute of Informatics National Institute of Informatics
  • 2008/05 - 2010/03 東京大学 情報理工学系研究科 特任助教
  • 2005/10 - 2008/03 産業技術総合研究所 システム検証研究センター 招聘研究員
Show all
Awards (3):
  • 2012/08 - 日本ソフトウェア科学会 高橋奨励賞
  • 2012/04 - 文部科学省 平成24年度文部科学大臣表彰, 科学技術賞(理解増進部門) 先端ソフトウェア技術の普及啓発
  • 2007/06 - 日本ソフトウェア科学会 第2回解説論文賞
Association Membership(s) (3):
THE INSTITUTE OF ELECTRONICS, INFORMATION AND COMMUNICATION ENGINEERS ,  INFORMATION PROCESSING SOCIETY OF JAPAN ,  JAPAN SOCIETY FOR SOFTWARE SCIENCE AND TECHNOLOGY
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page