信州大学HOMEENGLISH交通・キャンパス案内

研究者総覧研究者総覧

研究者、研究内容などで検索
項目別検索はこちら

小形 真平  オガタ シンペイ

教員組織学術研究院(工学系)電話番号026-269-5468
教育組織大学院総合理工学研究科 工学専攻FAX番号
職名准教授メールアドレスogata@cs.shinshu-u.ac.jp
住所〒380-8553 長野県長野市若里4-17-1ホームページURLhttps://sites.google.com/cs.shinshu-u.ac.jp/sel/staff/shinpei-ogata
https://sites.google.com/cs.shinshu-u.ac.jp/sel/

更新日:2021/09/09

プロフィール

兼担研究科・学部
工学部 電子情報システム工学科
大学院総合医理工学研究科 総合理工学専攻
研究分野
ソフトウェア工学
全ての研究業績を上記ホームページURLに掲載しています.
キーワード:モデル駆動工学
現在の研究課題
Research on Model-Driven Engineering
キーワード:Rapid Prototyping , Model Transformation
所属学会
所属学会
情報処理学会
日本ソフトウェア科学会
IEEE
ACM
電子情報通信学会

所属学会役職担当
2019- , 情報処理学会 , 論文誌JIP編集委員会(WG) 編集委員(Computing Group)
2019- , 情報処理学会 , 論文誌ジャーナル編集委員会(WG) 編集委員(基盤グループ)
2020-2022 , 電子情報通信学会 , 『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会 編集幹事
2020-2022 , 電子情報通信学会 , 『 Special Section on Empirical Software Engineering 』小特集編集委員会 編集委員
2020-2022 , 電子情報通信学会 , 知能ソフトウェア工学研究専門委員会 幹事補佐
2020-2022 , 電子情報通信学会 , ソフトウェアサイエンス研究専門委員会 幹事補佐
2017-2020 , 電子情報通信学会 , 電子情報通信学会 知能ソフトウェア工学研究専門委員会 専門委員
2017-2018 , 電子情報通信学会 , 『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会 編集委員
2016-2022 , 情報処理学会 , 論文誌査読委員
2016-2017 , 電子情報通信学会 , 知能ソフトウェア工学研究専門委員会 幹事
2015-2016 , 電子情報通信学会 , 知能ソフトウェア工学研究専門委員会 幹事補佐
2014-2016 , 情報処理学会 , 東海支部委員
学歴
出身大学院
2012 , 芝浦工業大学

取得学位
博士(工学) , 芝浦工業大学(日本)
受賞学術賞
2020 , Excellent Paper Award
2016 , Best Paper Award
2016 , Industry Paper Award
2015 , Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”
研究職歴等
研究職歴
2020- , 信州大学学術研究院准教授(工学系)
2014-2020 , 信州大学学術研究院助教(工学系)
2013-2014 , 信州大学 大学院理工学系研究科 助教
2012-2013 , 信州大学 工学部 情報工学科 助教
2010-2012 , 日本学術振興会 特別研究員

研究活動業績

研究業績(著書・
発表論文等)
書籍等出版物
STAMP/STPAとモデル検査の併用による単線鉄道踏切例題の解析の効果について, 日本信頼性学会誌 41 2, 89-94
2019(Mar.)
Author:岡野浩三, 岡本圭史, 小形真平


論文
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
International Journal of Informatics Society,12(3):107-115 2021(Mar.)
Author:Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi, Toshifusa Sekizawa


CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development
International Journal of Systems and Software Security and Protection (IJSSSP),12(2):1-18 2021(Jan.)
Author:Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama


Systematic Literature Review of Security Pattern Research
Information (Switzerland),12(1:36):1-27 2021(Jan.)
Author: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.


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


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


モデル駆動開発方法論に基づく UML プログラミング教育環境
教育システム情報学会論文誌,36(2):118-130 2019(Apr.)
Author:香山瑞恵, 小形真平, 永井孝


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


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


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


入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価
コンピュータソフトウェア,32(1):1_147-1_160 2015(Feb.)
Author:小形真平, 早川弘基, 海谷治彦, 海尻賢二


静的解析によるAndroidパーミッションの利用目的の可視化方法
情報処理学会論文誌,56(1):391-400 2015(Jan.)
Author:坂下卓弥, 小形真平, 海谷治彦, 海尻賢二


Method Miningに基づくerror-proneモジュールの予測
バイオメディカル・ファジィ・システム学会誌,16(2):45-58 2014(Nov.)
Author:内宮秀明, 小形真平, 海尻賢二


要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用
IPA SEC Journal,10(2):8-15 2014(Jul.)
Author:松浦佐江子, 小形真平, 青木善貴, 谷沢智史, 西村一彦


講演・口頭発表等
Property Lifecycle Diagram for Tracing State Machine Diagram Changes
Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021) 2021(Apr.)
Presenter:Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama, Kozo Okano


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


A Tool to Manage Traceability on Several Models and Its Use Case
Procedia Computer Science 176 1449-1458 2020(Oct.)
Presenter:Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki


Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA
Procedia Computer Science 176 1392-1401 2020(Oct.)
Presenter:Kozo Okano, Pan Yang, Shinpei Ogata and Keishi Okamoto


Java model checking: improvement of the understanding of counterexample
Proc. of the International Workshop on Informatics 2020 (IWIN 2020) 2020(Sep.)
Presenter:Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano


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


Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling
Learning and Analytics in Intelligent Systems (LAIS) 19 70-83 2020(Aug.)
Presenter:Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki


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


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


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


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


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


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


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


Taxonomy and Literature Survey of Security Pattern Research
AINS 2018 2018(Nov.)
Presenter: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


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


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


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


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


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


Goal-Satisfaction Verification to Combination of Use Case Component
ENASE2018 2018(Mar.)
Presenter:Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki


Cloud Security and Privacy Metamodel - Metamodel for Security and Privacy Knowledge in Cloud Services
MODELSWARD 2018 2018(Jan.)
Presenter: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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


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


A Metamodel for Security and Privacy Knowledge in Cloud Services
Proc. of the IEEE Services 2016 2016(Jun.)
Presenter: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


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


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


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


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


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


Practical Behavioral Inconsistency Detection between Source Code and Specification using Model Checking
Proc. of the 25th IEEE International Symposium on Software Reliability Engineering (ISSRE) Workshops 2014(Nov.)
Presenter:Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata


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


A Practical Conceptual Modeling Teaching Method based on Quantitative Error Analyses for Novices Learning to Create Error-free Simple Class Diagrams
Proc. of the IIAI 3rd International Conference on Advanced Applied Informatics (IIAIAAI) 2014(Aug.)
Presenter:Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto and Makoto Otani


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

研究費
受託研究
2009 - 2010 , モデルドリブンソフトウェア開発の成果物とその再利用性の研究

科学研究費補助金(研究代表者)
2020 - 2023 , 状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究 , 基盤研究(C)
2015 - 2019 , 手動評価と自動評価を統合したモデルベース操作性評価手法の研究 , 若手研究(B)
2010 - 2011 , 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究 , 特別研究員奨励費

科学研究費補助金(研究分担者)
2016 - 2021 , 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発 , 基盤研究(B)
2016 - 2021 , ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡 , 基盤研究(B)
2016 - 2019 , モデルと制約に基づくソフトウェア開発に関する研究 , 基盤研究(C)
2010 - 2015 , 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発 , 基盤研究(B)
研究諸活動
学術論文査読件数
情報処理学会
電子情報通信学会