Kozo Okano

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 22

Top Topics

Conceptual Model

Top Venues

IEICE Trans. Inf. Syst.

COMPSAC Workshops

Publications

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Temporal relation identification in functional requirements. KES (2023)
Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC (2023)
Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano
A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams. CSEE&T (2023)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC (2022)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE (2022)
Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES (2022)
Masanosuke Ohto, Hiroya Ii, Kozo Okano, Shinpei Ogata
Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis. KES (2021)
Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano
Property Lifecycle Diagram for Tracing State Machine Diagram Changes. ENASE (2021)
Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES (2020)
Hiroya Ii, Kozo Okano, Shinpei Ogata
Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. JCKBSE (2020)
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES (2019)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. IEICE Trans. Inf. Syst. (8) (2019)
Shinpei Ogata, Mizue Kayama, Kozo Okano
Approach to Testing Many State Machine Models in Education. CSEDU (1) (2019)
Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. JCKBSE (2018)
Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa
Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE (2018)
Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama
Support Tool for Refining Conceptual Model in Collaborative Learning. JCKBSE (2018)
Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa
Towards Verification of Robot Design for Self-localization. Haifa Verification Conference (2017)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN (2017)
Shinpei Ogata, Mizue Kayama, Kozo Okano
SMart-Learning: State Machine Simulators for Developing Thinking Skills. ICALT (2017)
Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
Traceability Link Mining - Focusing on Usability. COMPSAC (2) (2017)
Haruki Yokoyama, Yoshiki Higo, Keisuke Hotta, Takafumi Ohta, Kozo Okano, Shinji Kusumoto
Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity. SAC (2016)
Shinpei Ogata, Yugo Goto, Kozo Okano
Framework for Relative Web Usability Evaluation on Usability Features in MDD. HCSE/HESSD (2016)
Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. COMPSAC Workshops (2015)
Kozo Okano
Foreword. IEICE Trans. Inf. Syst. (6) (2015)
Kozo Okano, Toshifusa Sekizawa
Safety Verification of Multiple Autonomous Systems by Formal Approach. SAFECOMP Workshops (2014)
Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto
Bidirectional Translation between OCL and JML for Round-Trip Engineering. APSEC (2) (2013)
Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa
Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. ICEIS (2) (2012)
Emsaieb Geepalla, Behzad Bordbar, Kozo Okano
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA (2012)
Kozo Okano, Behzad Bordbar, Takeshi Nagaoka
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC (2011)
Yuko Muto, Kozo Okano, Shinji Kusumoto
Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation. IWSM/Mensura (2011)
Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation. IEICE Trans. Inf. Syst. (5) (2011)
Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop. IEICE Trans. Inf. Syst. (5) (2010)
Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Symbolic model checking of extended finite state machines with linear constraints over integer variables. Systems and Computers in Japan 37 (6) (2006)
Behzad Bordbar, Rachid Anane, Kozo Okano
An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) (2005)
Behzad Bordbar, Kozo Okano
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES (2004)
Behzad Bordbar, Kozo Okano
Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM (2003)
Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
Formal Verification of CPU in Laboratory Work. MSE (2001)
Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops (1999)
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS (1997)
Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. Systems and Computers in Japan 27 (5) (1996)
Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. ICDCS (1995)
Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi
Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS (1993)