Deriving Protocol Specifications from Service Specifications in Extended FSM Models. - Teruo Higashino; Kozo Okano; Hiroshi Imajo; Kenichi Taniguchi (ICDCS, 1993)

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICDCS, 1995)

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. - Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 1996)

Protocol Synthesis from Time Petri Net Based Service Specification. - Hirozumi Yamaguchi; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (ICPADS, 1997)

Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. - Kozo Okano; Satoshi Hattori; Akira Yamamoto; Teruo Higashino; Kenichi Taniguchi (ICPP Workshops, 1999)

Formal Verification of CPU in Laboratory Work. - Kozo Okano; Yuko Kitahama; Akira Kitajima; Teruo Higashino; Kenichi Taniguchi (MSE, 2001)

Verification of Timeliness QoS Properties in Multimedia Systems. - Behzad Bordbar; Kozo Okano (ICFEM, 2003)

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. - Behzad Bordbar; Kozo Okano (FATES, 2004)

An Evaluation Mechanism for QoS Management in Wireless Systems. - Behzad Bordbar; Rachid Anane; Kozo Okano (ICPADS (2), 2005)

Symbolic model checking of extended finite state machines with linear constraints over integer variables. - Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi (Syst. Comput. Jpn., 2006)

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop. - Takeshi Nagaoka; Kozo Okano; Shinji Kusumoto (IEICE Trans. Inf. Syst., 2010)

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. - Kozo Okano; Behzad Bordbar; Takeshi Nagaoka (ICNC, 2011)

Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation. - Yuko Muto; Kozo Okano; Shinji Kusumoto (IWSM/Mensura, 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; Shinji Kusumoto (IEICE Trans. Inf. Syst., 2011)

Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. - Kentaro Hanada; Kozo Okano; Shinji Kusumoto; Kiyoyuki Miyazawa (ICEIS (2), 2012)

Verification of Spatio-Temporal Role Based Access Control using Timed Automata. - Emsaieb Geepalla; Behzad Bordbar; Kozo Okano (NESEA, 2012)

Bidirectional Translation between OCL and JML for Round-Trip Engineering. - Hiroaki Shimba; Kentaro Hanada; Kozo Okano; Shinji Kusumoto (APSEC (2), 2013)

Safety Verification of Multiple Autonomous Systems by Formal Approach. - Kozo Okano; Toshifusa Sekizawa (SAFECOMP Workshops, 2014)

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. - Toshifusa Sekizawa; Fumiya Otsuki; Kazuki Ito; Kozo Okano (COMPSAC Workshops, 2015)

Foreword. - Kozo Okano (IEICE Trans. Inf. Syst., 2015)

Framework for Relative Web Usability Evaluation on Usability Features in MDD. - Shinpei Ogata; Yugo Goto; Kozo Okano (HCSE/HESSD, 2016)

Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity. - Haruki Yokoyama; Yoshiki Higo; Keisuke Hotta; Takafumi Ohta; Kozo Okano; Shinji Kusumoto (SAC, 2016)

Traceability Link Mining - Focusing on Usability. - Yukiya Yazawa; Shinpei Ogata; Kozo Okano; Haruhiko Kaiya; Hironori Washizaki (COMPSAC (2), 2017)

Towards Verification of Robot Design for Self-localization. - Ryo Watanabe; Kozo Okano; Toshifusa Sekizawa (Haifa Verification Conference, 2017)

SMart-Learning: State Machine Simulators for Developing Thinking Skills. - Shinpei Ogata; Mizue Kayama; Kozo Okano (ICALT, 2017)

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (ICCCN, 2017)

Support Tool for Refining Conceptual Model in Collaborative Learning. - Misaki Maruyama; Shinpei Ogata; Kozo Okano; Mizue Kayama (JCKBSE, 2018)

Analysis of Specification in Japanese Using Natural Language Processing. - Kozo Okano; Kazuma Takahashi; Shinpei Ogata; Toshifusa Sekizawa (JCKBSE, 2018)

Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. - Yukiya Yazawa; Shinpei Ogata; Kozo Okano; Haruhiko Kaiya; Hironori Washizaki (JCKBSE, 2018)

Approach to Testing Many State Machine Models in Education. - Shinpei Ogata; Mizue Kayama; Kozo Okano (CSEDU (1), 2019)

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. - Pan Yang 015; Rin Karashima; Kozo Okano; Shinpei Ogata (KES, 2019)

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (IEICE Trans. Inf. Syst., 2019)

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. - Hiroya Ii; Kozo Okano; Shinpei Ogata (JCKBSE, 2020)

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. - Kozo Okano; Pan Yang 015; Shinpei Ogata; Keishi Okamoto (KES, 2020)

Property Lifecycle Diagram for Tracing State Machine Diagram Changes. - Shinpei Ogata; Yusuke Nishizawa; Erina Makihara; Mizue Kayama; Kozo Okano (ENASE, 2021)

Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis. - Masanosuke Ohto; Hiroya Ii; Kozo Okano; Shinpei Ogata (KES, 2021)

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (APSEC, 2022)

A Method for Matching Patterns Based on Event Semantics with Requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (JCKBSE, 2022)

A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. - Kozo Okano; Maiko Onishi; Jo Otsuka; Shinpei Ogata; Toshifusa Sekizawa; Keishi Okamoto; Daisuke Bekki (KES, 2022)

Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. - Takuma Ikeda; Kozo Okano; Shinpei Ogata; Shin Nakajima 001 (ISE@APSEC, 2023)

A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams. - Takuma Kimura; Shinpei Ogata; Erina Makihara; Kozo Okano (CSEE&T, 2023)

Temporal relation identification in functional requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (KES, 2023)

A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course. - Takumi Katsuie; Shinpei Ogata; Kozo Okano; Yukako Iimura; Shinobu Saito (QuASoQ@APSEC, 2024)

Comparison of Methods for Automatically Predicting CVSS Base Vector. - Sho Isogai; Shinpei Ogata; Yutaro Kashiwa; Satoshi Yazawa; Kozo Okano; Takao Okubo; Hironori Washizaki (COMPSAC, 2024)

Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors. - Sho Isogai; Shinpei Ogata; Yutaro Kashiwa; Satoshi Yazawa; Kozo Okano; Takao Okubo; Hironori Washizaki (ISSRE (Workshops), 2024)