Warning: Undefined array key "HTTP_ACCEPT_LANGUAGE" in C:\Apache24\htdocs\search\index.php on line 12

Deprecated: substr(): Passing null to parameter #1 ($string) of type string is deprecated in C:\Apache24\htdocs\search\index.php on line 12
OKANO Kozo｜Shinshu University Researcher List

OKANO Kozo

Academic Assembly　School of Science and Technology　Institute of Engineering

Faculty of Engineering　Electrical and Computer Engineering　

Professor　

Researcher Information

Degree

  • 修士（工学）, 大阪大学
  • 博士(工学), 大阪大学

Research Keyword

    specification, Deep Learning, Large Language Model, Natural Language Processing, verification

Mail Address

    okano★cs.shinshu-u.ac.jp

Educational Background

  • 1992, 大阪大学, 大学院基礎工学研究科, 物理系専攻　情報工学分野 (修了)
  • 1993, 大阪大学, 大学院基礎工学研究科, 物理系専攻　情報工学分野 (文部教官助手採用のため退学)
  • 1995, 大阪大学, 大学院基礎工学研究科, 物理系専攻　情報工学分野 (論文博士)
  • 1990, 大阪大学, 基礎工学部, 情報工学科
Research activity information

Paper

  • ネットワーク構成モデルに基づくネットワーク機器設定手順自動生成システム
    新井凪, 小形真平, 鈴木彦文, 岡野浩三
    情報処理学会論文誌デジタルプラクティス(DP), vol.4(No.3), 33-47, 2023, Refereed
    Last
  • Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning,
    Hitoshi Kiryu, Nobutoshi Todoroki, Satoshi Suda, Shinpei Ogata, and Kozo Okano
    International Journal of Informatics Society, vo.15(no.1), 15-22, 2023, Refereed
    Last
  • Reducing Syntactic Com- plexity for Information Extraction from Japanese Requirement Specifications
    Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
    Proceedings of 29th Asia-Pacific Software Engineering Conference, Dec. 2022
  • A Method for Matching Patterns Based on Event Semantics with Requirements
    Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
    Proceedings of 14th International Joint Conference on Knowledge-Based Software Engineering, Sep. 2022
  • Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench
    Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, and Shin Nakajima
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E102(8), pp.1419-1422, Aug. 2019
  • Effective Derivation of a Mapping of Variables in a Loop Structure
    Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
    International Journal of Informatics Society, 10(2), pp.75-83, Sep. 2018
  • Analysis of Specification in Japanese using Natural Language Processing
    Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
    Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering, pp.12-21, Aug. 2018
  • Support Tool for Refining Conceptual Model in Collaborative Learning
    Misaki Maruyama, Shinpei Ogata, Kozo Okano, and Mizue Kayama
    Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering, pp.168-167, Aug. 2018
  • Removing Ambiguous Message Exchanges in Designing Sequence
    Satoshi Harauchi, Kozo Okano, and Shinpei Ogata
    International Journal of Informatics Society, 9(3), pp.129-138, Dec. 2017
  • On the Generation of Human-oriented Counter-examples using a Test Automaton,
    Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
    International Journal of Informatics Society, 9(1), pp.41-50, 01 Jun. 2017
  • Parallel Multiple Counter-Examples Guided Abstraction Loop –Applying to Timed Automaton–
    Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, Shinji Kusumoto
    International Journal of Informatics Society, 8(2), pp.103-116, 01 Apr. 2016
  • QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
    Takeshi Nagaoka,, Akihiko Ito, KozoOkano, and Shinji Kusumoto
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E94D(5), 958-966, May 2011WebofScience電子ジャーナル
  • QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
    Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E94D(5), 958-966, May 2011WebofScience電子ジャーナル
  • A Visualization TEchnique for Unit Testing and Static Checking with Caller-Callee Relationships
    Yuko Muto, Kozo Okano, and Shinji Kusumoto
    Journal of Convergences, 2(2), 1-8, Feb. 2011
  • An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop
    Tekeshi Nagaoka, Kozo Okano, and, Shinji Kusumoto
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E93D(5), 994-1005, May 2010WebofScience電子ジャーナル
  • Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces
    Takuma Ikeda, Kozo Okano, Shinpei Ogata, and Shin Nakajima
    Proceedings of 2nd International Workshop on Intelligent Software Engineering
  • Temporal relation identification in functional requirements
    Maiko Onishi, Shinpei Ogata, Kozo Okano, and Daisuke Bekki
    Proceedings of 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems

Lectures, oral presentations, etc.

  • Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
    Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
    Proceedings of 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec. 2022
  • Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
    Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
    Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems,, Sep. 2020
  • Java model check- ing: improvement of the understanding of counterexample,
    Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano
    Proceedings of International Workshop on Informatics 2020, Sep. 2020
  • Improving Accuracy of Automatic Deriva- tion of State Variables and Transitions from a Japanese Requirements Specification
    Hiroya Ii, Kozo Okano, and Shinpei Ogata
    Proceedings of the 13th International Joint Conference on Knowledge-Based Software Engineering, Sep. 2020
  • STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法
    楊 盼, 岡野浩三, 小形真平, 岡本圭史
    電子情報通信学会技術研究報告, SS2019, Mar. 2020
  • Eclipse CheとDockerを用いたクラウドIDEによるプログラミング演習環境の構築
    杉野雄大, 新村正明, 岡野浩三, 小形真平
    電子情報通信学会技術研究報告, KBSE2019, Mar. 2020
  • 安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案
    鈴木悠介, 小形真平, 大池勇太郎, 青木善貴, 中川博之, 小林一樹, 岡野浩三
    電子情報通信学会技術研究報告, KBSE2019, Mar. 2020
  • Edutainmentを指向したソフトウェア教育用フレームワークの提案
    杉野雄大, 小形真平, 新村正明, 岡野浩三
    日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会 第26回ワークショップ FOSE 2019, レクチャーノート・ソフトウェア学 45 ソフトウェア工学の基礎XXVI, Dec. 2019
  • ある組込みシステムの開発と検証のケーススタディ
    岡野浩三, 小形真平, 夏目実希
    電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019
  • 不具合原因分析支援のためのNuSMV反例解析手法の試案
    大池勇太郎, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三
    電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019
  • word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案
    石川公一, 小形真平,中川博之, 岡野浩三
    電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019
  • Automated inspection method for a STAMP/STPA – Fallen Barrier Trap at Railroad Crossing –,
    Yang Pan, Kozo Okano, and Shinpei Ogata
    Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, Sep. 2019
  • A Review Assistance System for Class Diagram with Voice Assistance based on NLP
    Masashi Nakamura, Shinpei Ogata, Kozo Okano, Toshifusa Sekizawa
    Proceedings of International Workshop on Informatics 2019, Sep. 2019
  • Proposal and evaluation for property verification for Java functions with recursive data structures by SAW
    Rin Karashima, Satoshi Harauchi, Shinpei Ogata, and Kozo Okano
    Proceedings of International Workshop on Informatics 2019, Sep. 2019
  • Approach to Testing Many State Machine Models in Education
    Shinpei Ogata, Mizue Kayama, Kozo Okano:
    Proceedings of the 11th International Conference on Computer Supported Education (CSEDU 2019), May 2019
  • 学習済みWebサイトの操作ログに基づく有効性・効率性評価の実践
    青木亮太, 小形真平, 岡野浩三
    電子情報通信学会技術研究報告, KBSE2018-64, Mar. 2019
  • Applying SAW to regression verification for C functions with recursive data structure
    Kozo Okano, Satoshi Harauchi
    Proceedings of IWIN2018, Sep. 2018
  • Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model
    Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, and Hironori Washizaki
    Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering, Aug. 2018
  • Towards Verification of Robot Design for Self-localization
    Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
    Proceedings of 13th Haifa Verification Conference, Nov. 2017
  • A rule-based method of stepwise evaluating class diagrams
    Shinpei Ogata, Kazune Miyajima, Mizue Kayama, and Kozo Okano
    Proceedings of IWIN2017, Sep. 2017
  • A method for verifying equivalence of functions in C language,
    Satoshi Harauchi, Kozo Okano, and Shinpei Ogata
    Proceedings of International Workshop on Informatics 2017, Sep. 2017
  • Derivation of a map of variables in a loop structure
    Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
    Proceedings of International Workshop on Informatics 2017, Sep. 2017
  • Equivalence Checking of Java Methods — Toward Ensuring IoT Dependability —
    Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
    Proceedings of The 26th International Conference on Computer Communications and Networks (ICCCN 2017), 01 Aug. 2017
  • A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs
    Kozo Okano, Satoshi Harauchi, Kozo Okano, Shinpei Ogata
    Proceedings of International Workshop on Informatics 2016, 01 Sep. 2016
  • A New Proposal of Generating Counter-example in Model Checking using Test Automaton
    Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
    2016 pp.243-248, 01 Sep. 2016
  • Framework for Relative Web Usability Evaluation on Usability Features in MDD
    Shinpei Ogata, Yugo Goto, Kozo Okano
    LNCS 9856 pp.73-85, 01 Aug. 2016
  • Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances
    Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
    Computer Software and Applications Conference (COMPSAC) 3 550-555, Jul. 2015, IEEE

Research Themes

  • Specification Verification via Model Checking Techniques