Shinpei Ogata

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 49

Top Topics

Conceptual Model

Natural Language Processing

Requirements Analysis

Top Venues

Publications

Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Temporal relation identification in functional requirements. KES (2023)
Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC (2023)
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)
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata
Practice-based Collection of Bad Smells in Machine Learning Projects. KES (2023)
Haruhiko Kaiya, Hironori Takeuchi, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito
Finding Contributable Activities Using Non-Verb Attributes In Events. KES (2023)
Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi
A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test. JCKBSE (2022)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC (2022)
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE (2022)
Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi
A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking. KES (2022)
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)
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)
Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano
Property Lifecycle Diagram for Tracing State Machine Diagram Changes. ENASE (2021)
Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
Analysis of IoT Pattern Descriptions. SERP4IoT (2021)
Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique. HICSS (2021)
Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernández, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka, Atsuo Hazeyama
CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development. Int. J. Syst. Softw. Secur. Prot. 12 (2) (2021)
Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka, G. Priyalakshmi
Systematic Literature Review of Security Pattern Research. Inf. 12 (1) (2021)
Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata
Reference Model for Agile Development of Machine Learning-based Service Systems. APSEC Workshops (2021)
Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques. Inf. 12 (8) (2021)
Hironori Washizaki, Shinpei Ogata, Atsuo Hazeyama, Takao Okubo, Eduardo B. Fernández, Nobukazu Yoshioka
Landscape of Architecture and Design Patterns for IoT Systems. IEEE Internet Things J. 7 (10) (2020)
Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling. JCKBSE (2020)
Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES (2020)
Hiroya Ii, Kozo Okano, Shinpei Ogata
Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. JCKBSE (2020)
Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi
A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. SAC (2020)
Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
A Tool to Manage Traceability on Several Models and Its Use Case. KES (2020)
Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES (2019)
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. (8) (2019)
Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki
Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques. KES (2019)
Shinpei Ogata, Mizue Kayama, Kozo Okano
Approach to Testing Many State Machine Models in Education. CSEDU (1) (2019)
Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernández
Landscape of IoT Patterns. CoRR (2019)
Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernández
Landscape of IoT patterns. SERP4IoT@ICSE (2019)
Shinpei Ogata, Mizue Kayama
SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. MoDELS (Companion) (2019)
Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model. JCKBSE (2018)
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
Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services. MODELSWARD (2018)
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa
Verification of CPS Based on Control Loop Using Model Checking. APSEC (2018)
Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa
Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE (2018)
Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama
Support Tool for Refining Conceptual Model in Collaborative Learning. JCKBSE (2018)
Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi
A Template System for Modeling and Verifying Agent Behaviors. PRIMA (2018)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Goal-Satisfaction Verification to Combination of Use Case Components. ENASE (2018)
Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka, Hironori Washizaki
Preliminary Systematic Literature Review of Software and Systems Traceability. KES (2017)
Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. MODELSWARD (2017)
Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima
A Tool to Edit and Verify IoT System Architecture Model. MoDELS (Satellite Events) (2017)
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN (2017)
Shinpei Ogata, Mizue Kayama, Kozo Okano
SMart-Learning: State Machine Simulators for Developing Thinking Skills. ICALT (2017)
Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka
Eliciting Requirements for Improving Users' Behavior Using Transparency. APRES (2017)
Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki
Traceability Link Mining - Focusing on Usability. COMPSAC (2) (2017)
Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki
Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies. SoMeT (2016)
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, Takao Okubo, Atsuo Hazeyama
A Metamodel for Security and Privacy Knowledge in Cloud Services. SERVICES (2016)
Shinpei Ogata, Yugo Goto, Kozo Okano
Framework for Relative Web Usability Evaluation on Usability Features in MDD. HCSE/HESSD (2016)
Mizue Kayama, Shinpei Ogata, David K. Asano, Masami Hashimoto
Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices. EduSymp/OSS4MDE@MoDELS (2016)
Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Yoshiaki Fukazawa
Support of Scenario Creation by Generating Event Lists from Conceptual Models. MODELSWARD (2015)
Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokoka, Kento Masumoto, Masami Hashimoto
Effectiveness of Model-Driven Development in conceptual modeling education for university freshmen. EDUCON (2015)
Shohei Kamimori, Shinpei Ogata, Kenji Kaijiri
Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements. ACIT-CSI (2015)
Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, Kenji Kaijiri
Security Requirements Analysis Using Knowledge in CAPEC. CAiSE Workshops (2014)
Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto, Makoto Otani
A Practical Conceptual Modeling Teaching Method Based on Quantitative Error Analyses for Novices Learning to Create Error-Free Simple Class Diagrams. IIAI-AAI (2014)
Hideaki Uchimiya, Shinpei Ogata, Kenji Kaijiri
Method mining in experimental software engineering. ICSAI (2014)
Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. ISSRE Workshops (2014)
Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, Nobukazu Yoshioka
Security and Privacy Behavior Definition for Behavior Driven Development. PROFES (2014)
Haruhiko Kaiya, Junya Sakai, Shinpei Ogata, Kenji Kaijiri
Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment. Int. J. Secur. Softw. Eng. 4 (3) (2013)
Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, Nobukazu Yoshioka
Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities. CAiSE Workshops (2013)
Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura
Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. JCKBSE (2012)
Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) (2012)
Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata, Kenji Kaijiri
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis. JCKBSE (2012)
Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki
Model Transformation Patterns for Introducing Suitable Information Systems. APSEC (2012)
Shinpei Ogata, Saeko Matsuura
Training of requirements analysis modeling with UML-based prototype generation tool. ISEC (2012)
Ryo Shikimi, Shinpei Ogata, Saeko Matsuura
Test Case Generation by Simulating Requirements Analysis Model. COMPSAC (2012)
Shinpei Ogata, Saeko Matsuura
A Review Method of Requirements Analysis Model in UML with Prototyping. JCKBSE (2012)
Shinpei Ogata, Saeko Matsuura
Scenario-Based Automatic Prototype Generation. COMPSAC (2008)
Shinpei Ogata, Saeko Matsuura
Automatic Generation of UML-Based Web Application Prototypes. ICEIS (3-1) (2008)