default search action
Kozo Okano
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c39]Takumi Katsuie, Shinpei Ogata, Kozo Okano, Yukako Iimura, Shinobu Saito:
A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course. QuASoQ@APSEC 2024: 12-18 - [c38]Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki:
Comparison of Methods for Automatically Predicting CVSS Base Vector. COMPSAC 2024: 1029-1034 - [c37]Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki:
Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors. ISSRE (Workshops) 2024: 127-134 - 2023
- [c36]Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima:
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC 2023 - [c35]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: 1-10 - [c34]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Temporal relation identification in functional requirements. KES 2023: 1161-1170 - 2022
- [c33]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC 2022: 387-396 - [c32]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE 2022: 181-192 - [c31]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: 532-541 - 2021
- [c30]Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano:
Property Lifecycle Diagram for Tracing State Machine Diagram Changes. ENASE 2021: 521-528 - [c29]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: 1649-1658 - 2020
- [c28]Hiroya Ii, Kozo Okano, Shinpei Ogata:
Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. JCKBSE 2020: 20-34 - [c27]Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto:
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES 2020: 1392-1401
2010 – 2019
- 2019
- [j6]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. 102-D(8): 1498-1505 (2019) - [c26]Shinpei Ogata, Mizue Kayama
Approach to Testing Many State Machine Models in Education. CSEDU (1) 2019: 481-488 - [c25]Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES 2019: 1165-1174 - 2018
- [c24]Kozo Okano, Kazuma Takahashi, Shinpei Ogata
Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE 2018: 12-21 - [c23]Misaki Maruyama, Shinpei Ogata
Support Tool for Refining Conceptual Model in Collaborative Learning. JCKBSE 2018: 147-157 - [c22]Yukiya Yazawa, Shinpei Ogata
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. JCKBSE 2018: 158-167 - 2017
- [c21]Yukiya Yazawa, Shinpei Ogata
Traceability Link Mining - Focusing on Usability. COMPSAC (2) 2017: 286-287 - [c20]Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa:
Towards Verification of Robot Design for Self-localization. Haifa Verification Conference 2017: 245-248 - [c19]Shinpei Ogata
SMart-Learning: State Machine Simulators for Developing Thinking Skills. ICALT 2017: 81-83 - [c18]Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN 2017: 1-6 - 2016
- [c17]Shinpei Ogata
Framework for Relative Web Usability Evaluation on Usability Features in MDD. HCSE/HESSD 2016: 73-85 - [c16]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: 1364-1370 - 2015
- [j5]Kozo Okano:
Foreword. IEICE Trans. Inf. Syst. 98-D(6): 1120 (2015) - [c15]Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano:
Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. COMPSAC Workshops 2015: 550-555 - 2014
- [c14]Kozo Okano, Toshifusa Sekizawa:
Safety Verification of Multiple Autonomous Systems by Formal Approach. SAFECOMP Workshops 2014: 11-18 - 2013
- [c13]Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto:
Bidirectional Translation between OCL and JML for Round-Trip Engineering. APSEC (2) 2013: 49-54 - 2012
- [c12]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: 389-394 - [c11]Emsaieb Geepalla, Behzad Bordbar, Kozo Okano:
Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA 2012: 1-6 - 2011
- [j4]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. 94-D(5): 958-966 (2011) - [c10]Kozo Okano, Behzad Bordbar, Takeshi Nagaoka:
Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC 2011: 235-241 - [c9]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: 279-284 - 2010
- [j3]Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto:
An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop. IEICE Trans. Inf. Syst. 93-D(5): 994-1005 (2010)
2000 – 2009
- 2006
- [j2]Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Symbolic model checking of extended finite state machines with linear constraints over integer variables. Syst. Comput. Jpn. 37(6): 64-72 (2006) - 2005
- [c8]Behzad Bordbar, Rachid Anane
An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) 2005: 150-154 - 2004
- [c7]Behzad Bordbar, Kozo Okano:
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES 2004: 95-109 - 2003
- [c6]Behzad Bordbar, Kozo Okano:
Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM 2003: 523-540 - 2001
- [c5]Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi:
Formal Verification of CPU in Laboratory Work. MSE 2001: 32-34
1990 – 1999
- 1999
- [c4]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: 576-581 - 1997
- [c3]Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS 1997: 236-243 - 1996
- [j1]Kozo Okano, Teruo Higashino, Kenichi Taniguchi:
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. Syst. Comput. Jpn. 27(5): 25-38 (1996) - 1995
- [c2]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: 510-517 - 1993
- [c1]Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi:
Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS 1993: 141-148
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: