Kozo Okano - RankMe

52 papers A 2B 11C 3Misc 2Journal 10Unranked 24

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Block-Based Educational Tool for Novice Understanding of State Machine Representation. APSEC Nichika Takasu, Shinpei Ogata, Kozo Okano, Erina Makihara
2025	J	`jnl`	A Method to Automatically Extract a Network Device Configuration Model by Parsing Network Device Configurations. CoRR Kosei Nakamura, Hikofumi Suzuki, Shinpei Ogata, Hiroaki Hashiura, Takashi Nagai, Kozo Okano
2025	J	`jnl`	A Study of Multi-Robot Tracking Problem in One-Dimensional System Using Probabilistic Model Checking. IEICE Trans. Inf. Syst. Toshifusa Sekizawa, Naoaki Yonezawa, Kozo Okano, Keitaro Naruse
2025	J	`jnl`	A System to Automatically Generate Configuration Instructions for Network Elements from Network Configuration Models. CoRR Nagi Arai, Shinpei Ogata, Hikofumi Suzuki, Kozo Okano
2025	B	`conf`	Persona-driven automated extraction of non-functional requirements using LLM agents. KES Kazuhiro Mukaida, Shinpei Ogata, Kozo Okano
2025	J	`jnl`	Proposal of an Automatic Verification Method for Network Configuration Model by Static Analysis. CoRR Tomoya Fujita, Hikofumi Suzuki, Shinpei Ogata, Hiroaki Hashiura, Takashi Nagai, Kozo Okano
2025	—	`conf`	Similarity Evaluation Between Queries and Chunks in RAG Systems. SFPVV Shun Noguchi, Kozo Okano, Shipei Ogata, Shin Nakajima
2024	—	`conf`	A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course. QuASoQ@APSEC Takumi Katsuie, Shinpei Ogata, Kozo Okano, Yukako Iimura, Shinobu Saito
2024	B	`conf`	Comparison of Methods for Automatically Predicting CVSS Base Vector. COMPSAC Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki
2024	—	`conf`	Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors. ISSRE (Workshops) Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki
2023	—	`conf`	A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams. CSEE&T Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano
2023	—	`conf`	Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima
2023	B	`conf`	Temporal relation identification in functional requirements. KES Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
2022	B	`conf`	A Bounded Model Checker for Timed Automata and Its Application to LTL Properties. KES Kozo Okano, Maiko Onishi, Jo Otsuka, Shinpei Ogata, Toshifusa Sekizawa, Keishi Okamoto, Daisuke Bekki
2022	—	`conf`	A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
2022	C	`conf`	Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
2021	B	`conf`	Property Lifecycle Diagram for Tracing State Machine Diagram Changes. ENASE Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano
2021	B	`conf`	Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis. KES Masanosuke Ohto, Hiroya Ii, Kozo Okano, Shinpei Ogata
2020	B	`conf`	Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
2020	—	`conf`	Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. JCKBSE Hiroya Ii, Kozo Okano, Shinpei Ogata
2019	—	`conf`	Approach to Testing Many State Machine Models in Education. CSEDU (1) Shinpei Ogata, Mizue Kayama, Kozo Okano
2019	B	`conf`	Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata
2019	J	`jnl`	Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. IEICE Trans. Inf. Syst. Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
2018	—	`conf`	Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa
2018	—	`conf`	Support Tool for Refining Conceptual Model in Collaborative Learning. JCKBSE Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama
2018	—	`conf`	Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. JCKBSE Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
2017	B	`conf`	Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
2017	B	`conf`	SMart-Learning: State Machine Simulators for Developing Thinking Skills. ICALT Shinpei Ogata, Mizue Kayama, Kozo Okano
2017	—	`conf`	Towards Verification of Robot Design for Self-localization. Haifa Verification Conference Ryo Watanabe, Kozo Okano, Toshifusa Sekizawa
2017	—	`conf`	Traceability Link Mining - Focusing on Usability. COMPSAC (2) Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
2016	—	`conf`	Framework for Relative Web Usability Evaluation on Usability Features in MDD. HCSE/HESSD Shinpei Ogata, Yugo Goto, Kozo Okano
2016	Misc	`conf`	Toward improving ability to repair bugs automatically: a patch candidate location mechanism using code similarity. SAC Haruki Yokoyama, Yoshiki Higo, Keisuke Hotta, Takafumi Ohta, Kozo Okano, Shinji Kusumoto
2015	—	`conf`	Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. COMPSAC Workshops Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano
2015	J	`jnl`	Foreword. IEICE Trans. Inf. Syst. Kozo Okano
2014	—	`conf`	Safety Verification of Multiple Autonomous Systems by Formal Approach. SAFECOMP Workshops Kozo Okano, Toshifusa Sekizawa
2013	—	`conf`	Bidirectional Translation between OCL and JML for Round-Trip Engineering. APSEC (2) Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto
2012	—	`conf`	Practical Application of a Translation Tool from UML/OCL to Java Skeleton with JML Annotation. ICEIS (2) Kentaro Hanada, Kozo Okano, Shinji Kusumoto, Kiyoyuki Miyazawa
2012	—	`conf`	Verification of Spatio-Temporal Role Based Access Control using Timed Automata. NESEA Emsaieb Geepalla, Behzad Bordbar, Kozo Okano
2011	Misc	`conf`	Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton. ICNC Kozo Okano, Behzad Bordbar, Takeshi Nagaoka
2011	—	`conf`	Improvement of a Visualization Technique for the Passage Rate of Unit Testing and Static Checking and Its Evaluation. IWSM/Mensura Yuko Muto, Kozo Okano, Shinji Kusumoto
2011	J	`jnl`	QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation. IEICE Trans. Inf. Syst. Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto
2010	J	`jnl`	An Abstraction Refinement Technique for Timed Automata Based on Counterexample-Guided Abstraction Refinement Loop. IEICE Trans. Inf. Syst. Takeshi Nagaoka, Kozo Okano, Shinji Kusumoto
2006	J	`jnl`	Symbolic model checking of extended finite state machines with linear constraints over integer variables. Syst. Comput. Jpn. Takashi Takenaka, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
2005	—	`conf`	An Evaluation Mechanism for QoS Management in Wireless Systems. ICPADS (2) Behzad Bordbar, Rachid Anane, Kozo Okano
2004	—	`conf`	Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach. FATES Behzad Bordbar, Kozo Okano
2003	C	`conf`	Verification of Timeliness QoS Properties in Multimedia Systems. ICFEM Behzad Bordbar, Kozo Okano
2001	—	`conf`	Formal Verification of CPU in Laboratory Work. MSE Kozo Okano, Yuko Kitahama, Akira Kitajima, Teruo Higashino, Kenichi Taniguchi
1999	—	`conf`	Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness. ICPP Workshops Kozo Okano, Satoshi Hattori, Akira Yamamoto, Teruo Higashino, Kenichi Taniguchi
1997	B	`conf`	Protocol Synthesis from Time Petri Net Based Service Specification. ICPADS Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1996	J	`jnl`	Proof method for correctness of refinements of algebraic specification in abstract sequential machine style. Syst. Comput. Jpn. Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1995	A	`conf`	Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. ICDCS Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi
1993	A	`conf`	Deriving Protocol Specifications from Service Specifications in Extended FSM Models. ICDCS Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi