| 2026 | REFSQ | A Quantitative Characterization of Design Thinking Artifacts in Requirements Engineering Education. | Takumi Katsuie, Shinpei Ogata, Kozo Okano, Yukako Iimura, Shinobu Saito |
| 2025 | APSEC | A Block-Based Educational Tool for Novice Understanding of State Machine Representation. | Nichika Takasu, Shinpei Ogata, Kozo Okano, Erina Makihara |
| 2025 | KES | Persona-driven automated extraction of non-functional requirements using LLM agents. | Kazuhiro Mukaida, Shinpei Ogata, Kozo Okano |
| 2024 | APSEC | A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course. | Takumi Katsuie, Shinpei Ogata, Kozo Okano, Yukako Iimura, Shinobu Saito |
| 2024 | COMPSAC | Comparison of Methods for Automatically Predicting CVSS Base Vector. | Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki |
| 2024 | ISSRE | Toward Extracting Learning Pattern: A Comparative Study of GPT-4o-mini and BERT Models in Predicting CVSS Base Vectors. | Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki |
| 2023 | APSEC | Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. | Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima |
| 2023 | KES | Temporal relation identification in functional requirements. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2022 | APSEC | Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2022 | KES | 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 |
| 2021 | ENASE | Property Lifecycle Diagram for Tracing State Machine Diagram Changes. | Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano |
| 2021 | KES | Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis. | Masanosuke Ohto, Hiroya Ii, Kozo Okano, Shinpei Ogata |
| 2020 | KES | Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. | Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto |
| 2019 | CSEDU | Approach to Testing Many State Machine Models in Education. | Shinpei Ogata, Mizue Kayama, Kozo Okano |
| 2019 | KES | Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. | Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata |
| 2017 | COMPSAC | Traceability Link Mining - Focusing on Usability. | Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki |
| 2017 | ICCCN | Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. | Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima |
| 2017 | ICALT | SMart-Learning: State Machine Simulators for Developing Thinking Skills. | Shinpei Ogata, Mizue Kayama, Kozo Okano |
| 2016 | SAC | 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 |
| 2015 | COMPSAC | Behavior Verification of Autonomous Robot Vehicle in Consideration of Errors and Disturbances. | Toshifusa Sekizawa, Fumiya Otsuki, Kazuki Ito, Kozo Okano |
| 2014 | SAFECOMP | Safety Verification of Multiple Autonomous Systems by Formal Approach. | Kozo Okano, Toshifusa Sekizawa |
| 2013 | APSEC | Bidirectional Translation between OCL and JML for Round-Trip Engineering. | Hiroaki Shimba, Kentaro Hanada, Kozo Okano, Shinji Kusumoto |
| 2005 | ICPADS | An Evaluation Mechanism for QoS Management in Wireless Systems. | Behzad Bordbar, Rachid Anane, Kozo Okano |
| 2003 | ICFEM | Verification of Timeliness QoS Properties in Multimedia Systems. | Behzad Bordbar, Kozo Okano |
| 1997 | ICPADS | Protocol Synthesis from Time Petri Net Based Service Specification. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1995 | ICDCS | Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers. | Hirozumi Yamaguchi, Kozo Okano, Teruo Higashino, Kenichi Taniguchi |
| 1993 | ICDCS | Deriving Protocol Specifications from Service Specifications in Extended FSM Models. | Teruo Higashino, Kozo Okano, Hiroshi Imajo, Kenichi Taniguchi |