Doctor of Engineering, Shibaura Institute of Technology (Japan)

All publications are shown on the above web site.

Software Engineering

2020
Assoc. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University

2014 - 2020
Asst. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University

2013 - 2014
Asst. Prof., Graduate School of Science and Technology, Shinshu University

2012 - 2013
Asst. Prof., Dept. of Computer Science & Engineering, Faculty of Engineering, ShinshuUniversity

2010 - 2012
JSPS Research Fellowships

2012, Shibaura Institute of Technology

2023
第9回実践的IT教育シンポジウム in 函館, 優秀教育実践賞

2022
電子情報通信学会　ソフトウェアサイエンス研究専門委員会, ソフトウェアサイエンス研究会 研究奨励賞

2020
International Workshop on Informatics, Excellent Paper Award

2016
The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques, Best Paper Award

2016
IWIN (International Workshop on Informatics) 2016, Industry Paper Award

2015
IEEE Global Engineering Education 2015, Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”

Verification of Shell Script Behavior by Comparing Execution Log
Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano
International Journal of Informatics Society, 14(2), 55-64, Oct. 2022

Comparative Evaluation of NLP-Based Approaches for Linking CAPEC Attack Patterns from CVE Vulnerability Information
Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka
Information, Applied Sciences, Special Issue on Software Engineering: Computer Science and System, 12(7), 1-16, Mar. 2022

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
Information (Switzerland), 12(8), 1-15, Jul. 2021

Proposal and Evaluation for A Method to Verify Equivalence of Specifications of C and Java Functions with Recursive Data Structures by SAW: Case Studies of Linear Structures and Binary Trees
Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, Toshifusa Sekizawa
International Journal of Informatics Society, 12(3), 107-115, Mar. 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.
Information (Switzerland), 12(1:36), 1-27, Jan. 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. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
International Journal of Systems and Software Security and Protection (IJSSSP), 12(2), 1-18, Jan. 2021

Landscape of Architecture and Design Patterns for IoT Systems
Hironori Washizaki, Shinpei Ogata, Atsuo Hazeyama, Takao Okubo, Eduardo B. Fernandez and Nobukazu Yoshioka
IEEE Internet of Things Journal, early access, 1-12, Jun. 2020

Consistency Checking between Java equals and hash Code Methods using Software Analysis Workbench
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa Shinpei Ogata and Shin Nakajima
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E102-D(8), 1498-1505, Aug. 2019

Removing Ambiguous Message Exchanges in Designing Sequence Diagrams for Developing Asynchronous Communication Program
Satoshi Harauchi, Kozo Okano and Shinpei Ogata
International Journal of Informatics Society, 9(3), 129-138, Dec. 2017

On the Generation of Human-oriented Counter-examples using a Test Automaton
Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano
International Journal of Informatics Society, 9(1), 41-50, Jun. 2017

Learning the Vocabulary of English as a Foreign Language without Using Japanese Translations: A Step-by-Step Approach for Beginners
Hiromi Oshima, Shinpei Ogata and Kenji Kaijiri
International Journal of Scientific Research, 4(11), 13-16, Nov. 2015

Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec. 2022

An Educational Unified Modelling Language Programming Environment and Its Two Case Studies
Ryoga Maruyama, Shinpei Ogata, Mizue Kayama, Nobuyuki Tachi, Takashi Nagai, Naomi Taguchi
Proc. of the International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2022), Nov. 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
Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), Sep. 2022

A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking
Haruhiki Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi
Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), Sep. 2022

Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar
Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, Kozo Okano
Proc. of International Workshop on Informatics 2022 (IWIN2022), Sep. 2022

Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
Hitoshi Kiryu, Shinpei Ogata, Kozo Okano
Proc. of International Workshop on Informatics 2022 (IWIN2022), Sep. 2022

A Method for Matching Patterns Based on Event Semantics with Requirements
Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki
Proc. of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Aug. 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
Proc. of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), Aug. 2022

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

Software edutainment systems and analysis of learners' data based docker and edutainment
Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, Kozo Okano
Proc. of the International Workshop on Informatics 2021 (IWIN 2021), Sep. 2021

Verification of shell script behavior by comparing execution log
Hitoshi Kiryu, Shinpei Ogata, Kozo Okano
Proc. of the International Workshop on Informatics 2021 (IWIN 2021), Sep. 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
Proc. of KES 2021, Sep. 2021

Analysis of IoT Pattern Descriptions
Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
Proc. of IEEE/ACM 3rd International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT 2021), co-located with the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), Jun. 2021

Property Lifecycle Diagram for Tracing State Machine Diagram Changes
Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano
Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021), Apr. 2021

Property Lifecycle Diagram for Tracing State Machine Diagram Changes
Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano
Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021) - Volume 1: MDI4SE, Apr. 2021

Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique
Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka
Proc. of the 54th Hawaii International Conference on System Sciences (HICSS), Jan. 2021

Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
Kozo Okano, Pan Yang, Shinpei Ogata and Keishi Okamoto
Procedia Computer Science 176 1392-1401, Oct. 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 and Hironori Washizaki
Procedia Computer Science 176 1449-1458, Oct. 2020

Java model checking: improvement of the understanding of counterexample
Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano
Proc. of the International Workshop on Informatics 2020 (IWIN 2020), Sep. 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 and Hironori Washizaki
Learning and Analytics in Intelligent Systems (LAIS) 19 70-83, Aug. 2020

Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification
Hiroya Ii, Kozo Okano and Shinpei Ogata
Learning and Analytics in Intelligent Systems (LAIS) 19 20-34, Aug. 2020

A Model Transformation Approach to Constructing Agent-oriented Design Models for CPS/IoT Systems
Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi
Proc. of the 35th ACM/SIGAPP Symposium On Applied Computing (SAC 2020), Mar. 2020

Towards A Knowledge Base for Software Developers to Choose Suitable Traceability Techniques
Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki
Proc. of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2019), Sep. 2019

Automated inspection method for an STAMP/STPA – Fallen Barrier Trap at Railroad Crossing –
Pan Yang, Rin Karashima, Kozo Okano and Shinpei Ogata
Proc. of the 23rd International Conference on Knowledge-Based and Intelligent Information & Engineering System (KES 2019), Sep. 2019

SML4C: Fully Automatic Classification of State Machine Models for Model Inspection in Education
Shinpei Ogata and Mizue Kayama
Proc. of the ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), Sep. 2019

Approach to Testing Many State Machine Models in Education
Shinpei Ogata, Mizue Kayama and Kozo Okano
the 11th International Conference on Computer Supported Education CSEDU 2019, May 2019

Landscape of IoT Patterns
Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez
IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019), May 2019

Verification of CPS Based on Control Loop using Model Checking
Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa
APSEC 2018, Dec. 2018

Taxonomy and Literature Survey of Security Pattern Research
Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Dan Yamamoto, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Takehisa Kato, Takafumi Tanaka, Atsuo Hazeyama, Nobukazu Yoshioka and G Priyalakshmi
AINS 2018, Nov. 2018

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

Applying SAW to regression verification for C functions with recursive data structure
Kozo Okano, Satoshi Harauchi, Shin Maruyama and Shinpei Ogata
IWIN2018, Sep. 2018

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

Support Tool for Refining Conceptual Model in Collaborative Learning
Misaki Maruyama, Shinpei Ogata, Kozo Okano and Mizue Kayama
JCKBSE 2018, Aug. 2018

Analysis of Specification in Japanese using Natural Language Processing
Kozo Okano, Kazuma Takahashi, Shinpei Ogata and Toshifusa Sekizawa
JCKBSE 2018, Aug. 2018

Goal-Satisfaction Verification to Combination of Use Case Component
Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki
ENASE2018, Mar. 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. Fernandez, Hideyuki Kanuka, Masayuki Yoshino, Dan Yamamoto, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama
MODELSWARD 2018, Jan. 2018

Eliciting requirements for improving users' behavior using transparency
Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and Takafumi Tanaka
4th Asia Pacific Requirements Engineering Symposium (APRES 2017), Nov. 2017

A Tool to Edit and Verify IoT System Architecture Model
Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi and Yuko Fukushima
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep. 2017

Preliminary Systematic Literature Review of Software and Systems Traceability
Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki
21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017), Sep. 2017

A rule-based method of stepwise evaluating class diagrams
Shinpei Ogata, Kazune Miyajima, Mizue Kayama and Kozo Okano
Proc. of the International Workshop on Informatics (IWIN) 2017, Sep. 2017

A method for verifying equivalence of functions in C language
Satoshi Harauchi, Kozo Okano and Shinpei Ogata
Proc. of the International Workshop on Informatics (IWIN) 2017, Sep. 2017

Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability
Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin Nakashima
Proc. of the 26th International Conference on Computer Communication and Networks (ICCCN 2017), Jul. 2017

Traceability Link Mining - Focusing on Usability -
Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki
Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Jul. 2017

SMart-Learning: State Machine Simulators for Developing Thinking Skills
Shinpei Ogata, Mizue Kayama and Kozo Okano
Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017), Jul. 2017

Security Requirements Verification for Existing Systems with Model Checking Technique and UML
Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki
Proc. of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Feb. 2017

Educational Criteria for Evaluating Simple Class Diagrams made by Novices for Conceptual Modeling
Mizue Kayama, Shinpei Ogata, David K. Asano and Masami Hashimoto
Proc. of the 13th International Conference on Cognition and Exploratory Learning in the Digital Age (CELDA 2106), Oct. 2016

Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices
Mizue Kayama, Shinpei Ogata, David K. Asano and Masami Hashimoto
Proc. of the Educators Symposium @ MODELS 2016, CEUR Workshop Proceedings, Oct. 2016

Early Requirements Analysis for a Socio-Technical System based on Goal Dependencies
Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi and Motoshi Saeki
Proc. of the 15th International Conference on Intelligent Software Methodologies, Tools and Techniques (SOMET 2016), Sep. 2016

Framework for Relative Web Usability Evaluation on Usability Features in MDD
Shinpei Ogata, Yugo Goto and Kozo Okano
Human-Centered and Error-Resilient Systems Development LNCS 9856 73-85, Aug. 2016

A New Proposal of Generating Counter-example in Model Checking using Test Automaton
Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano
Proc. of the International Workshop on Informatics (IWIN) 2016, Aug. 2016

A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs
Satoshi Harauchi, Kozo Okano and Shinpei Ogata
Proc. of the International Workshop on Informatics (IWIN) 2016, Aug. 2016

A Metamodel for Security and Privacy Knowledge in Cloud Services
Hironori Washizaki, Sota Fukumoto, Misato Yamamoto, Masatoshi Yoshizawa, Yoshiaki Fukazawa, Shinpei Ogata, Eduardo B. Fernandez, Nobukazu Yoshioka, Takehisa Kato, Haruhiko Kaiya, Hideyuki Kanuka, Yuki Kondo, Takao Okubo and Atsuo Hazeyama
Proc. of the IEEE Services 2016, Jun. 2016

Finding Potential Threats in Several Security Targets for Eliciting Security Requirements
Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, and Atsuo Hazeyama
Proc. of the 10th International Multi-Conference on Computing in the Global Information Technology (ICCGI 2015), Oct. 2015

Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements
Shohei Kamimori, Shinpei Ogata and Kenji Kaijiri
Proc. of the 3rd International Conference on Applied Computing and Information Technology/2nd International Conference on Computational Science and Intelligence (ACIT-CSI), Jul. 2015

Effectiveness of Model-Driven Development Method in Conceptual Modeling Education for University Freshmen
Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokota, Kento Masumoto and Masami Hashimoto
Proc. of the 6th IEEE Global Engineering Education Conference (EDUCON2015), Mar. 2015

Support of Scenario Creation by Generating Event Lists from Conceptual Models
Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani and Yoshiaki Fukazawa
Proc. of the third International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), Feb. 2015

Security and Privacy Behavior Definition for Behavior Driven Development
Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, and Nobukazu Yoshioka
Product-Focused Software Process Improvement (Profes 2014), Dec. 2014

Method Mining in Experimental Software Engineering
Hideaki Uchimiya, Shinpei Ogata and Kenji Kaijiri, Method Mining in Experimental Software Engineering
Proc. of the 2nd International Conference on Systems and Informatics (ICSAI), Nov. 2014

Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking
Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata
Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE) Workshops, Nov. 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 and Makoto Otani
Proc. of the IIAI 3rd International Conference on Advanced Applied Informatics (IIAIAAI), Aug. 2014

Security Requirements Analysis Using Knowledge in CAPEC
Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yosioka, Hironori Washizaki, and Kenji Kaijiri
Advanced Information Systems Engineering Workshops LNBIP 178 343-348, Jun. 2014

IEEE

ACM

状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究
科学研究費補助金, 日本学術振興会, 基盤研究(C)
01 Apr. 2020 - 31 Mar. 2023

情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発
科学研究費補助金, 日本学術振興会, 基盤研究(B)
01 Apr. 2016 - 31 Mar. 2021

ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡
科学研究費補助金, 日本学術振興会, 基盤研究(B)
01 Apr. 2016 - 31 Mar. 2021

モデルと制約に基づくソフトウェア開発に関する研究
科学研究費補助金, 日本学術振興会, 基盤研究(C)
01 Apr. 2016 - 31 Mar. 2019

手動評価と自動評価を統合したモデルベース操作性評価手法の研究
科学研究費補助金, 日本学術振興会, 若手研究(B)
01 Apr. 2015 - 31 Mar. 2019

学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発
科学研究費補助金, 日本学術振興会, 基盤研究(B)
01 Apr. 2010 - 31 Mar. 2015

高品質な要求仕様の定義に向けたモデル駆動開発手法の研究
科学研究費補助金, 日本学術振興会, 特別研究員奨励費
2010 - 2011

Research on Model-Driven Engineering