Rchr
J-GLOBAL ID:201801019308391486   Update date: Sep. 06, 2024

OGATA Shinpei

オガタ シンペイ | OGATA Shinpei
Affiliation and department:
Job title: Associate Professor
Homepage URL  (2): https://sites.google.com/cs.shinshu-u.ac.jp/sel/staff/shinpei-ogatahttps://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 ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡
Show all
Papers (101):
  • 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
  • Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka. Comparative Evaluation of NLP-Based Approaches for Linking CAPEC Attack Patterns from CVE Vulnerability Information. Information, Applied Sciences, Special Issue on Software Engineering: Computer Science and System. 2022. 12. 7. 1-16
  • 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. Procedia Computer Science. 2022. 207. 532-541
  • 大宮拓馬,小形真平,岡野浩三. 可読性の高いクラス図レイアウトを作成するための美的基準の調査. コンピュータソフトウェア. 2021. 38. 4. 33-39
more...
MISC (35):
more...
Books (2):
  • 電子情報通信学会 通信ソサイエティマガジン 15 4
    2022
  • 日本信頼性学会誌 41 2
    2019
Lectures and oral presentations  (20):
  • Reducing Syntactic Complexity for Information Extraction from Japanese Requirement Specifications
    (Proc. of 29th Asia-Pacific Software Engineering Conference (APSEC 2022) 2022)
  • An Educational Unified Modelling Language Programming Environment and Its Two Case Studies
    (Proc. of the International Conference on Cognition and Exploratory Learning in Digital Age (CELDA 2022) 2022)
  • Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning
    (Proc. of International Workshop on Informatics 2022 (IWIN2022) 2022)
  • Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar
    (Proc. of International Workshop on Informatics 2022 (IWIN2022) 2022)
  • A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking
    (Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022) 2022)
more...
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