Kozo Okano

According to our database, Kozo Okano authored at least 42 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Temporal relation identification in functional requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 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

Proceedings of the 35th International Conference on Software Engineering Education and Training, 2023

Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces.

Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima

Proceedings of the 2nd International Workshop on Intelligent Software Engineering co-located with the 30th Asia-Pacific Software Engineering Conference (APSEC 2023), 2023

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

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Method for Matching Patterns Based on Event Semantics with Requirements.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications.

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

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

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Property Lifecycle Diagram for Tracing State Machine Diagram Changes.

Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano

Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2020

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.

Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

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

Hiroya Ii, Kozo Okano, Shinpei Ogata

Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019

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

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

IEICE Trans. Inf. Syst., 2019

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -.

Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Approach to Testing Many State Machine Models in Education.

Shinpei Ogata, Mizue Kayama, Kozo Okano

Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018

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

Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Analysis of Specification in Japanese Using Natural Language Processing.

Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Support Tool for Refining Conceptual Model in Collaborative Learning.

Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama

Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.

Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima

Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

SMart-Learning: State Machine Simulators for Developing Thinking Skills.

Shinpei Ogata, Mizue Kayama, Kozo Okano

Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Towards Verification of Robot Design for Self-localization.

Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa

Proceedings of the Hardware and Software: Verification and Testing, 2017

Traceability Link Mining - Focusing on Usability.

Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Framework for Relative Web Usability Evaluation on Usability Features in MDD.

Shinpei Ogata, Yugo Goto, Kozo Okano

Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

2015

Foreword.

Kozo Okano

IEICE Trans. Inf. Syst., 2015

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

Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Safety Verification of Multiple Autonomous Systems by Formal Approach.

Kozo Okano, Toshifusa Sekizawa

Proceedings of the Computer Safety, Reliability, and Security, 2014

2013

Bidirectional Translation between OCL and JML for Round-Trip Engineering.

Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

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

Emsaieb Geepalla, Behzad Bordbar, Kozo Okano

Proceedings of the 3rd IEEE International Conference on Networked Embedded Systems for Every Application, 2012

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

Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa

Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

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

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

Yuko Muto, Kozo Okano, Shinji Kusumoto

Proceedings of the 2011 Joint Conf of 21st Int'l Workshop on Software Measurement and the 6th Int'l Conference on Software Process and Product Measurement, 2011

Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton.

Kozo Okano, Behzad Bordbar, Takeshi Nagaoka

Proceedings of the Second International Conference on Networking and Computing, 2011

2010

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

2006

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

2005

An Evaluation Mechanism for QoS Management in Wireless Systems.

Behzad Bordbar, Rachid Anane, Kozo Okano

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004

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

Behzad Bordbar, Kozo Okano

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

2003

Verification of Timeliness QoS Properties in Multimedia Systems.

Behzad Bordbar, Kozo Okano

Proceedings of the Formal Methods and Software Engineering, 2003

2001

Formal Verification of CPU in Laboratory Work.

Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001

1999

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

Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999

1997

Protocol Synthesis from Time Petri Net Based Service Specification.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997

1996

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

Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Syst. Comput. Jpn., 1996

1995

Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.

Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

1993

Deriving Protocol Specifications from Service Specifications in Extended FSM Models.

Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi

Proceedings of the 13th International Conference on Distributed Computing Systems, 1993