OKANO Kozo

J-GLOBAL         Last updated: Feb 23, 2019 at 03:18
 
Avatar
Name
OKANO Kozo
URL
https://selab-su.weebly.com/
Affiliation
Shinshu University
Section
Faculty of Engineering Electrical and Computer Engineering
Job title
Associate Professor

Research Areas

 
 

Education

 
 
 - 
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

 
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   

Research Grants & Projects

 
Specification Verification via Model Checking Techniques