default search action
Shinpei Ogata
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi:
Evaluating Introduction of Systems by Goal Dependency Modeling. IEICE Trans. Inf. Syst. 107(10): 1297-1311 (2024) - [c62]Sho Isogai, Shinpei Ogata, Yutaro Kashiwa, Satoshi Yazawa, Kozo Okano, Takao Okubo, Hironori Washizaki:
Comparison of Methods for Automatically Predicting CVSS Base Vector. COMPSAC 2024: 1029-1034 - 2023
- [c61]Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima:
Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces. ISE@APSEC 2023 - [c60]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: 1-10 - [c59]Haruhiko Kaiya, Hironori Takeuchi, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito:
Finding Contributable Activities Using Non-Verb Attributes In Events. KES 2023: 507-516 - [c58]Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata:
Practice-based Collection of Bad Smells in Machine Learning Projects. KES 2023: 517-526 - [c57]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Temporal relation identification in functional requirements. KES 2023: 1161-1170 - 2022
- [c56]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. APSEC 2022: 387-396 - [c55]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: 141-153 - [c54]Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki:
A Method for Matching Patterns Based on Event Semantics with Requirements. JCKBSE 2022: 181-192 - [c53]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: 532-541 - [c52]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: 542-551 - 2021
- [j6]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): 68-85 (2021) - [j5]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): 36 (2021) - [j4]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): 298 (2021) - [c51]Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata:
Reference Model for Agile Development of Machine Learning-based Service Systems. APSEC Workshops 2021: 17-20 - [c50]Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano:
Property Lifecycle Diagram for Tracing State Machine Diagram Changes. ENASE 2021: 521-528 - [c49]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: 1-9 - [c48]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: 1649-1658 - [c47]Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka:
Analysis of IoT Pattern Descriptions. SERP4IoT 2021: 21-26 - 2020
- [j3]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): 10091-10101 (2020) - [c46]Hiroya Ii, Kozo Okano, Shinpei Ogata:
Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification. JCKBSE 2020: 20-34 - [c45]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: 70-83 - [c44]Kozo Okano, Pan Yang, Shinpei Ogata, Keishi Okamoto:
Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA. KES 2020: 1392-1401 - [c43]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: 1449-1458 - [c42]Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi:
A model transformation approach to constructing agent-oriented design models for CPS/IoT systems. SAC 2020: 815-822
2010 – 2019
- 2019
- [j2]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. 102-D(8): 1498-1505 (2019) - [c41]Shinpei Ogata, Mizue Kayama, Kozo Okano:
Approach to Testing Many State Machine Models in Education. CSEDU (1) 2019: 481-488 - [c40]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: 57-60 - [c39]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: 1075-1084 - [c38]Pan Yang, Rin Karashima, Kozo Okano, Shinpei Ogata:
Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -. KES 2019: 1165-1174 - [c37]Shinpei Ogata, Mizue Kayama:
SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education. MoDELS (Companion) 2019: 720-729 - [i1]Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo, Eduardo B. Fernández:
Landscape of IoT Patterns. CoRR abs/1902.09718 (2019) - 2018
- [c36]Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi, Hiroyuki Nakagawa:
Verification of CPS Based on Control Loop Using Model Checking. APSEC 2018: 678-682 - [c35]Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki:
Goal-Satisfaction Verification to Combination of Use Case Components. ENASE 2018: 343-350 - [c34]Kozo Okano, Kazuma Takahashi, Shinpei Ogata, Toshifusa Sekizawa:
Analysis of Specification in Japanese Using Natural Language Processing. JCKBSE 2018: 12-21 - [c33]Misaki Maruyama, Shinpei Ogata, Kozo Okano, Mizue Kayama:
Support Tool for Refining Conceptual Model in Collaborative Learning. JCKBSE 2018: 147-157 - [c32]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: 158-167 - [c31]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: 379-386 - [c30]Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa, Kazuki Kobayashi:
A Template System for Modeling and Verifying Agent Behaviors. PRIMA 2018: 576-584 - 2017
- [c29]Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata, Takafumi Tanaka:
Eliciting Requirements for Improving Users' Behavior Using Transparency. APRES 2017: 41-56 - [c28]Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya, Hironori Washizaki:
Traceability Link Mining - Focusing on Usability. COMPSAC (2) 2017: 286-287 - [c27]Shinpei Ogata, Mizue Kayama, Kozo Okano:
SMart-Learning: State Machine Simulators for Developing Thinking Skills. ICALT 2017: 81-83 - [c26]Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata, Shin Nakajima:
Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability. ICCCN 2017: 1-6 - [c25]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: 1141-1150 - [c24]Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi, Yuko Fukushima:
A Tool to Edit and Verify IoT System Architecture Model. MoDELS (Satellite Events) 2017: 571-575 - [c23]Saeko Matsuura, Shinpei Ogata, Yoshitaka Aoki:
Security Requirements Verification for Existing Systems with Model Checking Technique and UML. MODELSWARD 2017: 529-535 - 2016
- [c22]Shinpei Ogata, Yugo Goto, Kozo Okano:
Framework for Relative Web Usability Evaluation on Usability Features in MDD. HCSE/HESSD 2016: 73-85 - [c21]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: 6-13 - [c20]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: 142-143 - [c19]Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki:
Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies. SoMeT 2016: 125-138 - 2015
- [c18]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: 8-13 - [c17]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: 274-282 - [c16]Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani, Yoshiaki Fukazawa:
Support of Scenario Creation by Generating Event Lists from Conceptual Models. MODELSWARD 2015: 376-383 - 2014
- [c15]Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, Kenji Kaijiri:
Security Requirements Analysis Using Knowledge in CAPEC. CAiSE Workshops 2014: 343-348 - [c14]Hideaki Uchimiya, Shinpei Ogata, Kenji Kaijiri:
Method mining in experimental software engineering. ICSAI 2014: 1012-1016 - [c13]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: 616-622 - [c12]Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata:
Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking. ISSRE Workshops 2014: 124-125 - [c11]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: 306-309 - 2013
- [j1]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): 42-63 (2013) - [c10]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: 478-489 - 2012
- [c9]Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, Motoshi Saeki:
Model Transformation Patterns for Introducing Suitable Information Systems. APSEC 2012: 434-439 - [c8]Ryo Shikimi, Shinpei Ogata, Saeko Matsuura:
Test Case Generation by Simulating Requirements Analysis Model. COMPSAC 2012: 356-357 - [c7]Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda, Saeko Matsuura:
Quality Improvement of Requirements Specification using Model Checking Technique. ICEIS (2) 2012: 401-406 - [c6]Shinpei Ogata, Saeko Matsuura:
Training of requirements analysis modeling with UML-based prototype generation tool. ISEC 2012: 105-108 - [c5]Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata, Kenji Kaijiri:
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis. JCKBSE 2012: 88-97 - [c4]Shinpei Ogata, Saeko Matsuura:
A Review Method of Requirements Analysis Model in UML with Prototyping. JCKBSE 2012: 181-190 - [c3]Hirotaka Okuda, Shinpei Ogata, Saeko Matsuura:
Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model. JCKBSE 2012: 207-216
2000 – 2009
- 2008
- [c2]Shinpei Ogata, Saeko Matsuura:
Scenario-Based Automatic Prototype Generation. COMPSAC 2008: 492-493 - [c1]Shinpei Ogata, Saeko Matsuura:
Automatic Generation of UML-Based Web Application Prototypes. ICEIS (3-1) 2008: 244-251
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-16 20:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint