J-GLOBAL         Last updated: Dec 31, 2019 at 02:38
Shinshu University
Faculty of Engineering Electrical and Computer Engineering
Job title
Associate Professor

Research Areas



Mar 1992
Osaka University
Mar 1993
Osaka University
Mar 1995
Osaka University
Mar 1990
Osaka University

Published Papers

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   Jun 2017

Conference Activities & Talks

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   
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   

Research Grants & Projects

Specification Verification via Model Checking Techniques