Rchr
J-GLOBAL ID：201801019308391486   Update date: Dec. 24, 2024

OGATA Shinpei

オガタ シンペイ | OGATA Shinpei
Affiliation and department：
Shinshu University Graduate School of Science and Technology

About Shinshu University Graduate School of Science and Technology


Job title： Associate Professor
Homepage URL  (2)： https://sites.google.com/cs.shinshu-u.ac.jp/sel/staff/shinpei-ogata ,  https://sites.google.com/cs.shinshu-u.ac.jp/sel/
Research field  (1)： Software
Research keywords  (1)： Model-Driven Engineering
Research theme for competitive and other funds  (13)：
  • 2021 - 2025 Foundation for data-driven software maintenance and evolution augmented by machine learning
  • 2021 - 2025 自然語解析と反例解析を活用したソフトウェア開発
  • 2020 - 2023 状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究
  • 2017 - 2022 A Study on Super Active CPS for Enhancing Adaptability of Artifacts
  • 2016 - 2021 Trace ANY: tracing any software in any direction to support software system maintenance and evolution
Show all
Papers (104)：
  • 佐竹柊路, 鈴木彦文, 小形真平, 岡野浩三. ネットワーク設計に対するリンク障害の検証支援ツールの提案と評価. 学術情報処理研究. 2023. 27. 1. 180-190
  • 新井凪, 小形真平, 鈴木彦文, 岡野浩三. ネットワーク構成モデルに基づくネットワーク機器設定手順自動生成システム,. 情報処理学会論文誌デジタルプラクティス(DP). 2023. 4. 3. 33-47
  • Hitoshi Kiryu, Nobutoshi Todoroki, Satoshi Suda, Shinpei Ogata, Kozo Okano. Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning. International Journal of Informatics Society. 2023. 15. 1. 15-22
  • Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki. Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications. Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022). 2022. 387-396
  • Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano. Verification of Shell ScriptBehavior by Comparing Execution Log. International Journal of Informatics Society. 2022. 14. 2. 55-64
ｍore...
MISC (36)：
  • Consideration of Network Requirement Editor for Non-technical Users. 2023. 2023. 101-102
  • An Educational Modeling Support Environment for “Technology” at a Junior High School and its Practical Use. 2023. 4. 2. 85-97
  • YANG Pan, 岡野浩三, 小形真平, 岡本圭史. An Approach of Deriving Hazard Transition Series by Cooperation of STAMP/STPA and Model Checking. 電子情報通信学会技術研究報告. 2020. 119. 451(SS2019 41-60)(Web)
  • On the Utility of Combined Application of STAMP/STPA and Model Checking to Single Track Railroad Crossing. 2019. 41. 2. 89-95
  • Model Checking Application to the Railway Crossing Problem for STAMP/STPA using Timed Automaton. 2018. 117. 477. 1-6
ｍore...
Books (2)：
  • 電子情報通信学会 通信ソサイエティマガジン 15 4
    2022
  • 日本信頼性学会誌 41 2
    2019
Lectures and oral presentations  (25)：
  • Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces
    (Proc. of the 2nd International Workshop on Intelligent Software Engineering co-located with the 30th Asia-Pacific Software Engineering Conference (APSEC 2023) 2023)
  • DNN-based Fault Localization with Virtual Coverage based on Number of Executions
    (Proc. of International Workshop on Informatics 2023 (IWIN2023) 2023)
  • Practice-based Collection of Bad Smells in Machine Learning Projects
    (Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023) 2023)
  • Finding Contributable Activities Using Non-Verb Attributes In Events
    (Proc. of the 27th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2023) 2023)
  • A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams
    (Proc. of the 35th IEEE International Conference on Software Engineering Education and Training (CSEE&T 2023) 2023)
ｍore...
Education (1)：
  • - 2012 Shibaura Institute of Technology
Professional career (1)：
  • Doctor of Engineering (Shibaura Institute of Technology (Japan))
Work history (5)：
  • 2020/04 - Assoc. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University
  • 2014/04 - 2020/03 Asst. Prof., Institute of Engineering, School of Science and Technology, Academic Assembly, Shinshu University
  • 2013/08 - 2014/03 Asst. Prof., Graduate School of Science and Technology, Shinshu University
  • 2012/04 - 2013/08 Asst. Prof., Dept. of Computer Science & Engineering, Faculty of Engineering, ShinshuUniversity
  • 2010/04 - 2012/03 JSPS Research Fellowships
Committee career (16)：
  • 2020/06 - 2022/06 電子情報通信学会 ソフトウェアサイエンス研究専門委員会 幹事補佐
  • 2020/06 - 2022/06 電子情報通信学会 知能ソフトウェア工学研究専門委員会 幹事補佐
  • 2020/12 - 2022/05 電子情報通信学会 『 Special Section on Empirical Software Engineering 』小特集編集委員会 編集委員
  • 2020/12 - 2022/05 電子情報通信学会 『 Special Section on Knowledge-Based Software Engineering 』小特集編集委員会 編集幹事
  • 2019/06 - 2022/05 情報処理学会 論文誌査読委員
Show all
Awards (6)：
  • 2023/02 - 第9回実践的IT教育シンポジウム in 函館 優秀教育実践賞
  • 2022/03 - 電子情報通信学会 ソフトウェアサイエンス研究専門委員会 ソフトウェアサイエンス研究会 研究奨励賞
  • 2020/09/11 - International Workshop on Informatics Excellent Paper Award
  • 2016/09/13 - The 15th International Conference on Intelligent Software Methodologies, Tools and Techniques Best Paper Award
  • 2016/08/31 - IWIN (International Workshop on Informatics) 2016 Industry Paper Award
Show all
Association Membership(s) (5)：
電子情報通信学会 ,  ACM ,  IEEE ,  日本ソフトウェア科学会 ,  情報処理学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM