2022 , 電子情報通信学会 ソフトウェアサイエンス研究会 研究奨励賞 2017 , International Workshop on Informatics, Excellent Paper Award 2016 , 電子情報通信学会 情報・システムソサエティ 活動功労賞 2015 , 電子情報通信学会 情報・システムソサエティ論文編集活動感謝状 2015 , IPA/SEC 論文賞2014年度SEC所長賞 2010 , International Workshop on Informatics. Bet Paper Award 2008 , 情報処理学会組み込みシステムシンポジウム奨励賞 1997 , 情報処理学会大会優秀賞
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,12(3):pp.143-156 2021(Mar.) Author:Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, and Toshifusa Sekizawa
Regression Verification for C Functions with Recursive Data Structure ,11(2):pp.107-115 2019(Oct.) Author:Kozo Okano, Rin Karashima, Satoshi Harauchi, and Shinpei Ogata
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench IEICE Transactions on Information and Systems,E102(8):pp.1419-1422 2019(Aug.) Author:Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, and Shin Nakajima
Effective Derivation of a Mapping of Variables in a Loop Structure International Journal of Informatics Society,10(2):pp.75-83 2018(Sep.) Author:Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
Support Tool for Refining Conceptual Model in Collaborative Learning Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering,:pp.168-167 2018(Aug.) Author:Misaki Maruyama, Shinpei Ogata, Kozo Okano, and Mizue Kayama
Analysis of Specification in Japanese using Natural Language Processing Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering,:pp.12-21 2018(Aug.) Author:Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa
Removing Ambiguous Message Exchanges in Designing Sequence International Journal of Informatics Society,9(3):pp.129-138 2017(Dec.) Author:Satoshi Harauchi, Kozo Okano, and Shinpei Ogata
On the Generation of Human-oriented Counter-examples using a Test Automaton, International Journal of Informatics Society,9(1):pp.41-50 2017(Jun. 01) Author:Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
Parallel Multiple Counter-Examples Guided Abstraction Loop –Applying to Timed Automaton– International Journal of Informatics Society,8(2):pp.103-116 2016(Apr. 01) Author:Kozo Okano, Takeshi Nagaoka, Toshiaki Tanaka, Toshifusa Sekizawa, Shinji Kusumoto
Formal Verification Technique for Consistency Checking between equals and hashCode Methods in Java International Journal of Informatics Society,7(2):pp.77-87 2015(Aug. 01) Author:Kozo Okano, Hiroaki Shimba, Takafujmi Ohta, Hiroki Onoue, and Shinji Kusumoto
New Metrics for Program Specifications Based on DbC International Journal of Informatics Society,6(2):79-87 2014 Author:Kozo Okano, Yuko Muto, Yukihiro Sasaki, Takafumi Ohta, and Shinji Kusumoto
Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects International Journal of Informatics Society,6(2):79-87 2014 Author:Toshifusa Sekizawa, Kozo Okano, Ayako Ogawa, and Shinji Kusumoto
Implementation of a Prototype Bi-directional Translation Tool between Ocl and Jml International Journal of Informatics Society,5(2):89-96 2013 Author:Kentaro Hanada, Hiroaki Shimba, Kozo Okano, and Shinji Kusumoto
Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model International Journal of Informatics Society,5(3):147-155 2013 Author:Kozo Okano, Toshifusa Sekizawa, Hiroaki Shimba, Hideki Kawai, Kentaro Hanada, Yukihiro Sasaki, and Shinji Kusumoto
LASP --- a Learning Assistant System for Formal Proof International Journal of Informatics Society,4(2):85-92 2012 Author:Kiyoyuki Miyazawa, Kozo Okano, and Shinji Kusumoto
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,E94D(5):958-966 2011(May) Author:Takeshi Nagaoka, Akihiko Ito, Kozo Okano, and Shinji Kusumoto
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,E94D(5):958-966 2011(May) Author:Takeshi Nagaoka,, Akihiko Ito, KozoOkano, and Shinji Kusumoto
A Visualization TEchnique for Unit Testing and Static Checking with Caller-Callee Relationships Journal of Convergences,2(2):1-8 2011(Feb.) Author:Yuko Muto, Kozo Okano, and Shinji Kusumoto
A Model Abstraction Technique for Probabilistic Real-Time Systems Based on CEGAR for Timed Automata International Journal of Informatics Society,3(1):11-20 2011 Author:Takeshi Nagaoka, Akihiko Ito, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,E93D(5):994-1005 2010(May) Author:Tekeshi Nagaoka, Kozo Okano, and, Shinji Kusumoto
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS,E93D(5):994-1005 2010(May) Author:Takeshi Nagaoka, Kozo Okano, and Shinji Kusumoto
Stepwise Approach to Design of Real-Time Systems based UML/OCL with Formal Verification International Journal of Informatics Society,1(2):33-44 2009 Author:Takeshi Nagaoka, Eigo Nagai, Toshiaki Tanaka, Kozo Okano, and Shinji Kusumoto
A Timed Automata Approach to QoS Resolution International Journal of Simulation Systems, Science & Technology Special Issue on: Performance Evaluation of Computer Systems,7(1):46-54 2006 Author:Behzad Bordbar, Rachid Anane, and Kozo Okano
Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTONICS, COMMUNICATIONS AND COMPUTER SCIENCES,E77-A(10):1623-1633 1994 Author:Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, and Kenichi Taniguchi
講演・口頭発表等 Verification of shell script behavior by comparing execution log, Proceedings of International Workshop on Informatics 2021 2021(Sep.) Presenter:Hitoshi Kiryu, Shinpei Ogata, and Kozo Okano
Software edutainment systems and analysis of learners’ data based docker and edutainment Proceedings of International Workshop on Informatics 2021 2021(Sep.) Presenter:Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, and Kozo Okano
Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Depen- dency Analysis, Proceedings of the 25th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 2021(Sep.) Presenter:Masanosuke Ohto, Hiroya Ii, Kozo Okano, and Shinpei Ogata
Improving Accuracy of Automatic Deriva- tion of State Variables and Transitions from a Japanese Requirements Specification Proceedings of the 13th International Joint Conference on Knowledge-Based Software En- gineering 2020(Sep.) Presenter:Hiroya Ii, Kozo Okano, and Shinpei Ogata
Java model check- ing: improvement of the understanding of counterexample, Proceedings of International Workshop on Informatics 2020 2020(Sep.) Presenter:Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems, 2020(Sep.) Presenter:Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
Proposal and evaluation for property verification for Java functions with recursive data structures by SAW Proceedings of International Workshop on Informatics 2019 2019(Sep.) Presenter:Rin Karashima, Satoshi Harauchi, Shinpei Ogata, and Kozo Okano
A Review Assistance System for Class Diagram with Voice Assistance based on NLP Proceedings of International Workshop on Informatics 2019 2019(Sep.) Presenter:Masashi Nakamura, Shinpei Ogata, Kozo Okano, Toshifusa Sekizawa
Automated inspection method for a STAMP/STPA – Fallen Barrier Trap at Railroad Crossing –, Proceedings of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems 2019(Sep.) Presenter:Yang Pan, Kozo Okano, and Shinpei Ogata
Approach to Testing Many State Machine Models in Education Proceedings of the 11th International Conference on Computer Supported Education (CSEDU 2019) 2019(May) Presenter:Shinpei Ogata, Mizue Kayama, Kozo Okano:
Applying SAW to regression verification for C functions with recursive data structure Proceedings of IWIN2018 2018(Sep.) Presenter:Kozo Okano, Satoshi Harauchi
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model Proceedings of the 12th Joint Conference on Knowlage-Based Software Engineering 2018(Aug.) Presenter:Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, and Hironori Washizaki
Towards Verification of Robot Design for Self-localization Proceedings of 13th Haifa Verification Conference 2017(Nov.) Presenter:Ryo Watanabe, Kozo Okano, and Toshifusa Sekizawa
Derivation of a map of variables in a loop structure Proceedings of International Workshop on Informatics 2017 2017(Sep.) Presenter:Kozo Okano, Shinji Kusumoto, and Yukihiro Sasaki
A method for verifying equivalence of functions in C language, Proceedings of International Workshop on Informatics 2017 2017(Sep.) Presenter:Satoshi Harauchi, Kozo Okano, and Shinpei Ogata
A rule-based method of stepwise evaluating class diagrams Proceedings of IWIN2017 2017(Sep.) Presenter:Shinpei Ogata, Kazune Miyajima, Mizue Kayama, and Kozo Okano
Equivalence Checking of Java Methods — Toward Ensuring IoT Dependability — Proceedings of The 26th International Conference on Computer Communications and Networks (ICCCN 2017) 2017(Aug. 01) Presenter:Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
A New Proposal of Generating Counter-example in Model Checking Using Test Automaton 2016 pp.243-248 2016(Sep. 01) Presenter:Chikyu Yanagisawa, Shinpei Ogata, Kozo Okano
A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs Proceedings of International Workshop on Informatics 2016 2016(Sep. 01) Presenter:Kozo Okano, Satoshi Harauchi, Kozo Okano, Shinpei Ogata
Framework for Relative Web Usability Evaluation on Usability Features in MDD LNCS 9856 pp.73-85 2016(Aug. 01) Presenter:Shinpei Ogata, Yugo Goto, Kozo Okano
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances Computer Software and Applications Conference (COMPSAC) 3 550-555 2015(Jul.) Presenter:Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, and Kozo Okano
Safety Verification of Multiple Autonomous Systems by Formal Approach LNCS 8696 11-18 2014(Sep.) Presenter:Kozo Okano and Toshifusa Sekizawa
Verification of Spatio-Temporal Role Based Access Control using Timed Automata Proceedings of IEEE International Workshop on Design, Analysis and Tools for Integrated Circuits and Systems 1-6 2012 Presenter:Emsaieb Geepalla, Behzad Bordbar, and Kozo Okano
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton Prpoceedings of the 2nd International Conference on Networking and Computing 2011 Presenter:Kozo Okano, Behzad Bordbar, and Takeshi Nagaoka
A Method to Generate Pre- and Postconditions for Java Methods Based on Hybrid Analysis Proceedings of International Workshop on Informatics 2008 2008 Presenter:Kozo Okano, Shinji Kusumoto, and Yasunobu Kajita
An Evaluation Mechanism for QoS Management in Wireless Systems Proceedings of ICPADS 2005 2005 Presenter:Behzad Bordbar, Rachid Anane, and Kozo Okano
Testing Deadlock-freeness in Real-time Systems --- A Formal Approach --- LNCS 3395 95-109 2004 Presenter:Behzad Bordbar and Kozo Okano
Verification of Timeliness QoS Properties in Multimedia Systems LNCS 2885 532-540 2003 Presenter:Behzad Bordbar and Kozo Okano