Kozo Okano

发表

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability

Satoshi Harauchi, Shin Nakajima, Shinpei Ogata, 2017, 2017 26th International Conference on Computer Communication and Networks (ICCCN).

SMart-Learning: State Machine Simulators for Developing Thinking Skills

Mizue Kayama, Shinpei Ogata, Kozo Okano, 2017, 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT).

Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1996 .

Foreword

Kozo Okano, 2015, IEICE Trans. Inf. Syst..

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification

Shinpei Ogata, Kozo Okano, Hiroya, 2020, JCKBSE.

Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity

Shinji Kusumoto, Yoshiki Higo, Keisuke Hotta, 2016, SAC.

Verification of Spatio-Temporal Role Based Access Control using Timed Automata

Behzad Bordbar, Emsaieb Geepalla, Kozo Okano, 2012, 2012 IEEE 3rd International Conference on Networked Embedded Systems for Every Application (NESEA).

Bidirectional Translation between OCL and JML for Round-Trip Engineering

Shinji Kusumoto, Kozo Okano, Hiroaki Shimba, 2013, 2013 20th Asia-Pacific Software Engineering Conference (APSEC).

Approach to Testing Many State Machine Models in Education

Mizue Kayama, Shinpei Ogata, Kozo Okano, 2019, CSEDU.

Development of UV image intensifier tube with GaN photocathode

Kozo Okano, Tsuneo Ihara, Koichi Katoh, 2008, SPIE Defense + Commercial Sensing.

Formal verification of CPU in laboratory work

Teruo Higashino, Kenichi Taniguchi, Akira Kitajima, 2001, Proceedings 2001 International Conference on Microelectronic Systems Education.

Symbolic model checking of extended finite state machines with linear constraints over integer variables

Teruo Higashino, Takashi Takenaka, Kenichi Taniguchi, 2006, Syst. Comput. Jpn..

Removing Possibility of Ambiguous Message Ordering in Sequence Diagram

Shinji Kusumoto, Kozo Okano, Noa Kusunoki, 2015 .

Synthesis of Protocol Specifications from Service Specifications in Distributed Systems with Communication Link Errors

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1995 .

Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances

Toshifusa Sekizawa, Kozo Okano, Fumiya Otsuki, 2015, 2015 IEEE 39th Annual Computer Software and Applications Conference.

Symbolic Model Checking Algorithm for a System consisting of Extended Finite State Machines with Integer Input Registers

Kenichi Taniguchi, Masayuki Hirata, Kozo Okano, 2000 .

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton

Behzad Bordbar, Kozo Okano, Takeshi Nagaoka, 2011, 2011 Second International Conference on Networking and Computing.

Verification of Timeliness QoS Properties in Multimedia Systems

Behzad Bordbar, Kozo Okano, B. Bordbar, 2003, ICFEM.

Synthesis of protocol entities specifications from service specifications in a Petri net model with registers

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

Verification of a Control Program for a Line Tracing Robot using UPPAAL Considering General Aspects

Shinji Kusumoto, Toshifusa Sekizawa, Kozo Okano, 2014 .

A Visualization Technique for the Passage Rates of Unit Testing and Static Checking with Caller-Callee Relationships

Shinji Kusumoto, Kozo Okano, Yuko Muto, 2011, 2011 IEEE Ninth International Symposium on Parallel and Distributed Processing with Applications Workshops.

Analysis of Specification in Japanese Using Natural Language Processing

Shinpei Ogata, Toshifusa Sekizawa, Kazuma Takahashi, 2018, JCKBSE.

Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach

Behzad Bordbar, Kozo Okano, B. Bordbar, 2004, FATES.

Towards Verification of Robot Design for Self-localization

Ryo Watanabe, Toshifusa Sekizawa, Kozo Okano, 2017, Haifa Verification Conference.

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation

Shinji Kusumoto, Akihiko Ito, Kozo Okano, 2011, IEICE Trans. Inf. Syst..

Verification of Safety Properties of a Program for Line Tracing Robot using a Timed Automaton Model

Shinji Kusumoto, Hideki Kawai, Toshifusa Sekizawa, 2013 .

Specification and Verification of Real-Time System with Extended Timed Automata

Yuichiro Kato, Kenichi Taniguchi, Kozo Okano, 2003 .

Protocol syntheses in a Petri net model with registers and its application

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1998 .

Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation

Shinji Kusumoto, Kozo Okano, Kentaro Hanada, 2012, ICEIS.

Protocol synthesis from time Petri net based service specifications

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1997, Proceedings 1997 International Conference on Parallel and Distributed Systems.

A timed automata approach to QoS resolution

Behzad Bordbar, Rachid Anane, Kozo Okano, 2006 .

Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model

Hironori Washizaki, Haruhiko Kaiya, Shinpei Ogata, 2018, JCKBSE.

Proof method for correctness of refinements of algebraic specification in abstract sequential machine style

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1996, Systems and Computers in Japan.

Framework for Relative Web Usability Evaluation on Usability Features in MDD

Shinpei Ogata, Kozo Okano, Yugo Goto, 2016, HCSE/HESSD.

Bi-directinal Translation Method between OCL and JML based on Model Driven Development

Shinji Kusumoto, Kozo Okano, Kentaro Hanada, 2012 .

An Algorithm to Derive Protocol Specifications from Service Specifications Written in a Time Petri Net Based Model

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1997 .

An Evaluation Mechanism for QoS Management in Wireless Systems

Behzad Bordbar, Rachid Anane, Kozo Okano, 2005, 11th International Conference on Parallel and Distributed Systems (ICPADS'05).

Synthesis of Protocol Specifications from Service Specifications of Distributed Systems in a Marked Graph Model (Special Section on Net Theory and Its Applications)

Hirozumi Yamaguchi, Teruo Higashino, Kenichi Taniguchi, 1994 .

An Implementation of Orthogonal TRS on Multi-Processor Machine with Shared Memory

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1998 .

Safety Verification of Multiple Autonomous Systems by Formal Approach

Toshifusa Sekizawa, Kozo Okano, 2014, SAFECOMP Workshops.

Deriving protocol specifications from service specifications in extended FSM models

Teruo Higashino, Kenichi Taniguchi, Kozo Okano, 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation

Shinji Kusumoto, Kozo Okano, Yuko Muto, 2011, 2011 Joint Conference of the 21st International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement.

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench

Satoshi Harauchi, Shin Nakajima, Shinpei Ogata, 2019, IEICE Trans. Inf. Syst..

Support Tool for Refining Conceptual Model in Collaborative Learning

Mizue Kayama, Shinpei Ogata, Kozo Okano, 2018, JCKBSE.

Traceability Link Mining — Focusing on Usability

Hironori Washizaki, Haruhiko Kaiya, Shinpei Ogata, 2017, 2017 IEEE 41st Annual Computer Software and Applications Conference (COMPSAC).

An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop

Shinji Kusumoto, Kozo Okano, Takeshi Nagaoka, 2010, IEICE Trans. Inf. Syst..

Automatic generation of post-conditions for Java methods by limited utilization of Daikon

Shinji Kusumoto, Kozo Okano, Yasunobu Kajita, 2005 .

Verification Techniques for System Behaviour in High-level Design( Formal Methods-Bases and Applications)

Kozo Okano, 2008 .

Symbolic model checking of extended finite state machines with linear constraints over integer variables

Teruo Higashino, Takashi Takenaka, Kenichi Taniguchi, 2006 .

Specification of real-time systems using a timed automata model with shared variables and verification of partial-deadlock freeness

Teruo Higashino, Akira Yamamoto, Kenichi Taniguchi, 1999, Proceedings of the 1999 ICPP Workshops on Collaboration and Mobile Computing (CMC'99). Group Communications (IWGC). Internet '99 (IWI'99). Industrial Applications on Network Computing (INDAP). Multime.

Implementation of a Prototype Bi-directional Translation Tool between OCL and JML

Shinji Kusumoto, Kozo Okano, Kentaro Hanada, 2013 .

Property Lifecycle Diagram for Tracing State Machine Diagram Changes

Mizue Kayama, Shinpei Ogata, Erina Makihara, 2021, ENASE.

Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis

Shinpei Ogata, Kozo Okano, Masanosuke Ohto, 2021, KES.

A Visualization Technique for Unit Testing and Static Checking with Caller–Callee Relationships

Shinji Kusumoto, Kozo Okano, Yuko Muto, 2011 .

Hierarchical Design oi' Stock Management Program using Relational Algebra and Its Correctness Proof

Teruo Higashino, Kenichi Taniguchi, Sumio Morioka, 1995 .