OKANO Kozo
Academic Assembly School of Science and Technology Institute of Engineering
Faculty of Engineering Electrical and Computer Engineering
Professor
Researcher Information
Research Keyword
- specification, verification, Deep Learning, Large Language Model, Natural Language Processing
Mail Address
- okano★cs.shinshu-u.ac.jp
Research activity information
Paper
- 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 2011
- 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 2011 - 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 2010
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. 2022Deriving 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. 2020Java 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. 2020Improving 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. 2020STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法
楊 盼, 岡野浩三, 小形真平, 岡本圭史
電子情報通信学会技術研究報告, SS2019, Mar. 2020Eclipse CheとDockerを用いたクラウドIDEによるプログラミング演習環境の構築
杉野雄大, 新村正明, 岡野浩三, 小形真平
電子情報通信学会技術研究報告, KBSE2019, Mar. 2020安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案
鈴木悠介, 小形真平, 大池勇太郎, 青木善貴, 中川博之, 小林一樹, 岡野浩三
電子情報通信学会技術研究報告, KBSE2019, Mar. 2020Edutainmentを指向したソフトウェア教育用フレームワークの提案
杉野雄大, 小形真平, 新村正明, 岡野浩三
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会 第26回ワークショップ FOSE 2019, レクチャーノート・ソフトウェア学 45 ソフトウェア工学の基礎XXVI, Dec. 2019ある組込みシステムの開発と検証のケーススタディ
岡野浩三, 小形真平, 夏目実希
電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019不具合原因分析支援のためのNuSMV反例解析手法の試案
大池勇太郎, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三
電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案
石川公一, 小形真平,中川博之, 岡野浩三
電子情報通信学会技術研究報告, KBSE2019-30, Nov. 2019Automated 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. 2019A 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. 2019Proposal 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. 2019Approach 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. 2019Applying SAW to regression verification for C functions with recursive data structure
Kozo Okano, Satoshi Harauchi
Proceedings of IWIN2018, Sep. 2018Tool 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. 2018Towards Verification of Robot Design for Self-localization
Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
Proceedings of 13th Haifa Verification Conference, Nov. 2017A rule-based method of stepwise evaluating class diagrams
Shinpei Ogata, Kazune Miyajima, Mizue Kayama, and Kozo Okano
Proceedings of IWIN2017, Sep. 2017A method for verifying equivalence of functions in C language,
Satoshi Harauchi, Kozo Okano, and Shinpei Ogata
Proceedings of International Workshop on Informatics 2017, Sep. 2017Derivation of a map of variables in a loop structure
Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
Proceedings of International Workshop on Informatics 2017, Sep. 2017Equivalence 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. 2017A 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. 2016A New Proposal of Generating Counter-example in Model Checking using Test Automaton
Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
2016 pp.243-248, 01 Sep. 2016Framework for Relative Web Usability Evaluation on Usability Features in MDD
Shinpei Ogata, Yugo Goto, Kozo Okano
LNCS 9856 pp.73-85, 01 Aug. 2016Behavior 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