| 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 | Rating the cost of quality in use for a business system using KAOS model. | Haruhiko Kaiya, Takeru Nakamura, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi |
| 2025 | KES | Persona-driven automated extraction of non-functional requirements using LLM agents. | Kazuhiro Mukaida, Shinpei Ogata, Kozo Okano |
| 2025 | KES | Diffusion Model of Anti-Patterns for Machine Learning Projects. | Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata |
| 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 |
| 2024 | KES | A Light-Weight Method of Concept Drift Detection using Heuristic Miner. | Haruhiko Kaiya, Yuuki Koga, Soichiro Mori, Shinpei Ogata, Hiroyuki Nakagawa, Hironori Takeuchi |
| 2023 | APSEC | Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. | Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima |
| 2023 | KES | Finding Contributable Activities Using Non-Verb Attributes In Events. | Haruhiko Kaiya, Hironori Takeuchi, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito |
| 2023 | KES | Temporal relation identification in functional requirements. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2023 | KES | Practice-based Collection of Bad Smells in Machine Learning Projects. | Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata |
| 2022 | APSEC | Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. | Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki |
| 2022 | KES | A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking. | Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi |
| 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 | APSEC | Reference Model for Agile Development of Machine Learning-based Service Systems. | Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata |
| 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 | A Tool to Manage Traceability on Several Models and Its Use Case. | Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki |
| 2020 | KES | Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. | Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto |
| 2020 | SAC | A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. | Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi |
| 2019 | CSEDU | Approach to Testing Many State Machine Models in Education. | Shinpei Ogata, Mizue Kayama, Kozo Okano |
| 2019 | ICSE | Landscape of IoT patterns. | Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernndez |
| 2019 | KES | Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques. | Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki |
| 2019 | KES | Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. | Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata |
| 2019 | MODELS | SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. | Shinpei Ogata, Mizue Kayama |
| 2018 | APSEC | Verification of CPS Based on Control Loop Using Model Checking. | Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa |
| 2018 | ENASE | Goal-Satisfaction Verification to Combination of Use Case Components. | Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki |
| 2018 | MODELSWARD | Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services. | Tian Xia, Hironori Washizaki, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernndez, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka, Atsuo Hazeyama |
| 2018 | PRIMA | A Template System for Modeling and Verifying Agent Behaviors. | Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi |
| 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 |
| 2017 | KES | Preliminary Systematic Literature Review of Software and Systems Traceability. | Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki |
| 2017 | MODELS | A Tool to Edit and Verify IoT System Architecture Model. | Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima |
| 2017 | MODELSWARD | Security Requirements Verification for Existing Systems with Model Checking Technique and UML. | Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki |
| 2016 | MODELS | Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices. | Mizue Kayama, Shinpei Ogata, David K. Asano, Masami Hashimoto |
| 2016 | SERVICES | A Metamodel for Security and Privacy Knowledge in Cloud Services. | Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Takehisa Kato, Shinpei Ogata, Haruhiko Kaiya, Eduardo B. Fernndez, Hideyuki Kanuka, Yuki Kondo, Nobukazu Yoshioka, Takao Okubo, Atsuo Hazeyama |
| 2016 | SoMeT | Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies. | Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki |
| 2015 | EDUCON | Effectiveness of Model-Driven Development in conceptual modeling education for university freshmen. | Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokoka, Kento Masumoto, Masami Hashimoto |
| 2015 | MODELSWARD | Support of Scenario Creation by Generating Event Lists from Conceptual Models. | Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Yoshiaki Fukazawa |
| 2014 | CaiSE | Security Requirements Analysis Using Knowledge in CAPEC. | Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, Kenji Kaijiri |
| 2014 | ISSRE | Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. | Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata |
| 2014 | PROFES | Security and Privacy Behavior Definition for Behavior Driven Development. | Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, Nobukazu Yoshioka |
| 2013 | CaiSE | Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities. | Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, Nobukazu Yoshioka |
| 2012 | APSEC | Model Transformation Patterns for Introducing Suitable Information Systems. | Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki |
| 2012 | COMPSAC | Test Case Generation by Simulating Requirements Analysis Model. | Ryo Shikimi, Shinpei Ogata, Saeko Matsuura |
| 2008 | COMPSAC | Scenario-Based Automatic Prototype Generation. | Shinpei Ogata, Saeko Matsuura |