Scenario-Based Automatic Prototype Generation. - Shinpei Ogata; Saeko Matsuura (COMPSAC, 2008)

Automatic Generation of UML-Based Web Application Prototypes. - Shinpei Ogata; Saeko Matsuura (ICEIS (3-1), 2008)

Model Transformation Patterns for Introducing Suitable Information Systems. - Haruhiko Kaiya; Shunsuke Morita; Shinpei Ogata; Kenji Kaijiri; Shinpei Hayashi; Motoshi Saeki (APSEC, 2012)

Test Case Generation by Simulating Requirements Analysis Model. - Ryo Shikimi; Shinpei Ogata; Saeko Matsuura (COMPSAC, 2012)

Quality Improvement of Requirements Specification using Model Checking Technique. - Yoshitaka Aoki; Shinpei Ogata; Hirotaka Okuda; Saeko Matsuura (ICEIS (2), 2012)

Training of requirements analysis modeling with UML-based prototype generation tool. - Shinpei Ogata; Saeko Matsuura (ISEC, 2012)

A Review Method of Requirements Analysis Model in UML with Prototyping. - Shinpei Ogata; Saeko Matsuura (JCKBSE, 2012)

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. - Hirotaka Okuda; Shinpei Ogata; Saeko Matsuura (JCKBSE, 2012)

Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis. - Masahiro Umemura; Haruhiko Kaiya; Shinpei Ogata; Kenji Kaijiri (JCKBSE, 2012)

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 (CAiSE Workshops, 2013)

Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment. - Haruhiko Kaiya; Junya Sakai; Shinpei Ogata; Kenji Kaijiri (Int. J. Secur. Softw. Eng., 2013)

Security Requirements Analysis Using Knowledge in CAPEC. - Haruhiko Kaiya; Sho Kono; Shinpei Ogata; Takao Okubo; Nobukazu Yoshioka; Hironori Washizaki; Kenji Kaijiri (CAiSE Workshops, 2014)

Method mining in experimental software engineering. - Hideaki Uchimiya; Shinpei Ogata; Kenji Kaijiri (ICSAI, 2014)

A Practical Conceptual Modeling Teaching Method Based on Quantitative Error Analyses for Novices Learning to Create Error-Free Simple Class Diagrams. - Mizue Kayama; Shinpei Ogata; Kento Masumoto; Masami Hashimoto; Makoto Otani (IIAI-AAI, 2014)

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. - Saeko Matsuura; Yoshitaka Aoki; Shinpei Ogata (ISSRE Workshops, 2014)

Security and Privacy Behavior Definition for Behavior Driven Development. - Takao Okubo; Yoshio Kakizaki; Takanori Kobashi; Hironori Washizaki; Shinpei Ogata; Haruhiko Kaiya; Nobukazu Yoshioka (PROFES, 2014)

Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements. - Shohei Kamimori; Shinpei Ogata; Kenji Kaijiri (ACIT-CSI, 2015)

Effectiveness of Model-Driven Development in conceptual modeling education for university freshmen. - Mizue Kayama; Shinpei Ogata; Takashi Nagai; Hiroaki Yokoka; Kento Masumoto; Masami Hashimoto (EDUCON, 2015)

Support of Scenario Creation by Generating Event Lists from Conceptual Models. - Kenta Goto; Shinpei Ogata; Junko Shirogane; Takako Nakatani; Yoshiaki Fukazawa (MODELSWARD, 2015)

Framework for Relative Web Usability Evaluation on Usability Features in MDD. - Shinpei Ogata; Yugo Goto; Kozo Okano (HCSE/HESSD, 2016)

Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices. - Mizue Kayama; Shinpei Ogata; David K. Asano; Masami Hashimoto (EduSymp/OSS4MDE@MoDELS, 2016)

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. Fernández; Hideyuki Kanuka; Yuki Kondo; Nobukazu Yoshioka; et al. (SERVICES, 2016)

Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies. - Haruhiko Kaiya; Shinpei Ogata; Shinpei Hayashi; Motoshi Saeki (SoMeT, 2016)

Eliciting Requirements for Improving Users' Behavior Using Transparency. - Haruhiko Kaiya; Nobukazu Yoshioka; Hironori Washizaki; Takao Okubo; Atsuo Hazeyama; Shinpei Ogata; Takafumi Tanaka (APRES, 2017)

Traceability Link Mining - Focusing on Usability. - Yukiya Yazawa; Shinpei Ogata; Kozo Okano; Haruhiko Kaiya; Hironori Washizaki (COMPSAC (2), 2017)

SMart-Learning: State Machine Simulators for Developing Thinking Skills. - Shinpei Ogata; Mizue Kayama; Kozo Okano (ICALT, 2017)

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (ICCCN, 2017)

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 (KES, 2017)

A Tool to Edit and Verify IoT System Architecture Model. - Shinpei Ogata; Hiroyuki Nakagawa; Yoshitaka Aoki; Kazuki Kobayashi; Yuko Fukushima (MoDELS (Satellite Events), 2017)

Security Requirements Verification for Existing Systems with Model Checking Technique and UML. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (MODELSWARD, 2017)

Verification of CPS Based on Control Loop Using Model Checking. - Yoshitaka Aoki; Shinpei Ogata; Kazuki Kobayashi; Hiroyuki Nakagawa (APSEC, 2018)

Goal-Satisfaction Verification to Combination of Use Case Components. - Saeko Matsuura; Shinpei Ogata; Yoshitaka Aoki (ENASE, 2018)

Support Tool for Refining Conceptual Model in Collaborative Learning. - Misaki Maruyama; Shinpei Ogata; Kozo Okano; Mizue Kayama (JCKBSE, 2018)

Analysis of Specification in Japanese Using Natural Language Processing. - Kozo Okano; Kazuma Takahashi; Shinpei Ogata; Toshifusa Sekizawa (JCKBSE, 2018)

Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. - Yukiya Yazawa; Shinpei Ogata; Kozo Okano; Haruhiko Kaiya; Hironori Washizaki (JCKBSE, 2018)

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. Fernández; Hideyuki Kanuka; Masayuki Yoshino; Dan Yamamoto; Takao Okubo; Nobukazu Yoshioka; Atsuo Hazeyama (MODELSWARD, 2018)

A Template System for Modeling and Verifying Agent Behaviors. - Shinpei Ogata; Yoshitaka Aoki; Hiroyuki Nakagawa; Kazuki Kobayashi (PRIMA, 2018)

Approach to Testing Many State Machine Models in Education. - Shinpei Ogata; Mizue Kayama; Kozo Okano (CSEDU (1), 2019)

Landscape of IoT patterns. - Hironori Washizaki; Nobukazu Yoshioka; Atsuo Hazeyama; Takehisa Kato; Haruhiko Kaiya; Shinpei Ogata; Takao Okubo; Eduardo B. Fernández (SERP4IoT@ICSE, 2019)

Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques. - Haruhiko Kaiya; Atsuo Hazeyama; Shinpei Ogata; Takao Okubo; Nobukazu Yoshioka; Hironori Washizaki (KES, 2019)

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. - Pan Yang 015; Rin Karashima; Kozo Okano; Shinpei Ogata (KES, 2019)

SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. - Shinpei Ogata; Mizue Kayama (MoDELS (Companion), 2019)

Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench. - Kozo Okano; Satoshi Harauchi; Toshifusa Sekizawa; Shinpei Ogata; Shin Nakajima 001 (IEICE Trans. Inf. Syst., 2019)

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. - Hiroya Ii; Kozo Okano; Shinpei Ogata (JCKBSE, 2020)

Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling. - Haruhiko Kaiya; Wataru Fujita; Ryotaro Yamada; Atsuo Hazeyama; Shinpei Ogata; Takao Okubo; Nobukazu Yoshioka; Hironori Washizaki (JCKBSE, 2020)

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 (KES, 2020)

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. - Kozo Okano; Pan Yang 015; Shinpei Ogata; Keishi Okamoto (KES, 2020)

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. - Hiroyuki Nakagawa; Shinpei Ogata; Yoshitaka Aoki; Kazuki Kobayashi (SAC, 2020)

Landscape of Architecture and Design Patterns for IoT Systems. - Hironori Washizaki; Shinpei Ogata; Atsuo Hazeyama; Takao Okubo; Eduardo B. Fernández; Nobukazu Yoshioka (IEEE Internet Things J., 2020)

Reference Model for Agile Development of Machine Learning-based Service Systems. - Hironori Takeuchi; Haruhiko Kaiya; Hiroyuki Nakagawa; Shinpei Ogata (APSEC Workshops, 2021)

Property Lifecycle Diagram for Tracing State Machine Diagram Changes. - Shinpei Ogata; Yusuke Nishizawa; Erina Makihara; Mizue Kayama; Kozo Okano (ENASE, 2021)

Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique. - Kenta Kanakogi; Hironori Washizaki; Yoshiaki Fukazawa; Shinpei Ogata; Takao Okubo; Takehisa Kato; Hideyuki Kanuka; Atsuo Hazeyama; Nobukazu Yoshioka (HICSS, 2021)

Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis. - Masanosuke Ohto; Hiroya Ii; Kozo Okano; Shinpei Ogata (KES, 2021)

Analysis of IoT Pattern Descriptions. - Hironori Washizaki; Atsuo Hazeyama; Takao Okubo; Hideyuki Kanuka; Shinpei Ogata; Nobukazu Yoshioka (SERP4IoT, 2021)

CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development. - Tian Xia; Hironori Washizaki; Yoshiaki Fukazawa; Haruhiko Kaiya; Shinpei Ogata; Eduardo B. Fernández; Takehisa Kato; Hideyuki Kanuka; Takao Okubo; Nobukazu Yoshioka; Atsuo Hazeyama (Int. J. Syst. Softw. Secur. Prot., 2021)

Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques. - Kenta Kanakogi; Hironori Washizaki; Yoshiaki Fukazawa; Shinpei Ogata; Takao Okubo; Takehisa Kato; Hideyuki Kanuka; Atsuo Hazeyama; Nobukazu Yoshioka (Inf., 2021)

Systematic Literature Review of Security Pattern Research. - Hironori Washizaki; Tian Xia; Natsumi Kamata; Yoshiaki Fukazawa; Hideyuki Kanuka; Takehisa Kato; Masayuki Yoshino; Takao Okubo; Shinpei Ogata; Haruhiko Kaiya; Atsuo Hazeyama; Takafumi Tanaka; et al. (Inf., 2021)

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (APSEC, 2022)

A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test. - Shinpei Ogata; Hiroyuki Nakagawa; Haruhiko Kaiya; Hironori Takeuchi (JCKBSE, 2022)

A Method for Matching Patterns Based on Event Semantics with Requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (JCKBSE, 2022)

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 (KES, 2022)

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 (KES, 2022)

Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. - Takuma Ikeda; Kozo Okano; Shinpei Ogata; Shin Nakajima 001 (ISE@APSEC, 2023)

A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams. - Takuma Kimura; Shinpei Ogata; Erina Makihara; Kozo Okano (CSEE&T, 2023)

Finding Contributable Activities Using Non-Verb Attributes In Events. - Haruhiko Kaiya; Hironori Takeuchi; Hiroyuki Nakagawa; Shinpei Ogata; Shinobu Saito (KES, 2023)

Temporal relation identification in functional requirements. - Maiko Onishi; Shinpei Ogata; Kozo Okano; Daisuke Bekki (KES, 2023)

Practice-based Collection of Bad Smells in Machine Learning Projects. - Hironori Takeuchi; Haruhiko Kaiya; Hiroyuki Nakagawa; Shinpei Ogata (KES, 2023)

A Report on Sentiment Analysis of Requirements Engineering Artifacts created in University Course. - Takumi Katsuie; Shinpei Ogata; Kozo Okano; Yukako Iimura; Shinobu Saito (QuASoQ@APSEC, 2024)

Comparison of Methods for Automatically Predicting CVSS Base Vector. - Sho Isogai; Shinpei Ogata; Yutaro Kashiwa; Satoshi Yazawa; Kozo Okano; Takao Okubo; Hironori Washizaki (COMPSAC, 2024)

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 (ISSRE (Workshops), 2024)

A Light-Weight Method of Concept Drift Detection using Heuristic Miner. - Haruhiko Kaiya; Yuuki Koga; Soichiro Mori; Shinpei Ogata; Hiroyuki Nakagawa; Hironori Takeuchi (KES, 2024)

Evaluating Introduction of Systems by Goal Dependency Modeling. - Haruhiko Kaiya; Shinpei Ogata; Shinpei Hayashi (IEICE Trans. Inf. Syst., 2024)