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 (56)：

Kotaro Tanabe, Yoshinori Tanabe, Masami Hagiya. Model-Based Testing for MQTT Applications. Knowledge-Based Software Engineering: 2020. 2020. 47-59
Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma 0003, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test. Verification Reliab. 2020. 30. 7-8
Masami Hagiya, Kosuke Fukuda, Yoshinori Tanabe, Toshinori Saito. Automatically Generating Programming Questions Corresponding to Rubrics Using Assertions and Invariants. Sustainable ICT, Education and Learning. 2019. 89-98
Jun Yoneyama, Cyrille Artho, Yoshinori Tanabe, Masami Hagiya. Model-based Network Fault Injection for IoT Protocols. Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering. 2019
Cyrille Artho, Quentin Gros, Guillaume Rousset, Kazuaki Banzai, Lei Ma, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based API Testing of Apache ZooKeeper. 2017 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST). 2017. 288-298

ｍore...

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