​
Login / Signup
Kozo Okano
Publication Activity (10 Years)
Years Active: 1993-2023
Publications (10 Years): 22
Top Topics
Conceptual Model
Timed Automata
State Machine
E Learning
Top Venues
JCKBSE
KES
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)