Shinpei Ogata

Orcid: 0000-0001-6996-3073

According to our database1, Shinpei Ogata authored at least 66 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Practice-based Collection of Bad Smells in Machine Learning Projects.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Temporal relation identification in functional requirements.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Finding Contributable Activities Using Non-Verb Attributes In Events.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams.
Proceedings of the 35th International Conference on Software Engineering Education and Training, 2023

2022
A Bounded Model Checker for Timed Automata and Its Application to LTL Properties.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Method for Matching Patterns Based on Event Semantics with Requirements.
Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test.
Proceedings of the Knowledge-Based Software Engineering: 2022, 2022

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021
Systematic Literature Review of Security Pattern Research.
Inf., 2021

Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques.
Inf., 2021

CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development.
Int. J. Syst. Softw. Secur. Prot., 2021

Analysis of IoT Pattern Descriptions.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering Research and Practices for the IoT SERP4IoT 2021, 2021

Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique.
Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

Property Lifecycle Diagram for Tracing State Machine Diagram Changes.
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

Reference Model for Agile Development of Machine Learning-based Service Systems.
Proceedings of the 28th Asia-Pacific Software Engineering Conference Workshops, 2021

2020
Landscape of Architecture and Design Patterns for IoT Systems.
IEEE Internet Things J., 2020

A model transformation approach to constructing agent-oriented design models for CPS/IoT systems.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

A Tool to Manage Traceability on Several Models and Its Use Case.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020

Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling.
Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification.
Proceedings of the Knowledge-Based Software Engineering: 2020, 2020

2019
Consistency Checking between Java Equals and hashCode Methods Using Software Analysis Workbench.
IEICE Trans. Inf. Syst., 2019

SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Automated inspection method for an STAMP/STPA - Fallen Barrier Trap at Railroad Crossing -.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Landscape of IoT patterns.
Proceedings of the 1st International Workshop on Software Engineering Research & Practices for the Internet of Things, 2019

Approach to Testing Many State Machine Models in Education.
Proceedings of the 11th International Conference on Computer Supported Education, 2019

2018
A Template System for Modeling and Verifying Agent Behaviors.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Analysis of Specification in Japanese Using Natural Language Processing.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Support Tool for Refining Conceptual Model in Collaborative Learning.
Proceedings of the Knowledge-Based Software Engineering: 2018, 2018

Goal-Satisfaction Verification to Combination of Use Case Components.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

Verification of CPS Based on Control Loop Using Model Checking.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
Security Requirements Verification for Existing Systems with Model Checking Technique and UML.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A Tool to Edit and Verify IoT System Architecture Model.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Preliminary Systematic Literature Review of Software and Systems Traceability.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 21st International Conference KES-2017, 2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability.
Proceedings of the 26th International Conference on Computer Communication and Networks, 2017

SMart-Learning: State Machine Simulators for Developing Thinking Skills.
Proceedings of the 17th IEEE International Conference on Advanced Learning Technologies, 2017

Traceability Link Mining - Focusing on Usability.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Eliciting Requirements for Improving Users' Behavior Using Transparency.
Proceedings of the Requirements Engineering for Internet of Things, 2017

2016
Early Requirements Analysis for a Socio-Technical System Based on Goal Dependencies.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

A Metamodel for Security and Privacy Knowledge in Cloud Services.
Proceedings of the IEEE World Congress on Services, 2016

Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices.
Proceedings of the Joint Proceedings of the 12th Educators Symposium (EduSymp 2016) and 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE 2016) co-located with the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Framework for Relative Web Usability Evaluation on Usability Features in MDD.
Proceedings of the Human-Centered and Error-Resilient Systems Development, 2016

2015
Support of Scenario Creation by Generating Event Lists from Conceptual Models.
Proceedings of the MODELSWARD 2015, 2015

Effectiveness of Model-Driven Development in conceptual modeling education for university freshmen.
Proceedings of the IEEE Global Engineering Education Conference, 2015

Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements.
Proceedings of the 3rd International Conference on Applied Computing and Information Technology, 2015

2014
Security and Privacy Behavior Definition for Behavior Driven Development.
Proceedings of the Product-Focused Software Process Improvement, 2014

Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Practical Conceptual Modeling Teaching Method Based on Quantitative Error Analyses for Novices Learning to Create Error-Free Simple Class Diagrams.
Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

Method mining in experimental software engineering.
Proceedings of the 2nd International Conference on Systems and Informatics, 2014

Security Requirements Analysis Using Knowledge in CAPEC.
Proceedings of the Advanced Information Systems Engineering Workshops, 2014

2013
Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment.
Int. J. Secur. Softw. Eng., 2013

Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities.
Proceedings of the Advanced Information Systems Engineering Workshops, 2013

2012
Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis.
Proceedings of the Knowledge-Based Software Engineering, 2012

Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model.
Proceedings of the Knowledge-Based Software Engineering, 2012

A Review Method of Requirements Analysis Model in UML with Prototyping.
Proceedings of the Knowledge-Based Software Engineering, 2012

Training of requirements analysis modeling with UML-based prototype generation tool.
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Quality Improvement of Requirements Specification using Model Checking Technique.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Test Case Generation by Simulating Requirements Analysis Model.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

Model Transformation Patterns for Introducing Suitable Information Systems.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2008
Automatic Generation of UML-Based Web Application Prototypes.
Proceedings of the ICEIS 2008, 2008

Scenario-Based Automatic Prototype Generation.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008


  Loading...