Rchr
J-GLOBAL ID：200901068443032918   Update date: Apr. 17, 2024

OKANO Kozo

オカノ コウゾウ | OKANO Kozo
Affiliation and department：
Shinshu University Faculty of Engineering Electrical and Computer Engineering

About Shinshu University Faculty of Engineering Electrical and Computer Engineering


Job title： Professor
Homepage URL  (2)： https://sites.google.com/cs.shinshu-u.ac.jp/sel/ ,  https://selab-su.weebly.com/
Research field  (1)： Software
Research keywords  (5)： Natural Language Processing ,  Large Language Model ,  Deep Learning ,  specification ,  verification
Research theme for competitive and other funds  (19)：
  • - 2021 プログラミング学習支援とデータ活用
  • - 2021 ソフトウェア設計に関する共同研究 三菱電機(株)
  • - 2020 ソフトウェア設計に関する共同研究 三菱電機(株)
  • - 2020 プログラミング学習支援とデータ活用
  • 2020 - ソフトウェア・モデル検査における説明可能な反例生成に関わる基礎研究
Show all
Papers (65)：
  • Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okan. Verification of Shell Script Behavior by Comparing Execution Log. International Journal of Informatics Society. 2022. 14. 2. 55-64
  • Executable Counterex- ample for Java Model Checker. International Journal of Informatics Society. 2022. 13. 3. 107-113
  • 大宮拓馬, 小形真平, 岡野浩三. 可読性の高いクラス図レイアウトを作成するための美的基準の調査. コンピュータソフトウェア. 2022. 38. 4. 33-39
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees. International Journal of Informatics Society. 2021. 12. 3. pp.143-156
  • Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa. Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees. International Journal of Informatics Society. 2021. 12. 3. pp.143-156
ｍore...
MISC (3)：
Books (2)：
  • システム技術に基づく安全設計ガイド
    電波新聞社 2019
  • アサーションベース設計
    丸善 2004 ISBN:4621074490
Lectures and oral presentations  (46)：
  • Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
    (Proceedings of 29th Asia-Pacific Software Engineering Conference (APSEC 2022) 2022)
  • A Method for Matching Patterns Based on Event Semantics with Requirements
    (Proceedings of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022) 2022)
  • Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
    (Proceedings of International Workshop on Informatics 2022 2022)
  • Automatic Derivation of a Transition Model from a Japanese Requirement Specification un- der a Restricted Grammar
    (Proceedings of International Workshop on Informatics 2022 2022)
  • A Bounded Model Checker for Timed Automata and Its Application to LTL Properties
    (Proceedings of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 2022)
ｍore...
Education (4)：
  • - 1995 Osaka University
  • - 1993 Osaka University
  • - 1992 Osaka University
  • - 1990 Osaka University
Professional career (2)：
  • 博士(工学) (大阪大学)
  • 修士(工学) (大阪大学)
Work history (9)：
  • 2020/04 - 信州大学工学部教授
  • 2015/03 - 2020/03 Shinshu University Faculty of Engineering
  • 2007/04 - 2015/02 Osaka University Graduate School of Information Science and Technology
  • 2011/04 - 2012/03 大阪大学教育実践センター准教授(兼任)
  • 2007/04 - 2007/09 Osaka Prefecture University School of Science
Show all
Committee career (1)：
  • 2020/06 - 2022/06 電子情報通信学会 ソフトウェアサイエンス研究会専門副委員長
Awards (4)：
  • 2016/06 - 電子情報通信学会 情報・システムソサエティ 活動功労賞
  • 2015/06 - 電子情報通信学会 情報・システムソサエティ論文編集活動感謝状
  • 2015/01 - IPA/SEC 論文賞2014年度SEC所長賞
  • 1997/03 - 情報処理学会大会優秀賞
Association Membership(s) (4)：
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