- PERSONAL INFORMATION / 自己紹介
- EDUCATION / 学歴
- WORK EXPERIENCE / 職歴
- Outreach Activity / 社会貢献・学会活動
- Publications / 論文等
- Books, etc. / 著書・解説・展望記事等
- Journal Papers (Refereed) / 論文誌論文(査読あり)
- International Conference Proceedings (Refereed) / 国際会議論文(査読あり)
- Domestic Conference Proceedings (Refereed) / 国内学会論文(査読あり)
- International Conference Proceedings (Non-Refereed) / 国際会議論文(査読なし)
- Domestic Conference Proceedings (Non-Refereed) / 国内学会論文(査読なし)
- Presentation / 口頭発表
- Others / その他
Personal Information / 自己紹介
Shinpei Ogata / 小形 真平 (ogata at cs.shinshu-u.ac.jp)
Shinshu University, Academic Assembly, School of Science and Technology, Institute of Engineering / 信州大学学術研究院准教授(工学系)
Associate Professor / 准教授
Education / 学歴
received the b.s. degree in engineering from shibaura institute of technology in 2007
received the m.s. degree in engineering from shibaura institute of technology in 2009
received the ph.d degree in engineering from shibaura institute of technology in 2012
Work Experience / 職歴
JSPS research fellowship (DC2) from 2010.4 to 2012.3
Assistant professor at shinshu university from 2012.4 to 2020.3
Researcher at Research Organization for Advanced Engineering S.I.T from 2012.4 to 2013.3
Researcher at Research Organization for Advanced Engineering S.I.T from 2014.4 to 2017.3
Associate professor at shinshu university from 2020.4
Outreach Activity / 社会貢献・学会活動
学会委員
- 情報処理学会東海支部
- 委員
- 2014.5 – 2016.4
- 委員
編集委員会
- 情報処理学会 論文誌ジャーナル編集委員会
- 編集委員
- 2019.6.1 – 2023.5.31
- 編集委員
- 情報処理学会 論文誌JIP編集委員会
- 編集委員
- 2019.6.1 – 2023.5.31
- 編集委員
- 情報処理学会 会誌編集委員会
- 編集委員
- Now! 2022.4.1 –
- 編集委員
- 電子情報通信学会 ISSソサイエティ誌編集委員会
- 委員
- Now! 2022.6.9 – 2024.6.5
- 委員
- 情報処理学会 論文賞選定ワーキンググループ
- 委員
- 2019.10.28 -, 2019
- 2020.10.30 -, 2020
- 2021.10.25 -, 2021
- 2022.10.26 -, 2022
- 委員
- 電子情報通信学会 情報・システムソサイエティ学術奨励賞選定委員会
- 投票委員
- 2016.7.5 – 2017.3.31, 2016
- 2017.7.7 – 2018.3.31, 2017
- 2021.7.30 – 2022.3.31, 2021
- 2022.8.5 – 2023.3.31, 2022
- 投票委員
- 情報処理学会 論文誌「ソフトウェア工学」特集号編集委員会
- 編集委員
- 2020.2.7 -, 2020
- 2021.2.10 -, 2021
- 2021.12.4 -, 2022
- 2023.2.10 -, 2023
- 編集委員
- 情報処理学会 論文誌「組込みシステム工学」特集号編集委員会
- 編集委員
- 2021.2.18 -, 2021
- Cont., 2022
- Cont., 2023
- 編集委員
- 電子情報通信学会 Special Section on Knowledge-Based Software Engineering 小特集編集委員会
- 編集幹事
- 2020.12.16 – 2022.5.1, 2021
- 編集委員
- 2017.5.19 – 2018.7.1, 2017
- 2019.2.22 – 2020.6.1, 2019
- Now! 2023.3.30 – 2024.5.1, 2023
- 編集幹事
- 電子情報通信学会 Special Section on Empirical Software Engineering 小特集編集委員会,
- 編集委員
- 2020.11.12 – 2022.1.1, 2021
- 2022.1.4 – 2023.2.1, 2022
- Now! 2023.3.2 – 2024.3.1, 2023
- 編集委員
研究会運営
- 電子情報通信学会 知能ソフトウェア工学研究専門委員会
- 幹事
- 2016.6.2 – 2017.5.31
- 2021.6.3 – 2022.6.7
- 幹事補佐
- 2015.6.4 – 2016.6.1
- 2020.6.4 – 2021.6.2
- 専門委員
- 2017.6.1 – 2020.6.3
- Now! 2022.6.9 – 2024.6.5
- 幹事
- 電子情報通信学会 ソフトウェアサイエンス研究専門委員会
- 幹事
- Now! 2022.6.9 – 2024.6.5
- 幹事補佐
- 2020.6.4 – 2022.6.8
- 幹事
- 情報処理学会 ソフトウェア工学研究運営委員会
- 運営委員
- Now! 2021.4.1 – 2025.3.31.
- 運営委員
国際会議運営
- ACIT: International Conference on Applied Computing & Information Technology,
- PC Member
- Track 1: Software Engineering, Okayama, Japan, Jul 12 – 16, 2015.
- PC Member
- APSEC: Asia-Pacific Software Engineering Conference
- PC Member
- 2018.4.8-, The Early Research Achievements (ERA) track, Nara, Japan, Dec. 4-7 2018.
- 2023.4.9-, software engineering education track, Seoul, Korea, Dec. 4-7, 2023. https://conf.researchr.org/home/apsec-2023
- PC Member
- CSEE&T: IEEE International Conference on Software Engineering Education and Training
- PC Member
- 2023.2.11-, Tokyo, Japan, Aug. 7-9, 2023. https://conf.researchr.org/home/cseet-2023
- PC Member
- ICSEA: International Conference on Software Engineering Advances
- PC Member
- 2019.5.19-, Valencia, Spain, Nov. 24-28, 2019.
- Cont., Porto, Portugal, Oct. 18-22, 2020.
- Cont., Barcelona, Spain, Oct. 3-7, 2021.
- Cont., Lisbon, Portugal, Oct. 16-20, 2022.
- PC Member
- ICPC: International Conference on Program Comprehension
- PC Member
- 2020.1.7-, Programming Education Track, IEEE/ACM, Seoul, South Korea, May 23-24, 2020. (Changed to virtual conference, Jul. 13-15 2020.)
- PC Member
- ICTAI: IEEE International Conference on Tools with AI
- PC Member
- 2021.6.21-, IEEE, Washington D.C., USA, Nov. 1-3, 2021. (Changed to virtual conference)
- PC Member
- IWESEP: International Workshop on Empirical Software Engineering
- Publicity Co-Chair
- 2013, co-located with APSEC2013, Bangkok, Thailand, Dec. 2 2013.
- Publicity Co-Chair
- JCKBSE: International Joint Conference on Knowledge-Based Software Engineering
- PC Member
- 2017.8.25-, Corfu, Greece, Aug. 27-30 2018.
- 2019.12.5-, Larnaca, Cyprus, Aug. 24-26 2020. (Changed to virtual conference, Aug. 25-26 2020.)
- 2022.4.12-, Online, Aug. 22-24 2022.
- Publicity Chair
- 2019.11.28-, Larnaca, Cyprus, Aug. 24-26 2020. (Changed to virtual conference, Aug. 25-26 2020.)
- PC Member
- KEOD: International Conference on Knowledge Engineering and Ontology Development
- PC Member
- 2023.2.16-, Rome, Italy, Nov. 13-15, 2023. https://keod.scitevents.org/
- PC Member
- MODELS: International Conference on Model Driven Engineering Languages and Systems
- Finance Chair,
- ACM/IEEE, Fukuoka, Japan, Oct. 10-15, 2021. (Changed to virtual conference)
- Finance Chair,
- SEKE: International Conference on Software Engineering & Knowledge Engineering
- PC Member
- 2022.10.2-, [live conference] at the four stars Larkspur Landing South San Francisco All-Suite Hotel, USA, from July 1 to July 3, 2023, [virtual conference] at the KSIR Virtual Conference Center, USA, from July 5 to July 10, 2023. https://ksiresearch.org/seke/seke23.html
- PC Member
- SNPD: IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
- PC Member
- Kagawa, Japan, Jun 1 – 3, 2015.
- PC Member
- WESPr: International Workshop on Evidence-based Security and Privacy in the Wild
- PC Member
- 2018.9.20-, Nara, Japan, Dec. 4 2018.
- PC Member
- WM2SP: International Workshop for Models and Modelling on Security and Privacy,
- PC Member
- conjunction with ER 2016 The 35th International Conference on Conceptual Modeling, International Convention Center in Gifu (Nagaragawa Convention Center), Gifu, Japan, Nov. 14-17 2016.
- PC Member
国内会議運営
- SES: IPSJ/SIGSE Software Engineering Symposium, ソフトウェア エンジニアリング シンポジウム
- プログラム委員長
- 2022.9.7-, 早稲田大学/オンライン, 東京, Aug. 23 – 25 2023.
- 副プログラム委員長
- 2021.12.17-, 早稲田大学/オンライン, 東京, Sep. 5 – 7 2022.
- プログラム委員
- 芝浦工業大学 田町キャンパス, 東京, Sep. 1-3 2014.
- 慶應義塾大学 日吉キャンパス, 東京, Sep. 7-9 2015.
- 東洋大学 白山キャンパス, 東京, Aug. 31 – Sep. 2 2016.
- 早稲田大学 グリーンコンピューティングシステム研究開発センター, 東京, Aug. 30 – Sep. 1 2017.
- 2018.4.5-, 東洋大学 白山キャンパス, 東京, Sep. 5 – 7 2018.
- 2019.3.27-, 工学院大学 新宿キャンパス, 東京, Aug. 29 – 31 2019.
- 2020.4.1-, 株式会社日立製作所 横浜研究所, 神奈川, Sep. 10 – 12 2020. (オンライン開催に変更)
- 2021.4.5-, オンライン, Sep. 6 – 8 2021.
- Web広報委員長
- 芝浦工業大学 田町キャンパス, 東京, Sep. 1-3 2014.
- プログラム委員長
- FOSE: ソフトウェア工学の基礎ワークショップ
- プログラム委員
- 2018.3.15-, 北海道函館市湯川町, 北海道, Nov. 15 – 17 2018.
- 2019.4.4-, 下呂市(下呂温泉), 岐阜, Nov. 28 – 30 2019.
- 2020.3.13-, 戸田家, 三重, Nov. 19 – 21 2020. (オンライン開催に変更)
- 2021.3.30-, 磐梯熱海温泉/オンライン, 福島, Nov. 11 – 13 2021.
- 2022.3.10-, 松江しんじ湖温泉, 島根, Nov. 10 – 12 2022.
- 2023.4.21-, 伊勢志摩国立公園/鳥羽温泉郷 戸田家, 三重, Nov. 9 – 11 2023.
- プログラム委員
- ESS: EMBEDDED SYSTEM SYMPOSIUM, 組込みシステムシンポジウム
- プログラム委員
- 早稲田大学グリーン・コンピューティング・システム研究開発センター, 東京, Oct. 20-22 2016.
- 下呂温泉水明館, 岐阜, Aug. 24-25 2017.
- 下呂温泉水明館, 岐阜, Aug. 30-31 2018.
- 下呂温泉水明館, 岐阜, Sep. 5-6 2019.
- プログラム委員
Grants / 研究助成
- 特別研究員奨励費, 研究課題番号:10J09781, 高品質な要求仕様の定義に向けたモデル駆動開発手法の研究, 代表者, 2010.4-2012.3
- IPA SEC RISE, 要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用に関する研究, 共同研究者, 2012.6-2013.1
- 科研基盤(B), 研究課題番号:22300286, 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発, 分担者, 2014.4-2015.3
- IPA SEC RISE, 保守プロセスにおけるモデル検査技術の開発現場への適用に関する研究, 共同研究者, 2014.6-2015.2
- 科研若手(B), 研究課題番号: 15K15972, 手動評価と自動評価を統合したモデルベース操作性評価手法の研究, 代表者, 2015.4-2019.3
- IISF SSR, クラウドサービスの開発運用におけるセキュリティとプライバシの確保のためのメタモデルに基づく知識ベースと参照アーキテクチャの調査研究, 共同研究者, H27年度
- 科研基盤(B), 研究課題番号: 16H02804, ヘテロな開発運用時代の保守進化を支える全方向ソフトウェア追跡, 分担者, 2016.4-2021.3
- 科研基盤(B), 研究課題番号: 16H03074, 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発, 分担者, 2016.4-2021.3
- 科研基盤(C), 研究課題番号: 16K00094, モデルと制約に基づくソフトウェア開発に関する研究, 分担者, 2016.4-2019.3
- IISF SSR, 複雑なネットワークソフトウェアシステムにおけるセキュリティ&プライバシ・エコシステムの調査研究, 共同研究者, H28年度
- 科研基盤(B), 研究課題番号: 17KT0043, 人工物システムの適応性を向上させる超能動型CPSに関する研究, 分担者, 2017.7-2021.3
- 科研基盤(C), 研究課題番号: 20K03146, 状態遷移モデリング学習を支援する学習者向けフィードバック自動生成手法の研究, 代表者, 2020.4-2022.3
- Now! 科研基盤(C), 研究課題番号: 21K11826, 自然語解析と反例解析を活用したソフトウェア開発, 分担者, 2021.4-2025.3
- Now! 国際共同研究強化(B), 研究課題番号: 21KK0179, 機械学習により増強されたデータ駆動ソフトウェア保守進化基盤, 分担者, 2021.4-2025.3
Publications / 論文等
Books, etc. / 著書・解説・展望記事等
- (編集) 小形真平,角田雅照,中川博之,ソフトウェアエンジニアリングシンポジウム2023(SES2023)予稿集,情報処理学会, Aug. 2023.
- (編集) 戸田航史,小形真平,上原忠弘,ソフトウェアエンジニアリングシンポジウム2022(SES2022)予稿集,情報処理学会, Aug. 2022.
- 新村正明, 小林一樹, 小形真平,JupyterLab によるPython 学習のはじめかた,電子情報通信学会 通信ソサイエティマガジン, vol. 15, no. 4, pp.333-338, Mar. 2022.
- 岡野浩三, 岡本圭史, 小形真平, STAMP/STPAとモデル検査の併用による単線鉄道踏切例題の解析の効果について, 日本信頼性学会誌, vol.41, no 2, pp.89-94, Mar. 2019.
Journal Papers (Refereed) / 論文誌論文(査読あり)
- 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, 香山瑞恵, 論文題目:静的解析と動的解析によるUMLステートマシン図答案の誤り特定自動化手法の提案と評価, コンピュータソフトウェア, 2024. (To Appear)
- 木村拓馬, 小形真平, 槇原絵里奈, 岡野浩三, ステートマシン図課題における答案が満たさない要求特定・計測半自動化手法の提案と評価, コンピュータソフトウェア, 2024. (To Appear)
- Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Evaluating Introduction of Systems by Goal Dependency Modeling, IEICE Transactions on Information and Systems, 2024. (To Appear)
- 佐竹柊路, 鈴木彦文, 小形真平, 岡野浩三, ネットワーク設計に対するリンク障害の検証支援ツールの提案と評価, 学術情報処理研究, Vol. 27, No. 1, pp.180-190, Nov. 2023.
- 新井凪, 小形真平, 鈴木彦文, 岡野浩三, ネットワーク構成モデルに基づくネットワーク機器設定手順自動生成システム, 情報処理学会論文誌デジタルプラクティス(DP), Vol.4, No.3, pp.33-47, Jul. 2023.
- 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, Vol.15, No.1, pp.15-22, Jun. 2023.
- 丸山凌凱, TRAN NGOC THAO, 小川裕也, 加地泉美, 香山瑞恵, 永井孝, 舘伸幸, 小形真平, 田口直実, 中学校技術科での利用を想定したモデリング学習支援環境とその授業実践, 情報処理学会論文誌デジタルプラクティス(TDP), Vol.4, No.2, pp.85-97, Apr. 2023.
- Hitoshi Kiryu, Satoshi Suda, Shinpei Ogata, Kozo Okano, Verification of Shell Script Behavior by Comparing Execution Log, International Journal of Informatics Society, Vol.14, No.2, pp.55-64, Oct. 2022.
- Chellet Marwan Bernard Hassan, Shinpei Ogata, Kozo Okano, Executable Counterexample for Java Model Checker, International Journal of Informatics Society, Vol.13, No.3, pp.107-114, Mar. 2022.
- 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, Applied Sciences, Special Issue on Software Engineering: Computer Science and System, Vol.12, No.7, 3400, pp.1-16, Mar. 2022.
- 大宮拓馬,小形真平,岡野浩三,可読性の高いクラス図レイアウトを作成するための美的基準の調査,コンピュータソフトウェア,Vol.38,No.4,pp.33-39,Oct. 2021.
- Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama, Nobukazu Yoshioka, Tracing CVE Vulnerability Information to CAPEC Attack Patterns Using Natural Language Processing Techniques, Information (Switzerland), Vol.12, No.8, 298, pp.1-15, Jul. 2021.
- Rin Karashima, Kozo Okano, Shinpei Ogata, Satoshi Harauchi and Toshifusa Sekizawa, 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, Vol.12, No.3, INFSOC, pp.143-156 , Mar. 2021.
- Hironori Washizaki, Tian Xia, Natsumi Kamata, Yoshiaki Fukazawa, Hideyuki Kanuka, Takehisa Kato, Masayuki Yoshino, Takao Okubo, Shinpei Ogata, Haruhiko Kaiya, Atsuo Hazeyama, Takafumi Tanaka, Nobukazu Yoshioka and G Priyalakshmi, Systematic Literature Review of Security Pattern Research, Information (Switzerland), Vol.12, No.1:36, MDPI, (Scopus’19 CiteScore=2.4) pp.1-27, Jan. 2021.
- Tian Xia, Hironori Washizaki, Yoshiaki Fukazawa, Haruhiko Kaiya, Shinpei Ogata, Eduardo B. Fernandez, Takehisa Kato, Hideyuki Kanuka, Takao Okubo, Nobukazu Yoshioka and Atsuo Hazeyama, CSPM: Metamodel for Handling Security and Privacy Knowledge in Cloud Service Development, International Journal of Systems and Software Security and Protection (IJSSSP), Vol.12, No.2, IGI-Global, pp.1-18, Jan. 2021.
- Hironori Washizaki, Shinpei Ogata, Atsuo Hazeyama, Takao Okubo, Eduardo B. Fernandez and Nobukazu Yoshioka, Landscape of Architecture and Design Patterns for IoT Systems, IEEE Internet of Things Journal (JCR’19 IF=9.515), vol. 7, no. 10, pp. 10091-10101, Oct. 2020
- Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin Nakajima, Consistency Checking between Java equals and hash Code Methods using Software Analysis Workbench, IEICE TRANSACTIONS on Information and Systems (JCR’18 IF=0.576), Vol.E102-D, No.8, pp.1498-1505, Aug. 2019.
- 香山瑞恵, 小形真平, 永井孝, モデル駆動開発方法論に基づく UML プログラミング教育環境, 教育システム情報学会論文誌, Vol.36, Issue 2, pp.118-130, Apr. 2019.
- Satoshi Harauchi, Kozo Okano and Shinpei Ogata, Removing Ambiguous Message Exchanges in Designing Sequence Diagrams for Developing Asynchronous Communication Program, International Journal of Informatics Society, Vol.9, No.3 pp.129-138, Dec. 2017.
- Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano, On the Generation of Human-oriented Counter-examples using a Test Automaton, International Journal of Informatics Society, Vol.9, No.1, pp.41-50, Jun. 2017.
- Hiromi Oshima, Shinpei Ogata and Kenji Kaijiri, 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, Vol.4, Issue 11, pp.13-16, Nov. 2015.
- 小形真平, 早川弘基, 海谷治彦, 海尻賢二, 入力保存機能に着目したモデル駆動ユーザビリティ評価法の提案と評価, コンピュータソフトウェア, Vol.32, No.1, pp.1_147-1_160, Feb. 2015.
- 坂下卓弥, 小形真平, 海谷治彦, 海尻賢二, 静的解析によるAndroidパーミッションの利用目的の可視化方法, 情報処理学会論文誌, Vol.56, No.1, pp.391-400, Jan. 2015.
- 内宮秀明, 小形真平, 海尻賢二, Method Miningに基づくerror-proneモジュールの予測, バイオメディカル・ファジィ・システム学会誌, Vol.16, No.2, pp.45-58, Nov. 2014.
- 松浦佐江子, 小形真平, 青木善貴, 谷沢智史, 西村一彦, 要件定義プロセスと保守プロセスにおけるモデル検査技術の開発現場への適用, IPA SEC Journal, Vol.10, No.2, pp.8-15, Jul. 2014.
- 上田健之, 小形真平, 海谷治彦, 海尻賢二, 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価, 電子情報通信学会論文誌, Vol.J97-D, No.3, pp.414-426, Mar. 2014.
- Haruhiko Kaiya, Junya Sakai, Shinpei Ogata and Kenji Kaijiri, Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment, International Journal of Secure Software Engineering (IJSSE), IGI-Global, Vol.4, Issue 3, pp.42-63, Sep. 2013.
- Haruhiko Kaiya, Masahiro Umemura, Shinpei Ogata and Kenji Kaijiri, Spectrum analysis on quality requirements consideration in software design documents, SpringerPlus 2013, Vol.2, Issue 310, pp.1-14, Jul. 2013.
- Hirotaka Okuda, Shinpei Ogata and Saeko Matsuura, Experimental development based on mapping rule between requirements analysis model and web framework specific design model, SpringerPlus 2013 (JCR’16 IF=1.130), Vol.2, Issue 123, pp.1-8, Mar. 2013.
- Shinpei Ogata and Saeko Matsuura, A review method for UML requirements analysis model employing system-side prototyping, SpringerPlus 2013 (JCR’16 IF=1.130), Vol.2, Issue 134, pp.1-11, Mar. 2013.
- Shinpei Ogata, Yoshitaka Aoki, Hirotaka Okuda and Saeko Matsuura, An Automation of Check Focusing on CRUD for Requirements Analysis Model in UML, International Journal of Computer, Electrical, Automation, Control and Information Engineering, World Academy of Science, Engineering and Technology, Vol.6, No.9, pp.1149-1157, Sep. 2012.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成手法, コンピュータソフトウェア, Vol.27, No.2, pp.14-32, Jun. 2010.
- Shinpei Ogata and Saeko Matsuura, A Method of Automatic Integration Test Case Generation from UML-based Scenario, WSEAS Transactions on Information Science and Applications, Vol.7, Issue 4, pp.598-607, Apr. 2010.
- Shinpei Ogata and Saeko Matsuura, Evaluation of a Use-Case-Driven Requirements Analysis Tool Employing Web UI Prototype Generation, WSEAS Transactions on Information Science and Applications, Vol.7, Issue 2, pp.273-282, Feb. 2010.
- Shinpei Ogata and Saeko Matsuura, A UML-based Requirements Analysis with Automatic Prototype System Generation, Communication of SIWN, Vol.3, pp.166-172, Jun. 2008.
International Conference Proceedings (Refereed) / 国際会議論文(査読あり)
- Takuma Ikeda, Kozo Okano, Shinpei Ogata, Shin Nakajima, Fault Localization with DNN-based Test Case Learning and Ablated Execution Traces, International Workshop on Intelligent Software Engineering, Seoul, Korea, Dec. 2023. (To Appear)
- Haruhiko Kaiya, Hironori Takeuchi, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito, 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), Procedia Computer Science, vol.225, pp.507-516, Sep. 2023.
- Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Shinobu Saito, 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), Procedia Computer Science, vol.225, pp.517-526, Sep. 2023.
- Takuma Ikeda, Hitoshi Kiryu, Shinpei Ogata, Kozo Okano, DNN-based Fault Localization with Virtual Coverage based on Number of Executions, Proc. of International Workshop on Informatics 2023 (IWIN2023), Hokkaido, Japan, pp.207-213, Sep. 2023.
- Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano, 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), pp.1-10, Tokyo, Japan, Aug. 2023.
- 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), pp.387-396, Dec. 2022.
- Ryoga Maruyama, Shinpei Ogata, Mizue Kayama, Nobuyuki Tachi, Takashi Nagai, Naomi Taguchi, 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), pp.139-146, Nov. 2022.
- Hitoshi Kiryu, Shinpei Ogata, Kozo Okano, Improve Measuring Suspiciousness of Bugs in Spectrum-Based Fault Localization With Deep Learning, Proc. of International Workshop on Informatics 2022 (IWIN2022), pp.3-8, Sep. 2022.
- Koki Shimokawa, Hiroya Ii, Maiko Onishi, Shinpei Ogata, Kozo Okano, Automatic Derivation of a Transition Model from a Japanese Requirement Specification under a Restricted Grammar, Proc. of International Workshop on Informatics 2022 (IWIN2022), pp.13-20, Sep. 2022.
- Haruhiko Kaiya, Tomoya Misawa, Shinpei Ogata, Shinobu Saito, Hiroyuki Nakagawa, Hironori Takeuchi, A Proposal to Find Mutually Contributable Business or Life Activities Using Conformance Checking, Proc. of the 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), Procedia Computer Science, vol.207, pp.542-551, Sep. 2022.
- 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, Proc. of 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2022), pp.532-541, Sep. 2022.
- Shinpei Ogata, Hiroyuki Nakagawa, Haruhiko Kaiya, Hironori Takeuchi, A Study on Analyzing Learner Behaviors in State Machine Modeling Using Process Mining and Statistical Test, Proc. of the 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), pp.141-153, Aug. 2022.
- Maiko Onishi, Shinpei Ogata, Kozo Okano, Daisuke Bekki, A Method for Matching Patterns Based on Event Semantics with Requirements, Proc. of 14th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2022), pp.181-192, Aug. 2022.
- Hironori Takeuchi, Haruhiko Kaiya, Hiroyuki Nakagawa, Shinpei Ogata, Reference Model for Agile Development of Machine Learning-based Service Systems, Proc. of APSEC Workshops 2021, pp.17-20, Dec. 2021.
- Ryosuke Tsutsumi, Jiujun Wei, Shinpei Ogata, Masaaki Niimura, Kozo Okano, Software edutainment systems and analysis of learners’ data based docker and edutainment, Proc. of the International Workshop on Informatics 2021 (IWIN 2021), pp.179-187, Online, 12-13 Sep. 2021.
- Hitoshi Kiryu, Shinpei Ogata, Kozo Okano, Verification of shell script behavior by comparing execution log, Proc. of the International Workshop on Informatics 2021 (IWIN 2021), pp.111-116, Online, 12-13 Sep. 2021.
- Masanosuke Ohto, Hiroya Ii, Kozo Okano, Shinpei Ogata, Proposal of Extracting State Variables and Values from Requirement Specifications in Japanese by using Dependency Analysis, Proc. of KES 2021, pp.1649-1658, Sep. 2021.
- Hironori Washizaki, Atsuo Hazeyama, Takao Okubo, Hideyuki Kanuka, Shinpei Ogata, Nobukazu Yoshioka, Analysis of IoT Pattern Descriptions, 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), pp.21-26, online, 3 Jun. 2021.
- Shinpei Ogata, Yusuke Nishizawa, Erina Makihara, Mizue Kayama and Kozo Okano, Property Lifecycle Diagram for Tracing State Machine Diagram Changes, Proc. of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE2021) – Volume 1: MDI4SE, pp.521-528, Online, 25-26 Apr. 2021.
- Kenta Kanakogi, Hironori Washizaki, Yoshiaki Fukazawa, Shinpei Ogata, Takao Okubo, Takehisa Kato, Hideyuki Kanuka, Atsuo Hazeyama and Nobukazu Yoshioka, Tracing CAPEC Attack Patterns from CVE Vulnerability Information using Natural Language Processing Technique, Proc. of the 54th Hawaii International Conference on System Sciences (HICSS), pp.6996-7004, Online, 8-11 Jan. 2021.
- Haruhiko Kaiya, Shogo Tatsui, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki, A Tool to Manage Traceability on Several Models and Its Use Case, Procedia Computer Science, Vol.176, pp.1449-1458, 24th KES, Online, Oct. 2020.
- Kozo Okano, Pan Yang, Shinpei Ogata and Keishi Okamoto, Deriving of Time Constants in Timed Automata for Hazard Transition Sequences for STAMP/STPA, Procedia Computer Science, Vol.176, pp.1392-1401, 24th KES, Online, Oct. 2020.
- Marwan Bernard Hassan Chellet, Shinpei Ogata, and Kozo Okano, Java model checking: improvement of the understanding of counterexample, Proc. of the International Workshop on Informatics 2020 (IWIN 2020), pp.95-99, Online, 10-11 Sep. 2020. (Excellent Paper Award)
- Haruhiko Kaiya, Wataru Fujita, Ryotaro Yamada, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki, Experimental Evaluation of Traceability Checking Tool for Goal Dependency Modeling, Learning and Analytics in Intelligent Systems (LAIS), Vol.19, pp.70-83, 13th JCKBSE, 25-26 Aug. 2020.
- Hiroya Ii, Kozo Okano and Shinpei Ogata, Improving Accuracy of Automatic Derivation of State Variables and Transitions from a Japanese Requirements Specification, Learning and Analytics in Intelligent Systems (LAIS), Vol.19, pp.20-34, 13th JCKBSE, 25-26 Aug. 2020.
- Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki and Kazuki Kobayashi, 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), pp.815-822, Brno, Czech Republic, 30 Mar. – 3 Apr. 2020.
- Shinpei Ogata and Mizue Kayama, 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), pp.719-728, Munich, Germany, 15-20 Sep. 2019.
- Masashi Nakamura, Kozo Okano, Shinpei Ogata and Toshifusa Sekizawa, A Review Assistance System for Class Diagram with Voice Assistance based on NLP, Proc. of the International Workshop on Informatics (IWIN) 2019, pp.195-202, Hamburg, Germany, 8-11 Sep. 2019.
- Rin Karashima, Satoshi Harauchi, Shinpei Ogata and Kozo Okano, Proposal and Evaluation for equivalence checking for C and Java functions with recursive data structures by SAW, Proc. of the International Workshop on Informatics (IWIN) 2019, pp.155-162, Hamburg, Germany, 8-11 Sep. 2019.
- Pan Yang, Rin Karashima, Kozo Okano and Shinpei Ogata, 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), pp.1165-1174, Budapest, Hungary, 4-6 Sep. 2019.
- Haruhiko Kaiya, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Nobukazu Yoshioka and Hironori Washizaki, 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), pp.1075-1084, Budapest, Hungary, 4-6 Sep. 2019.
- Hironori Washizaki, Nobukazu Yoshioka, Atsuo Hazeyama, Takehisa Kato, Haruhiko Kaiya, Shinpei Ogata, Takao Okubo and Eduardo B. Fernandez, Landscape of IoT Patterns, short paper, Proc. of the IEEE/ACM 1st International Workshop on Software Engineering Research & Practices for the Internet of Things (SERP4IoT 2019), Colocated with the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), pp.57-60, Montréal, QC, Canada, 27 May 2019.
- Shinpei Ogata, Mizue Kayama and Kozo Okano, Approach to Testing Many State Machine Models in Education, Proc. of the 11th International Conference on Computer Supported Education (CSEDU 2019), INSTICC, pp.481-488, Heraklion, Crete, Greece, 2-4 May 2019.
- Yoshitaka Aoki, Shinpei Ogata, Kazuki Kobayashi and Hiroyuki Nakagawa, Verification of CPS Based on Control Loop using Model Checking, Proc. of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), ERA track, pp.678-682, Nara, Japan, 4-7 Dec. 2018.
- 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, Taxonomy and Literature Survey of Security Pattern Research, Proc. of the IEEE Conference on Applications, Information and Network Security (AINS 2018), pp.81-86, Langkawi, Malaysia, 21-22 Nov. 2018.
- Shinpei Ogata, Yoshitaka Aoki, Hiroyuki Nakagawa and Kazuki Kobayashi, A Template System for Modeling and Verifying Agent Behaviors, Proc. of the 21st International Conference on The Principles and Practice of Multi-Agent Systems (PRIMA 2018), pp.576-584, Tokyo, Japan, 29 Oct. – 2 Nov. 2018.
- Kozo Okano, Satoshi Harauchi, Shin Maruyama and Shinpei Ogata, Applying SAW to regression verification for C functions with recursive data structure, Proc. of the International Workshop on Informatics (IWIN) 2018, pp.125-132, Salzburg, Austria, 9-12 Sep. 2018.
- Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki, Tool to Automatically Generate a Screen Transition Model Based on a Conceptual Model, Proc. of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), pp.158-167, Corfu, Greece, 27-30 Aug. 2018.
- Misaki Maruyama, Shinpei Ogata, Kozo Okano and Mizue Kayama, Support Tool for Refining Conceptual Model in Collaborative Learning, Proc. of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), pp.147-157, Corfu, Greece, 27-30 Aug. 2018.
- Kozo Okano, Kazuma Takahashi, Shinpei Ogata and Toshifusa Sekizawa, Analysis of Specification in Japanese using Natural Language Processing, Proc. of the 12th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2018), pp.12-21, Corfu, Greece, 27-30 Aug. 2018.
- Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki, Goal-Satisfaction Verification to Combination of Use Case Component, Proc. of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2018), pp.343-350, Funchal, Madeira, Portugal, 23-24 Mar. 2018.
- 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, Cloud Security and Privacy Metamodel – Metamodel for Security and Privacy Knowledge in Cloud Services, Proc. of the 6th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2018), pp.379-386, Funchal, Madeira, Portugal, 22-24 Jan. 2018.
- Haruhiko Kaiya, Nobukazu Yoshioka, Hironori Washizaki, Takao Okubo, Atsuo Hazeyama, Shinpei Ogata and Takafumi Tanaka, Eliciting requirements for improving users’ behavior using transparency, the 4th Asia Pacific Requirements Engineering Symposium (APRES 2017), Springer CCIS, 809, pp.41-56, Malaka, Malaysia, 9-10 Nov. 2017.
- Shinpei Ogata, Hiroyuki Nakagawa, Yoshitaka Aoki, Kazuki Kobayashi and Yuko Fukushima, A Tool to Edit and Verify IoT System Architecture Model, the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Tools and Demonstrations, CEUR Workshop Proceedings, 2019, pp.571-575, Austin, USA, Sep. 2017.
- Haruhiko Kaiya, Ryohei Sato, Atsuo Hazeyama, Shinpei Ogata, Takao Okubo, Takafumi Tanaka, Nobukazu Yoshioka and Hironori Washizaki, Preliminary Systematic Literature Review of Software and Systems Traceability, 21st International Conference on Knowledge-Based and Intelligent Information & Engineering Systems (KES 2017), Session on Networks for Innovation, Knowledge Creation and Sharing, pp.1141-1150, Marseille, France, Sep. 2017.
- Shinpei Ogata, Kazune Miyajima, Mizue Kayama and Kozo Okano, A rule-based method of stepwise evaluating class diagrams, Proc. of the International Workshop on Informatics (IWIN) 2017, pp.141-146, Zagreb, Croatia, Sep. 2017.
- Satoshi Harauchi, Kozo Okano and Shinpei Ogata, A method for verifying equivalence of functions in C language, Proc. of the International Workshop on Informatics (IWIN) 2017, pp.135-139, Zagreb, Croatia, Sep. 2017.
- Kozo Okano, Satoshi Harauchi, Toshifusa Sekizawa, Shinpei Ogata and Shin Nakashima, Equivalence Checking of Java Methods: Toward Ensuring IoT Dependability, Proc. of the 26th International Conference on Computer Communication and Networks (ICCCN 2017), IoTPST 2017, pp.1-6, Vancouver, Canada, Jul. 2017.
- Yukiya Yazawa, Shinpei Ogata, Kozo Okano, Haruhiko Kaiya and Hironori Washizaki, Traceability Link Mining – Focusing on Usability -, Proc. of the 41st IEEE Computer Society Signature Conference on Computers, Software, and Applications (COMPSAC 2017), Fast Abstract, pp.286-287, Turin, Italy, Jul. 2017.
- Shinpei Ogata, Mizue Kayama and Kozo Okano, SMart-Learning: State Machine Simulators for Developing Thinking Skills, Proc. of the 2017 IEEE 17th International Conference on Advanced Learning Technologies (ICALT 2017), pp.81-83, Timisoara, Romania, Jul. 2017.
- Saeko Matsuura, Shinpei Ogata and Yoshitaka Aoki, 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), pp.529-535, Porto, Portugal, Feb. 2017.
- 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), pp.319-323, Mannheim, Germany, Oct. 2016.
- Mizue Kayama, Shinpei Ogata, David K. Asano and Masami Hashimoto, Quantitative Conceptual Model Analysis for Evaluating Simple Class Diagrams made by Novices, Proc. of the Educators Symposium @ MODELS 2016, CEUR Workshop Proceedings, Vol.1835, pp.6-13, Saint-Malo, France, Oct. 2016.
- Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi and Motoshi Saeki, 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), pp.125-138, Larnaca, Cyprus, Sep. 2016. (Best Paper Award)
- Shinpei Ogata, Yugo Goto and Kozo Okano, Framework for Relative Web Usability Evaluation on Usability Features in MDD, Human-Centered and Error-Resilient Systems Development, Vol. 9856, LNCS, Springer International Publishing, pp.73-85, Stockholm, Sweden, Aug. 2016.
- Chikyu Yanagisawa, Shinpei Ogata and Kozo Okano, A New Proposal of Generating Counter-example in Model Checking using Test Automaton, Proc. of the International Workshop on Informatics (IWIN) 2016, pp.249-256, Riga, Latvia, Aug. 2016.
- Satoshi Harauchi, Kozo Okano and Shinpei Ogata, A Method for Removing Ambiguity in Designing Sequence Diagrams for Developing Communication Programs, Proc. of the International Workshop on Informatics (IWIN) 2016, pp.243-248, Riga, Latvia, Aug. 2016. (Industry Paper Award)
- 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, A Metamodel for Security and Privacy Knowledge in Cloud Services, Proc. of the IEEE Services 2016, pp.142-143, San Francisco, USA, Jun. 2016.
- Haruhiko Kaiya, Shinpei Ogata, Shinpei Hayashi, Motoshi Saeki, Takao Okubo, Nobukazu Yoshioka, Hironori Washizaki, 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), pp.83-92, St. Julians, Malta, Oct. 2015.
- Shohei Kamimori, Shinpei Ogata and Kenji Kaijiri, 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), pp.8-13, Okayama, Japan, Jul. 2015.
- Mizue Kayama, Shinpei Ogata, Takashi Nagai, Hiroaki Yokota, Kento Masumoto and Masami Hashimoto, Effectiveness of Model-Driven Development Method in Conceptual Modeling Education for University Freshmen, Proc. of the 6th IEEE Global Engineering Education Conference (EDUCON2015), pp.281-289, Tallinn, Estonia, Mar. 2015. (Best Paper Award in the category “Area 1: Educational Methods and Learning Mechanisms in Engineering Education”)
- Kenta Goto, Shinpei Ogata, Junko Shirogane, Takako Nakatani and Yoshiaki Fukazawa, 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), pp.376-383, Angers, France, Feb. 2015.
- Takao Okubo, Yoshio Kakizaki, Takanori Kobashi, Hironori Washizaki, Shinpei Ogata, Haruhiko Kaiya, and Nobukazu Yoshioka, Security and Privacy Behavior Definition for Behavior Driven Development, Product-Focused Software Process Improvement (Profes 2014), LNCS 8892, pp.306-309, Helsinki, Finland, Dec. 2014.
- Hideaki Uchimiya, Shinpei Ogata and Kenji Kaijiri, Method Mining in Experimental Software Engineering, Proc. of the 2nd International Conference on Systems and Informatics (ICSAI), pp.997-1001, Shanghai, China, Nov. 2014.
- Saeko Matsuura, Yoshitaka Aoki and Shinpei Ogata, 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, pp.124-125, Naples, Italy, Nov. 2014.
- Mizue Kayama, Shinpei Ogata, Kento Masumoto, Masami Hashimoto and Makoto Otani, 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), pp.616-622, Fukuoka, Japan, Aug. 2014.
- Haruhiko Kaiya, Sho Kono, Shinpei Ogata, Takao Okubo, Nobukazu Yosioka, Hironori Washizaki, and Kenji Kaijiri, Security Requirements Analysis Using Knowledge in CAPEC, Advanced Information Systems Engineering Workshops, Vol. 178 of Lecture Notes in Business Information Processing (LNBIP), pp.343-348, Thessaloniki, Greece, Jun. 2014.
- Takeyuki Ueda, Shinpei Ogata, Haruhiko Kaiya, and Kenji Kaijiri, IR based Traceability Link Recovery Method Mining, Proc. of the eighth International Conference on Software Engineering Advances (ICSEA), pp.278-284, Venice, Italy, Oct. 2013.
- Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda and Saeko Matsuura, Data Lifecycle Verification Method for Requirements Specifications Using a Model Checking Technique, Proc. of the eighth International Conference on Software Engineering Advances (ICSEA), pp.194-200, Venice, Italy, Oct. 2013.
- Takuya Sakashita, Shinpei Ogata, Haruhiko Kaiya and Kenji Kaijiri, Highlighting Disclosure of Sensitive Data on Android Application with Static Analysis (poster), Symposium On Usable Privacy and Security (SOUPS) 2013, Newcastle, UK, Jul. 2013.
- Haruhiko Kaiya, Takao Okubo, Nobuyuki Kanaya, Yuji Suzuki, Shinpei Ogata, Kenji Kaijiri, and Nobukazu Yoshioka, Goal-Oriented Security Requirements Analysis for a System Used in Several Different Activities, Advanced Information Systems Engineering Workshops, Volume 148 of the series Lecture Notes in Business Information Processing (LNBIP), pp.478-489, Valencia, Spain, Jun. 2013.
- Haruhiko Kaiya, Shunsuke Morita, Shinpei Ogata, Kenji Kaijiri, Shinpei Hayashi, and Motoshi Saeki, Model Transformation Patterns for Introducing Suitable Information Systems, Proc. of 19th Asia-Pacific Software Engineering Conference (APSEC), pp.434-439, Hong Kong, China, Dec. 2012.
- Hirotaka Okuda, Shinpei Ogata and Saeko Matsuura, Mapping Rule Between Requirements Analysis Model and Web Framework Specific Design Model, Proc of the 10th Joint Conference on Knowledge-Based Software Engineering, IOS Press, 240, pp.207-216, Rhodes, Greece, Aug. 2012.
- Shinpei Ogata and Saeko Matsuura, A Review Method of Requirements Analysis Model in UML with Prototyping, Proc of the 10th Joint Conference on Knowledge-Based Software Engineering, IOS Press, 240, pp.181-190, Rhodes, Greece, Aug. 2012.
- Masahiro Umemura, Haruhiko Kaiya, Shinpei Ogata and Kenji Kaijiri, Validating Quality Requirements Considerations in a Design Document using Spectrum Analysis, Proc of the 10th Joint Conference on Knowledge-Based Software Engineering, IOS Press, 240, pp.88-97, Rhodes, Greece, Aug. 2012.
- Ryo Shikimi, Shinpei Ogata and Saeko Matsuura, Test Case Generation by Simulating Requirements Analysis Model, Proc. of the 36th Annual IEEE Computer Software and Applications Conference (COMPSAC 2012), pp.356-357, Izmir, Turkey, Jul. 2012.
- Yoshitaka Aoki, Shinpei Ogata, Hirotaka Okuda and Saeko Matsuura, Quality Improvement of Requirements Specification using Model Checking Technique, Proc. of the 14th International Conference on Enterprise Information Systems (ICEIS 2012), 2, pp.401-406, Wroclaw, Poland, Jun. 2012.
- Shinpei Ogata and Saeko Matsuura, Towards Model-Driven Development based on Verifiable Requirements Analysis Model, Proc. of IEEE Students’ Conference on Electrical, Electronics and Computer Science 2012 (SCEECS 2012), pp.360-363, Mar. 2012.
- Shinpei Ogata and Saeko Matsuura, Training of requirements analysis modeling with UML-based prototype generation tool, Proc. of the 5th India Software Engineering Conference (ISEC 2012), pp.105-108, Kanpur, India, Feb. 2012.
- Tomoyoshi Wakabayashi, Shinpei Ogata and Saeko Matsuura, Dependency Analysis for Learning Class Structure for Novice Java Programmer, Proc. of the 2nd IEEE International Conference on Software Engineering and Service Science (ICSESS 2011), pp.532-535, Beijing, China, Jul. 2011.
- Shinpei Ogata and Saeko Matsuura, Validation Code Generation for Unexpected User Operation on Web User Interface, Proc. of the 2011 International Conference on Communications, Computing and Control Applications (CCCA 2011), pp.1-6, Hammamet, Tunisia, Mar. 2011.
- Shinpei Ogata, Saeko Matsuura, Rie Sakai, Hiroyuki Sato and Toru Kobayashi, Enhancement of Requirements Specification Traceability by Model Driven Requirements Analysis Employing Automatic Prototype Generation, Proc. of the 10th IASTED International Conference on Software Engineering (SE 2011), pp.55-63, Innsbruck, Austria, Feb. 2011.
- Shinpei Ogata and Saeko Matsuura, Towards the Reliable Integration Testing: UML-based Scenario Analysis using an Automatic Prototype Generation Tool, Proc. of the 9th WSEAS international conference on Software engineering, parallel and distributed systems (SEPADS 2010), pp.151-159, Cambridge, UK, Feb. 2010.
- Shinpei Ogata and Saeko Matsuura, An Evaluation of a Use Case Driven Requirements Analysis Using Web UI Prototype Generation Tool, Proc. of the 9th WSEAS International Conference on Applied Computer Science (ACS 2009), pp.235-240, Genova, Italy, Oct. 2009.
- Mina Amakawa, Shinpei Ogata and Saeko Matsuura, A System Development Method based on a Service Independent Interaction Model, Proc. of the 9th IASTED International Conference on Software Engineering and Applications (SEA 2008), pp.154-159, Massachusetts, USA, Nov. 2008.
- Shinpei Ogata and Saeko Matsuura, Scenario-based Automatic Prototype Generation, Proc. of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), pp.492-493, Turku, Finland, Jul. 2008.
- Shinpei Ogata and Saeko Matsuura, Automatic Generation of UML-Based Web Application Prototypes, Proc. of the 10th International Conference on Enterprise Information Systems (ICEIS 2008), pp.244-251, Barcelona, Spain, Jul. 2008.
Domestic Conference Proceedings (Refereed) / 国内学会論文(査読あり)
- 木村拓馬, 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, ステートマシン図記述課題における答案が満たさない要求の特定・計測半自動化手法の提案, 第9回 実践的IT教育シンポジウム rePiT2023 in 函館, pp.101-112, Feb. 2023. (優秀教育実践賞 受賞)
- 五島光祥,小形真平,槇原絵里奈,岡野浩三,静的解析と動的解析の組み合わせによる UMLステートマシン図答案の誤り特定自動化手法の提案,第29回ソフトウェア工学の基礎ワークショップ FOSE 2022,pp.24-33,島根/オンライン,Nov. 2022.
- 五島光祥,小形真平,槇原絵里奈,岡野浩三,静的解析によるUMLステートマシン図答案の誤り特定自動化手法の評価,第8回 実践的IT教育シンポジウム (rePiT2022), pp.42-49, オンライン, Feb. 2022.
- 小形真平, 大池勇太郎, 中川博之, 青木善貴, 小林一樹, 岡野浩三,異粒度指向反例解析に向けて,第28回ソフトウェア工学の基礎ワークショップ FOSE 2021,pp.45-50,福島/オンライン,Nov. 2021.
- 魏久竣,堤崚介,岡野浩三,小形真平,新村正明,Edutainment指向のためのソフトウェア教育支援システムにおける学習者データの収集と解析,第28回ソフトウェア工学の基礎ワークショップ FOSE 2021,pp.173-174,福島/オンライン,Nov. 2021.
- 五島光祥,小形真平,槇原絵里奈,岡野浩三,静的解析によるUMLステートマシン図答案の誤り特定自動化手法の提案,ソフトウェアエンジニアリングシンポジウム2021 (SES 2021), pp.67-75, オンライン, Sep. 2021.
- 堤崚介,魏久竣,岡野浩三,小形真平,新村正明,Eclipse Che とDocker を用いたEdutainment のためのソフトウェア教育用環境システムの現状について,第27回ソフトウェア工学の基礎ワークショップ FOSE 2020,pp.149-150,オンライン,Nov. 2020.
- 齋藤侑, 小形真平, 岡野浩三, Random Forestによるユーザの操作慣れ判定手法の提案, 第27回ソフトウェア工学の基礎ワークショップ FOSE 2020, pp.77-86, オンライン, Nov. 2020.
- 大宮拓馬, 小形真平, 岡野浩三, 可読性の高いクラス図レイアウトを作成するための美的基準の調査, 第27回ソフトウェア工学の基礎ワークショップ FOSE 2020, pp.57-66, オンライン, Nov. 2020.
- 青木善貴, 小形真平, 小林一樹, 中川博之, グラフ化による制御ループに関する反例の可視化手法の提案, ソフトウェアエンジニアリングシンポジウム2020 (SES 2020), pp.115-124, オンライン, 10-12 Sep. 2020.
- 大池勇太郎, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三, モデル検査における複雑な検査式に対する反例解析手法の提案, ソフトウェアエンジニアリングシンポジウム2020 (SES 2020), pp.23-31, オンライン, 10-12 Sep. 2020.
- 青木善貴, 小形真平, 小林一樹, 中川博之, 確率的モデル検査器を用いた制御ループの定量的検証の試案, 第26回ソフトウェア工学の基礎ワークショップ FOSE 2019, pp.115-120, 岐阜, Nov. 2019.
- 中川博之, 小形真平, 青木善貴, 小林一樹, エージェント指向設計に基づいたCPS/IoTシステム設計の有効性に関する考察. 合同エージェントワークショップ&シンポジウム2019(JAWS2019)論文集, pp.204-211, 大分, Sep. 2019.
- 小形真平, 香山瑞恵, モデリング教育支援のためのステートマシンモデル評価手法の提案, 組込みシステムシンポジウム2019 (ESS2019), pp.45-52, 岐阜, Sep. 2019.
- 小形真平, 鷲崎弘宜, 石川公一, 長期的大規模プロジェクトのドキュメントを事例としたトレーサビリティリンク回復の実践と課題, ソフトウェアエンジニアリングシンポジウム2019 (SES 2019), pp.50-59, 東京, 29-31 Aug. 2019.
- 青木善貴, 小形真平, 確率的モデル検査器を用いたFRAM モデル理解の支援, ソフトウェアエンジニアリングシンポジウム2019 (SES 2019), pp.116-125, 東京, 29-31 Aug. 2019.
- 大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三, NuSMVの反例解析支援ツールの試作, ウィンターワークショップ2019・イン・福島飯坂 論文集, pp.13-14, 福島, 24-25 Jan. 2019.
- 岡野浩三, 楊盼, 辛島凛, 小形真平, STAMP/STPAにおける振舞いモデル記述の効用について, ウィンターワークショップ2019・イン・福島飯坂 論文集, pp.9-10, 福島, 24-25 Jan. 2019.
- 辛島凛, 原内聡, 小形真平, 岡野浩三, 再帰的な構造体を用いたプログラムに対するSAWを用いた振る舞い等価性検証手法の考案と評価, 第25回ソフトウェア工学の基礎ワークショップ FOSE 2018, pp.91-96, 北海道, 15-17 Nov. 2018.
- 小形真平, 小林一樹, 青木善貴, 中川博之, TORTEによるIoTシステムモデリングの実践 ~農園画像モニタリングシステムを事例として~, ウィンターワークショップ2018・イン・宮島 論文集, pp.72-73, 広島, 18-19 Jan. 2018.
- 丸山美咲, 小形真平, 岡野浩三, 香山瑞恵, 共同作業における概念モデル洗練支援ツールの試作, 第24回ソフトウェア工学の基礎ワークショップ FOSE 2017, pp.251-252, 福井, 23-25 Nov. 2017.
- 滝沢陽三, 小形真平, 岡野浩三, 顧客による要求記述の支援で用いる既存記述の分析手法の検討, 第24回ソフトウェア工学の基礎ワークショップ FOSE 2017, pp.207-212, 福井, 23-25 Nov. 2017.
- 矢澤幸也, 小形真平, 岡野浩三, 海谷治彦, 鷲崎弘宜, 画面遷移モデルに着目したユーザビリティパターン抽出手法の提案, ソフトウェアエンジニアリングシンポジウム2017, pp.167-174, 東京, Aug. 30 – Sep. 1, 2017.
- 小形真平, 小林一樹, 青木善貴, 中川博之, Layard: IoT システムの要求分析におけるアクタ中心のモデル図, 第23回ソフトウェア工学の基礎ワークショップ FOSE 2016, pp.199-204, 香川, Dec. 2016.
- 滝沢陽三, 小形真平, 岡野浩三, 日本語表現の違いに着目した要求記述の分析と記述支援手法の改良, 第23回ソフトウェア工学の基礎ワークショップ FOSE 2016, pp.193-198, 香川, Dec. 2016.
- 宮島和音, 小形真平, 香山瑞恵, 岡野浩三, UMLモデリング教育を支援するルールベースのクラス図採点支援ツール, 第22回ソフトウェア工学の基礎ワークショップ FOSE 2015, pp.169-174, 山形, Nov. 2015.
- 香山瑞恵, 小形真平, 永井孝, 横田寛明, 増元健人, 橋本昌巳, 大谷真, 初学者向けの状態遷移図による振舞に関する概念モデリング教育へのモデル駆動開発方法論に基づく学習環境導入の効果, 組込みシステムシンポジウム2014論文集, 2014, pp.108-113, 東京, Oct. 2014.
- 紙森翔平, 小形真平, 海尻賢二, モデル駆動開発におけるユーザビリティ機能を実装したWebプロトタイプの自動生成, ソフトウェアエンジニアリングシンポジウム2014, pp.146-151, 東京, Sep. 2014.
- 青木善貴, 小形真平, 野呂惇, 松浦佐江子, モデル検査技術を用いたセキュリティ要求の検証, 第20回ソフトウェア工学の基礎ワークショップ FOSE 2013, pp.209-214, 石川, Nov. 2013.
- 早川弘基, 小形真平, 海谷治彦, 海尻賢二, 入力保存機能に着目したモデル駆動ユーザビリティ評価法, 第20回ソフトウェア工学の基礎ワークショップ FOSE 2013, pp.65-70, 石川, Nov. 2013.
- 青木善貴, 小形真平, 奥田博隆, 松浦佐江子, 要求分析におけるCRUD観点のモデル検査技術の適用, 第19回ソフトウェア工学の基礎ワークショップ FOSE 2012, pp.75-80, 大分, Dec. 2012.
- 増元健人, 香山瑞恵, 小形真平, 伊東一典, 橋本昌巳, 大谷真, モデルベース設計における初学者の誤り分析とそれに基づく教育方法の検討-クラス図の記述・読解を対象として-, 組込みシステムシンポジウム2012論文集, 2012, pp.101-109, 東京, Oct. 2012.
- 野呂惇, 小形真平, 松浦佐江子, UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法, 第11回情報科学技術フォーラム一般講演論文集, 11(4), pp.77-80, 東京, Sep. 2012.
- 小形真平, 松浦佐江子, 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験, 第18回ソフトウェア工学の基礎ワークショップ FOSE 2011, pp.219-224, 青森, Nov. 2011.
- 小形真平, 松浦佐江子, Web UI プロトタイプ自動生成ツールを用いたユースケース駆動要求分析の評価実験, 第8回情報科学技術フォーラム一般講演論文集, 8(1), pp.73-80, 宮城, Sep. 2009.
- 小形真平, 松浦佐江子, 妥当性確認可能なモデルベース要求仕様からの統合テスト仕様自動生成, ソフトウェアエンジニアリングシンポジウム2009, pp.127-132, 東京, Sep. 2009.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWebUIプロトタイプ自動生成, ソフトウェアエンジニアリングシンポジウム2008, pp.79-86, 東京, Sep. 2008.
International Conference Proceedings (Non-Refereed) / 国際会議論文(査読なし)
- 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, A Metamodel for Security and Privacy Knowledge in Cloud Services, 3rd International Workshop on Patterns Promotion and Anti-patterns Prevention (PPAP), Osaka, Mar. 2016.
Domestic Conference Proceedings (Non-Refereed) / 国内学会論文(査読なし)
- 小山友助,小形真平,岡野浩三,大規模言語モデルによる入力負担シミュレーション用シナリオの作成支援手法,信学技報, vol.123, no.443, KBSE2023-75, pp.61-66, 2024.
- 成澤瑠佳,小形真平,青木善貴,中川博之,小林一樹,岡野浩三,ユーザの性格特性に基づくシステム安全性検証に関する一考察,信学技報, vol.123, no.443, KBSE2023-72, pp.43-48, 2024.
- 中村光晟, 鈴木彦文, 小形真平, 橋浦弘明, 岡野浩三, ネットワーク機器設定解析によるネットワーク構成モデル自動抽出―マルチベンダ対応に向けて―, 研究報告インターネットと運用技術(IOT), vol.2024-IOT-64, no.6, pp.1-8, 2024. (学生奨励賞 受賞)
- 藤田智哉, 鈴木彦文, 小形真平, 橋浦弘明, 岡野浩三, 静的解析によるネットワーク構成モデルの自動検証, 研究報告インターネットと運用技術(IOT), vol.2024-IOT-64, no.5, pp.1-8, 2024. (学生奨励賞 受賞)
- 佐竹柊路, 鈴木彦文, 小形真平, 橋浦弘明, 岡野浩三, 研究報告インターネットと運用技術(IOT), L2L3通信経路設計記述に基づくネットワーク構成モデルの自動検証手法, vol.2024-IOT-64, no.4, pp.1-8, 2024. (学生奨励賞 受賞)
- 土屋拓実,岡野浩三,小形真平,中島震,統計的なメタモルフィック・テスティングを利用したCNNモデルの歪みを示す指標の調査,信学技報, vol.123, no.414, SS2023-77, pp.168-173, 2024.
- 満田壮晴,中川博之,海谷治彦,竹内広宜,小形真平,土屋達弘,パラメータ調整に基づく対話的なプロセスモデル決定手法の実現にむけて,信学技報, vol.123, no.414, SS2023-54, pp.31-36, 2024.
- 三輪丈馬,小形真平,鈴木彦文,橋浦弘明,岡野浩三,住宅における情報ネットワークに対する非技術者向け要求表現ツールの検討,第16回インターネットと運用技術シンポジウム (IOTS 2023), pp.101-102, Dec. 2023.(学生奨励賞 受賞)
- 竹内広宜,小形真平,海谷治彦,中川博之,機械学習プロジェクトアンチパターンの普及モデル,情報処理学会研究報告SE,2023-SE-215(11), pp.1-8, Nov.-Dec. 2023.
- 田中友基,小形真平,青木善貴,中川博之,岡野浩三,モデル検査によるUMLステートマシン図の多次元的検証支援の検討,第30回ソフトウェア工学の基礎ワークショップ FOSE 2023,pp.213-214, Nov. 2023.
- 二ノ宮健来,大戸柾之介,高岡俊希,小形真平,岡野浩三,ソフトウェア要求仕様書からのCausal Component Model作成のための自動抽出手法の比較,信学技報, vol.123, no.206, SS2023-22, pp.7-12, Oct. 2023.
- 向田和弘,福居誠二,長岡武志,北川貴之,小形真平,岡野浩三,深層学習を用いた情報システムの非機能要求の効率的な自動分類 ~ BERT、GPT2の精度比較 ~,信学技報, vol.123, no.206, SS2023-23, pp.13-18, 2023.
- 神吉孝洋,小形真平,岡野浩三,中島震,差分プライバシーを用いた機械学習であるDP-SGDのロバスト性の傾向,信学技報, vol. 123, no. 206, SS2023-28, pp. 38-43, Oct. 2023.
- 青木善貴, 小形真平, 中川博之, 小林一樹, 二種類のモデル検査器を用いたシステムの振る舞いの検証の試み, 信学技報, vol.123, no.124, KBSE2023-31, pp.110-115, Jul. 2023.
- 成澤瑠佳, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三, 対話型システムにおけるユーザの物品取り忘れの発生状況特定に関する検討, 信学技報, vol. 123, no. 38, KBSE2023-10, pp. 59-64, May 2023.
- 竹内広宜, 小形真平, 海谷治彦, 中川博之, 山本修一郎, 機械学習プロジェクトアンチパターンの構造化手法, 信学技報, vol.123, no.38, KBSE2023-4, pp.21-26, May 2023.
- 成澤直輝, 大西淳, 小形真平, 岡野浩三, 自然言語による機能要求文の完全性解析, 信学技報, vol.123, no.38, KBSE2023-2, pp.7-12, May 2023.
- 新井凪 , 佐竹柊路, 小形真平, 鈴木彦文, 岡野浩三, モデル駆動型ネットワーク機器設定支援アプローチ, 研究報告インターネットと運用技術(IOT), vol. 2023-IOT-60, no.15, pp.1-8, Mar. 2023.(学生奨励賞 受賞)
- 池田拓真, 小形真平, 岡野浩三, 中島震, アブレーションによる故障箇所特定における符号化方法とアブレーション方法の改善, 信学技報, vol.122, no.432, SS2022-67, pp.121-126, Mar. 2023.
- 大西舞子, 小形真平, 岡野浩三, 戸次大介, 時相論理式の生成に向けた時間関係認識手法の検討, 信学技報, vol.122, no.432, SS2022-49, pp.13-18, Mar. 2023.
- 竹内広宜, 小形真平, 海谷治彦, 中川博之, 機械学習プロジェクトの実施における不吉な匂いとその認知度の調査, 信学技報, vol.122, no.238, KBSE2022-31, pp.1-6, Nov. 2022.
- 新田壮史, 中川博之, 小形真平, 竹内広宜, 海谷治彦, 土屋達弘, RPAログを用いた処理フロー再構築手法の検討, 信学技報, vol.122, no.238, KBSE2022-39, pp.48-53, Nov. 2022.
- 横山友杜,岡野浩三,小形真平,中島震,畳み込みニューラルネットワークにおける評価データの網羅性指標の比較,信学技報, vol.122, no.225, SS2022-27, pp.29-34, Oct. 2022.
- 土屋拓実,岡野浩三,小形真平,中島震,畳み込みニューラルネットワーク(CNN)における学習プログラムの欠陥とモデルの歪みの関係性,信学技報, vol.122, no.225, SS2022-26, pp.23-28, Oct. 2022.
- 笠井裕貴,谷沢智史,小形真平,岡野浩三,Dockerを用いたWebアプリケーションにおける設定とログの関係解析を支援するログ生成自動化手法の検討,信学技報, vol.122, no.138, SS2022-17, pp.97-102, 北海道,Jul. 2022.
- 佐竹柊路,鈴木彦文,小形真平,新井凪,岡野浩三,リンク障害に対するネットワーク設計の自動検証手法の試案,情報処理学会研究報告インターネットと運用技術(IOT),vol.2022-IOT-58, no.3, pp.1-8, 北海道,Jul. 2022.(学生奨励賞 受賞)
- 竹内広宜,小形真平,海谷治彦,中川博之,機械学習プロジェクトに関する知見の活用における意思決定プロセスモデルの利用,信学技報, vol.122, no.50, SC2022-6, pp.31-36,オンライン,May 2022.
- 木村拓馬,小形真平,槇原絵里奈,岡野浩三,視線情報と編集ログに基づくステートマシン図課題の躓き調査,信学技報,vol. 121,no. 424,KBSE2021-55,pp.84-89,オンライン,Mar. 2022.
- 南垣内一輝,中川博之,海谷治彦,小形真平,竹内広宜,土屋達弘,Heuristic Minerを用いたパラメータ調整に基づくプロセスモデル抽出手法,信学技報,vol. 121,no. 424,KBSE2021-46,30-35,オンライン,Mar. 2022.
- 池田拓真,岡野浩三,小形真平,中島震,テスト実行結果を自動分類するための機械学習モデルを利用した実行トレースのアブレーションとメソッド単位でのバグ箇所推定,信学技報, vol.121, no.416, SS2021-44, pp.13-18, オンライン,Mar. 2022.
- 佐竹柊路, 鈴木彦文, 小形真平, 岡野浩三, GNS3によるネットワーク構成情報の検証支援手法の検討, 情報処理学会第84回全国大会,1ZC-03,オンライン,Mar. 2022.
- 杉山翔哉, 小形真平, 岡野浩三, 操作ログと視線情報に基づくユーザの操作ミスの調査, 情報処理学会第84回全国大会,2L-08,Mar. 2022.
- 小山友助, 小形真平, 岡野浩三, ユーザビリティパターンに対するコンテンツ管理システムの適応性調査, 情報処理学会第84回全国大会,2L-07,Mar. 2022.
- 池田拓真,岡野浩三,小形真平,中島震,テスト実行結果を自動分類するためのメソッドにおける近接情報を活用した実行トレースの符号化,信学技報, vol. 121, no. 318, SS2021-33, pp.83-88, 長崎,Jan. 2022. (ソフトウェアサイエンス研究会 研究奨励賞 受賞)
- 齋藤侑,小形真平,岡野浩三,有効性・効率性に関するUIパターンのカタログ化に向けた定量的評価,信学技報, vol. 121, no. 228, KBSE2021-25, pp.1-6, オンライン, Nov. 2021.
- 新井凪,鈴木彦文,小形真平,岡野 浩三,ネットワーク構成の設計仕様に基づくネットワーク機器設定手順の自動生成方法に関する検討, 情報処理学会研究報告インターネットと運用技術(IOT), 2021-IOT-55, no.1, pp.1-8, オンライン, Sep. 2021.(優秀学生賞 受賞)
- 大西舞子,井浩也,小形真平,岡野浩三,戸次大介,仕様書の条件文における状態遷移関係の抽出方法,信学技報,vol. 121, no. 94, SS2021-5, pp.25-30, オンライン,Jul. 2021.
- 井浩也,大戸柾之介,桐生仁司,小形真平,岡野浩三, 遷移モデル自動導出を考慮した要求仕様書と導出方法の提案,信学技報,vol. 121, no. 94, SS2021-3, pp.13-18, オンライン,Jul. 2021.
- 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, UMLステートマシン図の教育的フィードバック自動生成に向けた答案の誤り特定自動化手法の提案 ~ 特定すべき誤りの種類とその特定結果への着目 ~, 信学技報, vol. 121, no. 35, KBSE2021-10, pp.56-61, オンライン, May 2021.
- 竹内広宜,小形真平,海谷治彦,中川博之, エンタープライズアーキテクチャを用いた機械学習サービスシステムのアジャイル開発モデル,信学技報, vol. 121, no. 35, KBSE2021-8, pp.44-49, オンライン, May 2021.
- 堤崚介, 魏久竣, 小形真平, 新村正明, 岡野浩三, Edutainment指向のためのソフトウェア教育支援システムの構築と学習者のデータ解析, 信学技報, vol.121, no.35, KBSE2021-1, pp.1-6, オンライン, May 2021.
- 新井凪, 鈴木彦文, 小形真平, 岡野浩三, ネットワーク構成情報のメタモデルの試案と評価, 信学技報, vol. 121, no. 2, NS2021-14, pp.77-82, オンライン, Apr. 2021.
- 新井凪, 小形真平, 鈴木彦文, 岡野浩三, ネットワーク構成情報のメタモデルの試案, 電子情報通信学会 総合大会 2021, B-6-22, オンライン, Mar. 2021.
- 北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三, ステートマシン図における編集時間に基づいた学習者の躓き調査, 電子情報通信学会 総合大会 2021, D-13-7, オンライン, Mar. 2021.
- 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, UMLステートマシン図学習における答案の誤り特定自動化手法の提案, 電子情報通信学会 総合大会 2021, D-13-6, オンライン, Mar. 2021.
- 笠井裕貴, 谷沢智史, 小形真平, 岡野浩三, Webアプリケーションにおける異常動作を解析支援するログファイルの可視化手法の提案, 信学技報, vol. 120, no. 423, KBSE2020-35, pp. 7-12, オンライン, Mar. 2021.
- 辛島凛, 小形真平, 岡野浩三, Software Analysis WorkbenchとSymbolicPathFindreを使用した網羅的な反例とパス制約の生成, 信学技報, vol. 120, no. 407, SS2020-41, pp. 78-83, オンライン, Mar. 2021.
- 大宮拓馬, 小形真平, 岡野浩三, 美的基準によるクラス図レイアウトの評価メトリクスの提案と評価, 情報処理学会研究報告SE, 2021-SE-207(4), pp.1-8, オンライン, Mar. 2021.
- 桐生仁司, 須田聡, 小形真平, 岡野浩三, 実行ログの比較によるシェルスクリプト振る舞い検証, 信学技報, vol.120, no.193, SS2020-5, pp.1-6, オンライン, Oct. 2020.
- 鹿子木健太, 野寄祐樹, 鷲崎弘宜, 深澤良彰, 小形真平, 大久保隆夫, 加藤岳久, 鹿糠秀行, 櫨山淳雄, 吉岡信和, 機械学習を用いたCVEからCAPECへの関連付け手法の提案, 情報処理学会研究報告コンピュータセキュリティ(CSEC), 2020-CSEC-88(20), pp.1-7, オンライン, Mar. 2020.
- 杉野雄大, 新村正明, 岡野浩三, 小形真平, Eclipse CheとDockerを用いたクラウドIDEによるプログラミング演習環境の構築, 信学技報, vol. 119, no. 467, KBSE2019-57, pp. 67-72, 沖縄, Mar. 2020. (研究会中止により論文掲載のみ)
- 鈴木悠介, 小形真平, 大池勇太郎, 青木善貴, 中川博之, 小林一樹, 岡野浩三, 安全性解析支援のための状態遷移系に基づくハザード近接状態分析手法の提案, 信学技報, vol.119, no.467, KBSE2019-47, pp.7-12, 沖縄, Mar. 2020. (研究会中止により論文掲載のみ)
- 楊盼, 岡野浩三, 小形真平, 岡本圭史, STAMP/STPAとモデル検査の連携によるハザード遷移系列の導出手法, 信学技報, vol.119, no.451, SS2019-56, pp.93-98, 沖縄, Mar. 2020. (研究会中止により論文掲載のみ)
- 青木善貴, 小形真平, 制御ループの振る舞いの定量化によるFRAMモデルの可読性向上の試案, 第17回ディペンダブルシステムワークショップ(DSW 2019), 東京, Dec. 2019.
- 岡野浩三, 小形真平, 夏目実希, ある組込みシステムの開発と検証のケーススタディ, 信学技報, vol. 119, no. 274, KBSE2019-30, pp.41-46, Nov. 2019.
- 大池勇太郎, 小形真平, 青木善貴, 中川博之, 小林一樹, 岡野浩三, 不具合原因分析支援のためのNuSMV反例解析手法の試案, 信学技報, vol. 119, no. 274, KBSE2019-24, pp.7-12, Nov. 2019.
- 石川公一, 小形真平, 中川博之, 岡野浩三, word2vecとゴールモデルの階層性を利用した類似ゴール検出方法の提案, 信学技報, vol. 119, no. 274, KBSE2019-23, pp.1-6, Nov. 2019.
- 小形真平, 矢澤幸也, 岡野浩三, 画面遷移モデルに基づくユーザインタフェースパターンモデリングの一検討, 信学技報, vol. 119, no. 113, KBSE2019-19, pp.129-134, 北海道, Jul. 2019.
- 青木善貴, 小形真平, 確率的モデル検査器を用いたFRAM支援手法の試案, 信学技報, vol. 119, no. 56, KBSE2019-8, pp.49-56, 東京, May. 2019.
- 石川公一, 小形真平, 中川博之, 岡野浩三, word2vecによるゴール間類似度算出手法の実践と評価, 情報処理学会研究報告SE, 2018-SE-201(14), pp.1-8, 東京, Mar. 2019.
- 青木亮太, 小形真平, 岡野浩三, 学習済みWebサイトの操作ログに基づく有効性・効率性評価の実践, 信学技報, vol. 118, no. 463, KBSE2018-64, pp.63-68, 京都, Mar. 2019.
- 中島徳雅, 鈴木彦文, 小形真平, 岡野浩三, ネットワーク図のモデル化とエディタの試作 ~ より円滑なネットワークインフラの運用に向けて ~, 信学技報, vol. 118, no. 301, NS2018-150, pp.117-122, 石川, Nov. 2018.
- 小形真平, 香山瑞恵, 岡野浩三, 多人数教育におけるUMLステートマシン図の調査・分析, 信学技報, vol. 118, no. 292, KBSE2018-41, pp.77-82, 兵庫, Nov. 2018.
- 青木善貴, 小形真平, 小林一樹, 中川博之, コントロールループに着目したIoTアーキテクチャモデルの検証に関する一考察, 電子情報通信学会技術研究報告KBSE, 118(138), pp.61-66, 北海道, Jul. 2018.
- 楊パン(目分), 辛島凛, 岡野浩三, 小形真平, STAMP/STPAの鉄道踏切「とりこ検知」例題に対するモデル検査適用と考察, 電子情報通信学会技術研究報告SS, 118(137), pp.31-36, 北海道, Jul. 2018.
- 小林一樹, 小形真平, 青木善貴, 中川博之, サイバーフィジカル統合型モデを用いたフィールドモニタリングシステムの開発, 農業情報学会2018年度年次大会, pp.132-133, May 2018.
- 石川公一, 小形真平, 岡野浩三, 鷲崎弘宜, 洗練パターンの適用履歴に基づくゴール間の類似度算出手法, 電子情報通信学会技術研究報告KBSE, 118(69), pp.7-11, 東京, May 2018.
- 岡野浩三, 小形真平, 楊盼, 岡本圭史, STAMP/STPA単線列車例題に対する時間オートマトンモデル検査の適用と考察, 電子情報通信学会技術研究報告SS, 117(477), pp.1-6, 沖縄, Mar. 2018.
- 鷲崎弘宜, 夏天, 鎌田夏実, 大久保隆夫, 小形真平, 海谷治彦, 加藤岳久, 鹿糠秀行, 田中昂文, 櫨山淳雄, 山本暖, 吉岡信和, 吉野雅之, セキュリティパターン研究の分類体系と文献調査, 情報処理学会研究報告SE, 2018-SE-198(25), pp.1-7, 東京, Mar. 2018.
- 岩堀航平, 小形真平, 岡野浩三, 画面遷移モデリングとWebレイアウト設計の協業支援ツールの試作 ~ Front-End Frameworkを用いたWebsite Builderの併用 ~, 電子情報通信学会技術研究報告KBSE, 117(465), pp.85-90, 沖縄, Mar. 2018.
- 岡野浩三, 高橋一真, 仲悠介, 小形真平, 自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法, 電子情報通信学会技術研究報告KBSE, 117(465), pp.79-84, 沖縄, Mar. 2018.
- 小形真平, 青木善貴, 中川博之, 小林一樹, 福島祐子, IoTシステムアーキテクチャのモデリング記法によるモデル検査支援手法の試作と評価, 電子情報通信学会技術研究報告KBSE, 117(137), pp.25-30, 北海道, Jul. 2017.
- 中島徳雅, 小形真平, 岡野浩三, ヘルプデスク補助に向けたWeb UI操作ログ収集ツールの試作, 情報処理学会第79回全国大会, 4J-03, 愛知, Mar. 2017.
- 岡野浩三, 原内 聡, 小形真平, 関澤俊弦, 小原岳士, Javaのメソッド等価性判定とその応用, 電子情報通信学会技術研究報告SS, 116(512), pp.31-36 沖縄, Mar. 2017.
- 瓶子昇吾, 小形真平, 岡野浩三, 静的テイント解析と動的解析の組み合わせによるAndroidアプリの利用者情報漏えい検出手法の提案, 情報処理学会研究報告CSEC, 2017-CSEC-76(14), pp.1-8, 神奈川, Mar. 2017.
- 小形真平, 岡野浩三, 香山瑞恵, SMart-Learning: DSLベースのUMLステートマシン図学習支援ツールの拡張 ~ 複数インスタンスのシミュレーション ~, 電子情報通信学会技術研究報告KBSE, 116(418), pp.1-6, 東京, Jan. 2017.
- 但馬将貴, 香山瑞恵, 小形真平, 橋本昌巳, UMLに基づく概念モデリングにおける状態遷移図に対するモデル記法チェック機能の効果, 電子情報通信学会技術研究報告KBSE, 116(418), pp.7-12, 東京, Jan. 2017.
- 田幸玄陽, 小形真平, 岡野浩三, 関澤俊弦, Kuromoji と構文解析による要求仕様書から状態遷移系への自動変換の試み,ウィンターワークショップ2017・イン・飛騨高山, T4 形式手法 -効果的な活用に向けて, pp.45-46, 岐阜, Jan. 2017.
- 滝沢陽三, 小形真平, 岡野浩三, 日本語表現の違いに基づく要求記述改善のための辞書構築, 電子情報通信学会技術研究報告KBSE, 116(284), pp.13-18, 長野, Nov. 2016.
- 小形真平, 岡野浩三, SMart-Learning: DSLベースのUMLステートマシン図学習支援ツール, 組込みシステムシンポジウム2016論文集, 2016, pp.108-109, 東京, Oct. 2016.
- 颯田圭吾, 小形真平, 岡野浩三, Arduinoを用いた電子木管楽器の設計, 組込みシステムシンポジウム2016論文集, 2016, pp.102-103, 東京, Oct. 2016.
- 小形真平, 岡野浩三, SMart-Learning: DSLベースのUMLステートマシン図学習支援ツール, 電子情報通信学会技術研究報告KBSE, 116(128), pp.49-54, 北海道, Jul. 2016.
- 岡野浩三, 原内聡, 但馬洋介, 小形真平, シーケンス図のメーセージ順序の適正な修正手法, 電子情報通信学会技術研究報告SS, 116(127), pp.7-12, 北海道, Jul. 2016.
- 宮島和音, 小形真平, 香山瑞恵, 岡野浩三, 図要素間の依存関係によるクラス図の段階的採点支援手法, 情報処理学会第78回全国大会, 2016(1), pp.419-420, 神奈川, Mar. 2016.
- 片桐健吾, 小形真平, 岡野浩三, Human Interface Guidelineに基づくGUIのユーザエラー防止性自動評価手法, 情報処理学会第78回全国大会, 2016(1), pp.383-384, 神奈川, Mar. 2016.
- 湯浅駿平, 小形真平, 小林一樹, 岡野浩三, 操作ログを用いた着脱可能Webチュートリアルの作成支援手法, 情報処理学会研究報告SE, 2016-SE-191(18), pp.1-8, 大阪, Mar. 2016.
- 赤瀬智也, 小形真平, 岡野浩三, 画面遷移モデルと整合性を保つGUI設計支援手法, 電子情報通信学会技術研究報告KBSE, 115(487), pp.131-136, 大分, Mar. 2016.
- 後藤祐吾, 小形真平, 岡野浩三, 要求分析におけるユーザ操作記録によるユーザビリティ評価支援手法, 電子情報通信学会技術研究報告KBSE, 115(487), pp.63-68, 大分, Mar. 2016.
- 松浦佐江子, 小形真平, 青木善貴, ユースケース部品の組み合わせに対する目標の満足度の検査, 電子情報通信学会技術研究報告KBSE, 115(487), pp.37-42, 大分, Mar. 2016.
- 横田寛明, 香山瑞恵, 小形真平, 状態遷移図を用いた基礎的概念モデリングにおける誤り分析に基づく初学者向けモデル評価機能の開発, 教育システム情報学会研究報告, 30(7), pp.155-162, 東京, Mar. 2016.
- 但馬将貴, 香山瑞恵, 小形真平, UMLモデリング教育用モデルコンパイラ向け状態遷移図のモデル記法チェック機能の開発, 教育システム情報学会研究報告, 30(7), pp.119-126, 東京, Mar. 2016.
- 小形真平, 紙森翔平, 後藤祐吾, 岡野浩三, MDDにおける操作記録プロトタイプによるユーザビリティ評価支援, ウィンターワークショップ2016・イン・逗子 論文集, pp.69-70, 神奈川, Jan. 2016.
- 遠藤健, 小形真平, 岡野浩三, 関澤俊弦, 自然語要求仕様記述の形式検証に向けて -話題沸騰ポットのモデル検査-, ウィンターワークショップ2016・イン・逗子 論文集, pp.3-4, 神奈川, Jan. 2016.
- 小形真平, モデル駆動開発におけるユーザビリティ評価支援構想, 電子情報通信学会技術研究報告KBSE, 115(421), pp.43-48, 東京, Jan. 2016.
- 但馬将貴, 香山瑞恵, 小形真平, モデル駆動開発方法論に基づくロボット動作設計向けUMLモデリング教育用モデルコンパイラの開発, 電子情報通信学会技術研究報告ET, 115(285), pp.61-66, 大分, Oct. 2015.
- 鷲崎弘宜, 福本創太, 山本美聡, 芳澤正敏, 大久保隆夫, 小形真平, 海谷治彦, 加藤岳久, 櫨山淳雄, 吉岡信和, クラウドサービスの開発と運用においてセキュリティとプライバシを扱うためのメタモデル, コンピュータセキュリティシンポジウム2015論文集, 2015(3), pp.177-183, 長崎, Oct. 2015.
- 小形真平, 紙森翔平, 海谷治彦, 岡野浩三, 画面遷移モデリングにおける関心事の分離法の検討 : 業務機能と使用性向上機能に着目して, 電子情報通信学会技術研究報告KBSE, 115(231), pp.33-38, 大阪, Sep. 2015.
- 宮島和音, 小形真平, 香山瑞恵, 岡野浩三, UMLモデリング教育を支援するルールベースのクラス図採点支援ツール, 電子情報通信学会技術研究報告KBSE, 115(154), pp.149-154, 北海道, Jul. 2015.
- 大久保隆夫, 海谷治彦, 鷲崎弘宣, 小形真平, 柿崎淑郎, 櫨山淳雄, 吉岡信和, セキュリティ,プライバシー向け共通問題EMSsecの提案, 電子情報通信学会技術研究報告KBSE, 115(154), pp.69-74 , 北海道, Jul. 2015.
- 小形真平, 中村哲真, 岡野浩三, 画面遷移モデルに基づくシナリオ作成支援手法の検討, 電子情報通信学会技術研究報告KBSE, 115(54), 東京, pp.7-12, May 2015.
- 増元健人, 香山瑞恵, 小形真平, 橋本昌巳, クラス図を用いた基礎的概念モデリングにおける誤り分析に基づく初学者向け誤り自動検出機能の開発, 情報処理学会研究報告SE, 2015-SE-187(15), pp.1-7, 東京, Mar. 2015.
- 青木善貴, 小形真平, 谷沢智史, 松浦佐江子, モデル検査を用いたユースケースモデルに基づくソースコード検証 : ASP.NETアプリケーションを事例として, 電子情報通信学会技術研究報告KBSE, 114(501), pp.71-76, 東京, Mar. 2015.
- 宮島和音, 小形真平, 香山瑞恵, 海尻賢二, UMLモデリング教育を支援するルールベースのクラス図採点支援ツール, 情報処理学会第77回全国大会, 2015(1), pp.841-843, 京都, Mar. 2015.
- 名川裕樹, 小形真平, 香山瑞恵, 海尻賢二, 検証ルールの記述による拡張可能なUML図間の整合性検証ツール, 情報処理学会第77回全国大会, 2015(1), pp.391-393, 京都, Mar. 2015.
- 小形真平, 青木善貴, 谷沢智史, 松浦佐江子, ユースケースモデルに基づくソースコード検証のためのリバースエンジニアリング手法の検討 : ASP.NETアプリケーションを事例として, 電子情報通信学会技術研究報告KBSE, 114(420), pp.19-24, 東京, Jan. 2015.
- 紙森翔平, 小形真平, 海尻賢二, モデル駆動開発におけるユーザビリティ機能の要求確認を支援するWebプロトタイプ自動生成ツール, 第21回ソフトウェア工学の基礎ワークショップ FOSE 2014, pp.275-276, 鹿児島, Dec. 2014.
- 横田寛明, 香山瑞恵, 小形真平, 橋本昌巳, 大谷真, ロボット動作設計を対象にした状態遷移図による概念モデリング教育へのモデル駆動開発方法論導入の効果, 情報処理学会研究報告CE, 2014-CE-126(9), pp.1-6, 奈良, Oct. 2014.
- 紙森翔平, 小形真平, 海尻賢二, モデル駆動開発におけるユーザビリティ機能を実装したWebプロトタイプの自動生成, ソフトウェアエンジニアリングシンポジウム2014, pp.146-151, 東京, Sep. 2014.
- 松浦佐江子, 青木善貴, 加藤真, 松井浩二, 川合怜, 小形真平, 定義・生成・検証の観点からのモデル駆動開発への取り組み, ソフトウェアエンジニアリングシンポジウム2014 ワークショップ, 東京, Sep. 2014.
- 紙森翔平, 小形真平, 海尻賢二, ユーザビリティ要求確認を支援するWebプロトタイプ自動生成手法, 電子情報通信学会技術研究報告KBSE, 114(128), pp.75-80, 北海道, Jul. 2014.
- 坂下卓弥, 小形真平, 海谷治彦, 海尻賢二, 細粒度の利用者情報の流出を可視化するAndroidアプリ解析法, 電子情報通信学会技術研究報告KBSE, 113(475), pp.85-90, 沖縄, Mar. 2014.
- 湯浅諒平, 小形真平, 海谷治彦, 海尻賢二, Traceability Link Recoveryを行うIR手法のマイニング, 電子情報通信学会技術研究報告KBSE, 113(475), pp.25-30, 沖縄, Mar. 2014.
- 嶋大輔, 海尻賢二, 海谷治彦, 小形真平, 学習に基づくerror-proneモジュール予測器選択, 情報処理学会第76回全国大会, 2014(1), pp.437-438, 東京, Mar. 2014.
- 横田寛明, 香山瑞恵, 小形真平, 橋本昌巳, 大谷真, モデル駆動開発方法論を用いた状態遷移図記述によるロボット動作設計の評価 ― 大学1年生と2年生の比較より ―, 情報処理学会研究報告CE, 2014-CE-123(13), pp.1-6, 大阪, Feb. 2014.
- 内宮秀明, 小形真平, 海谷治彦, 海尻賢二, 最適なError-proneモジュール予測器を選択する手法の提案, 電子情報通信学会技術研究報告KBSE, 113(414), pp.71-76, 東京, Jan. 2014.
- 富井悠人, 海尻賢二, 海谷治彦, 小形真平, 情報検索手法を用いたトレーサビリティリンクの確立によるデータセットの特徴評価, 電子情報通信学会技術研究報告KBSE, 113(414), pp.59-63, 東京, Jan. 2014.
- 青木善貴, 小形真平, 野呂惇, 松浦佐江子, モデル検査技術を用いたセキュリティ要求の検証, 第20回ソフトウェア工学の基礎ワークショップ FOSE 2013, pp.209-214, 石川, Nov. 2013.
- 早川弘基, 小形真平, 海谷治彦, 海尻賢二, 入力保存機能に着目したモデル駆動ユーザビリティ評価法, 第20回ソフトウェア工学の基礎ワークショップ FOSE 2013, pp.65-70, 石川, Nov. 2013.
- 横田寛明, 香山瑞恵, 小形真平, 橋本昌巳, 大谷真, 初学者によるロボット動作設計のための状態遷移図記述におけるモデル駆動開発方法論導入の効果, 教育システム情報学会研究会, 2013(4), pp.7-12, 石川, Nov. 2013.
- 香山瑞恵, 横田寛明, 増元健人, 小形真平, 伊東一典, 橋本昌巳, 大谷真, 初学者によるモデリング学習に関する基礎的検討―状態遷移図による振舞いのモデリング―, 第38回情報システム教育学会全国大会講演論文集, 2013, pp.219-220, 石川, Sep. 2013.
- 増元健人, 香山瑞恵, 小形真平, 伊東一典, 橋本昌巳, 大谷真, 初学者によるモデリング学習に関する基礎的検討―クラス図による概念モデリング―, 第38回情報システム教育学会全国大会講演論文集, 2013, pp.217-218, 石川, Sep. 2013.
- 増元健人, 香山瑞恵, 小形真平, 伊東一典, 橋本昌巳, 大谷真, 動的モデルとしての振舞いモデリングに際する初学者の誤り分析 – プログラミング未習群と既習群とによる比較 -, 情報処理学会情報教育シンポジウム2013 (SSS2013), 2013(2), pp.11-18, 岩手, Aug. 2013.
- 坂下卓弥, 小形真平, 海谷治彦, 海尻賢二, 静的解析によるAndroidパーミッションの利用目的の可視化方法, 情報処理学会研究報告CSEC, 2013-CSEC-62(21), pp.1-7, 北海道, Jul. 2013.
- 早川弘基, 小形真平, 海谷治彦, 海尻賢二, 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル, 電子情報通信学会技術研究報告KBSE, 113(71), pp.31-36, 神奈川, May 2013.
- 上田健之, 小形真平, 海谷治彦, 海尻賢二, Traceability link recoveryのためのmethod mining, 電子情報通信学会技術研究報告KBSE, 113(71), pp.25-30, 神奈川, May 2013.
- 式見遼, 小形真平, 松浦佐江子, 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法, 電子情報通信学会技術研究報告KBSE, 112(496), pp.37-42, 東京, Mar. 2013.
- 瀧澤悠介, 阪井隼也, 海谷治彦, 小形真平, 海尻賢二, アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール, 電子情報通信学会技術研究報告KBSE, 112(496), pp.31-36, 東京, Mar. 2013.
- 増元健人, 香山瑞恵, 小形真平, 伊東一典, 橋本昌巳, 大谷真, クラス図を用いた概念モデリングにおける初学者の誤り分析, 教育システム情報学会2012年度学生研究発表会, pp.04-406-1 – 04-406-02, Mar. 2013.
- 奥田博隆, 小形真平, 松浦佐江子, 要求仕様と設計の機能要件のトレーサビリティを保持する為のWebアプリケーション設計手法の評価, 情報処理学会第75回全国大会, 2013(1), pp.441-442, 宮城, Mar. 2013.
- 式見遼, 小形真平, 松浦佐江子, 要求定義の実現可能性保証のためのシミュレーションによるテスト設計手法, 情報処理学会第75回全国大会, 2013(1), pp.415-416, 宮城, Mar. 2013.
- 松井駿介, 小形真平, 松浦佐江子, AndroidアプリケーションのUIの変更に伴うUML要求仕様への影響の分析, 情報処理学会第75回全国大会, 2013(1), pp.418-414, 宮城, Mar. 2013.
- 野呂惇, 小形真平, 松浦佐江子, セキュリティ機能方針の具体化によるセキュリティ機能要求分析手法, 情報処理学会第75回全国大会, 2013(1), pp.409-410, 宮城, Mar. 2013.
- 坂下卓弥, 小形真平, 海谷治彦, 海尻賢二, 静的解析によるAndroidパーミッションの利用目的の可視化方法, 情報処理学会第75回全国大会, 2013(1), pp.367-368, 宮城, Mar. 2013.
- 板垣恭太, 小形真平, 海谷治彦, 海尻賢二, Bugzilla等へ報告されるIssueの分類手法の提案, 情報処理学会第75回全国大会, 2013(1), pp.337-338, 宮城, Mar. 2013.
- 高橋利英, 小形真平, 海谷治彦, 海尻賢二, 集約的手法によるError Prone モジュール予測における最適モデル集合の選択, 情報処理学会第75回全国大会, 2013(1), pp.333-334, 宮城, Mar. 2013.
- 松浦優, 小形真平, 海谷治彦, 海尻賢二, 最適なError-proneモジュール予測器の識別手法の提案, 情報処理学会第75回全国大会, 2013(1), pp.331-332, 宮城, Mar. 2013.
- 田中勝輝, 小形真平, 海谷治彦, 海尻賢二, Ontologyを使ったTraceability確立手法の評価, 情報処理学会第75回全国大会, 2013(1), pp.297-298, 宮城, Mar. 2013.
- 後藤健太, 小形真平, 白銀純子, 中谷多哉子, 深澤良彰, 要求定義段階のモデルからシナリオ生成, ウィンターワークショップ2013・イン・那須 論文集, pp.63-64, 栃木, Jan. 2013.
- 谷沢智史, 西村一彦, 青木善貴, 小形真平, 松浦佐江子, Source2UPPAAL:ソースコードの効率的な検証へ向けた開発者支援ツールの検討, 第19回ソフトウェア工学の基礎ワークショップ FOSE 2012, pp.241-242, 大分, Dec. 2012.
- 青木善貴, 小形真平, 奥田博隆, 松浦佐江子, 要求分析におけるCRUD観点のモデル検査技術の適用, 第19回ソフトウェア工学の基礎ワークショップ FOSE 2012, pp.75-80, 大分, Dec. 2012.
- 香山瑞恵, 小形真平, 増元健人, 伊東一典, 橋本昌巳, 大谷真, 状態遷移図作成に際する初学者の誤り分析とそれに基づく教育方法の検討, 情報処理学会研究報告CE, 2012-CE-117(7), pp.1-9, 熊本, Dec. 2012.
- 小形真平, 谷沢智史, 西村一彦, 青木善貴, 奥田博隆, 松浦佐江子, データライフサイクルの妥当性に着目したモデル検査ツールの自動利用法, 電子情報通信学会技術研究報告KBSE, 112(314), pp.109-114, 石川, Nov. 2012.
- 鈴木祐司, 海谷治彦, 小形真平, 大久保隆夫, 金谷延幸, 吉岡信和, 私物デバイスの業務活用におけるセキュリティ要求変化予測法, 電子情報通信学会技術研究報告KBSE, 112(314), pp.55-60, 石川, Nov. 2012.
- 奥田博隆, 松井駿介, 式見遼, 野呂惇, 岡田康治, 小形真平, 松浦佐江子, ユースケース記述の意図の明確化を目的とした初学者特有の問題点の分析, 電子情報通信学会技術研究報告KBSE, 112(314), pp.43-48, 石川, Nov. 2012.
- 増元健人, 香山瑞恵, 小形真平, 伊東一典, 橋本昌巳, 大谷真, モデルベース設計における初学者の誤り分析とそれに基づく教育方法の検討-クラス図の記述・読解を対象として-, 組込みシステムシンポジウム2012論文集, 2012, pp.101-109, 東京, Oct. 2012.
- 奥田博隆, 小形真平, 青木善貴, 松浦佐江子, 要求分析モデルを用いたエンティティ間の関連と属性に対するデータライフサイクル検証手法の提案, 第11回情報科学技術フォーラム一般講演論文集, 11(1), pp.231-234, 東京, Sep. 2012.
- 野呂惇, 小形真平, 松浦佐江子, UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法, 第11回情報科学技術フォーラム一般講演論文集, 11(4), pp.77-80, 東京, Sep. 2012.
- 松井駿介, 奥田博隆, 式見遼, 野呂惇, 岡田康治, 小形真平, 松浦佐江子, ユースケース記述における初学者特有の問題点への系統的な改善方法, 電子情報通信学会技術研究報告KBSE, 112(165), pp.130-144, 北海道, Jul. 2012.
- 高橋利英, 大西達也, 小形真平, 海谷治彦, 海尻賢二, 多数決手法によるError Prone 予測手法の評価, 電子情報通信学会技術研究報告KBSE, 112(165), pp.25-30, 北海道, Jul. 2012.
- 野呂惇, 小形真平, 松浦佐江子, UML要求分析モデルとコモンクライテリアに基づくセキュリティ要求分析の統合手法, 電子情報通信学会技術研究報告KBSE, 112(165), pp.19-24, 北海道, Jul. 2012.
- 小形真平, 松浦佐江子, UMLシナリオを活用したインタラクションの欠陥発見手法, 電子情報通信学会技術研究報告KBSE, 111(396), pp.25-30, 東京, Jan. 2012.
- 奥田博隆, 小形真平, 松浦佐江子, 要求分析モデルのマルチプラットフォーム適用実験に基づく十分性の分析, 情報処理学会第74回全国大会, 2012(1), pp.387-388, 愛知, Mar. 2012.
- 松井駿介, 小形真平, 松浦佐江子, UML要求仕様からのAndroid-UIプロトタイプ自動生成手法, 情報処理学会第74回全国大会, 2012(1), pp.323-324, 愛知, Mar. 2012.
- 青木善貴, 小形真平, 奥田博隆, 松浦佐江子, UML要求分析モデルにおけるCRUD観点のデータライフサイクルの妥当性検査手法, 情報処理学会第74回全国大会, 2012(1), pp.239-240, 愛知, Mar. 2012.
- 松井駿介, 小形真平, 松浦佐江子, UML要求仕様からのAndroid-UIプロトタイプ自動生成, 電子情報通信学会技術研究報告KBSE, 112(64), pp.63-68, 神奈川, May 2012.
- 小形真平, 松浦佐江子, ロジック・UIコンポーネント連携可能なモデル駆動要求分析, ウィンターワークショップ2011・イン・修善寺 論文集, pp.41-42, 静岡, Jan. 2011.
- 小形真平, 松浦佐江子, プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用, ソフトウェアエンジニアリングシンポジウム2011 ワークショップ ソフトウェア工学教育, 東京, Sep. 2011.
- 式見遼, 小形真平, 松浦佐江子, UML要求仕様からのカバレッジに基づく機能テストのテストケース生成, 情報処理学会第73回全国大会, 2011(1), pp.497-498, 東京, Mar. 2011.
- 奥田博隆, 小形真平, 松浦佐江子, CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成, 情報処理学会第73回全国大会, 2011(1), pp.449-450, 東京, Mar. 2011.
- 奥田博隆, 小形真平, 松浦佐江子, CRUD分析中心の業務ロジックモデリングと機能型プロトタイプ自動生成, 電子情報通信学会技術研究報告KBSE, 110(468), pp.73-78, 大分, Mar. 2011.
- 式見遼, 小形真平, 松浦佐江子, UML要求仕様からのカバレッジに基づく機能テストのテストケース生成, 電子情報通信学会技術研究報告KBSE, 110(468), pp.7-12, 大分, Mar. 2011.
- 小形真平, 松浦佐江子, プロトタイプ生成可能なモデル駆動要求分析手法の要求工学教育への適用, 電子情報通信学会技術研究報告KBSE, 110(468), pp.37-42, 大分, Mar. 2011.
- 奥田博隆, 小形真平, 松浦佐江子, ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析, 第10回情報科学技術フォーラム一般講演論文集, 10(1), pp.267-270, 北海道, Sep. 2011.
- 式見遼, 小形真平, 松浦佐江子, 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール, 第10回情報科学技術フォーラム一般講演論文集, 10(1), pp.241-244, 北海道, Sep. 2011.
- 奥田博隆, 小形真平, 松浦佐江子, ビジネスロジックモデリングのアプリケーション開発フレームワークへの依存性分析, 電子情報通信学会技術研究報告KBSE, 111(211), pp.61-66, 済州, 韓国, Sep. 2011.
- 式見遼, 小形真平, 松浦佐江子, 要求分析モデルの妥当性検証のためのインタラクティブなテストデータ定義支援ツール, 電子情報通信学会技術研究報告KBSE, 111(211), pp.49-54, 済州, 韓国, Sep. 2011.
- 小形真平, 松浦佐江子, 設計・実装視点からの要求分析モデルの品質評価を目的としたシステム開発実験, 第18回ソフトウェア工学の基礎ワークショップ FOSE 2011, pp.219-224, 青森, Nov. 2011.
- 保科祐実, 小形真平, 松浦佐江子, アクティビティ図のデータフローに着目した振る舞い仕様の定義と検証, 情報処理学会第72回全国大会, pp.527-528, 東京, Mar. 2010.
- 小形真平, 松浦佐江子, 酒井理江, 佐藤宏之, 小林透, プロトタイプ自動生成可能なモデルドリブン要求分析手法による要求仕様のトレーサビリティの向上, 情報処理学会研究報告SE, 2010-SE-168(15), pp.1-8, 東京, Jun. 2010.
- 小形真平, 松浦佐江子, モデル駆動要求分析におけるエンドユーザの入力制約モデルの導入, 第9回情報科学技術フォーラム一般講演論文集, 9(1), pp.245-250, 福岡, Sep. 2010.
- 小形真平, 松浦佐江子, モデル駆動要求分析におけるエンドユーザ入力制約のモデル化とバリデーションコード生成, 情報処理学会研究報告SE, 2010-SE-170(20), pp.1-8, 大阪, Nov. 2010.
- 小形真平, 松浦佐江子, UML要求分析モデルに基づくモデル駆動開発実験におけるトレーサビリティ評価, 電子情報通信学会技術研究報告KBSE, 110(305), pp.25-30, 静岡, Nov. 2010.
- 小形真平, 松浦佐江子, Web UI プロトタイプ自動生成ツールを用いたユースケース駆動要求分析の評価実験, 第8回情報科学技術フォーラム一般講演論文集, 8(1), pp.73-80, 宮城, Sep. 2009.
- 小形真平, 松浦佐江子, UML要求分析モデルからのUIプロトタイプ自動生成手法の評価実験, 情報処理学会第71回全国大会, pp.323-324, 滋賀, Mar. 2009.
- 小形真平, 松浦佐江子, 妥当性確認可能なモデルベース要求仕様からの統合テスト仕様自動生成, ソフトウェアエンジニアリングシンポジウム2009, pp.127-132, 東京, Sep. 2009.
- 小形真平, 松浦佐江子, UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成, 情報処理学会第70回全国大会, pp.379-380, 茨城, Mar. 2008.
- 澤畠義人, 伊藤邦彦, 清水誠, 宮原佑也, 小形真平, 栗原紘樹, 松浦佐江子, パフォーマンス評価によるグループ活動の改善支援, 情報処理学会第70回全国大会, pp.373-374, 茨城, Mar. 2008.
- 栗原紘樹, 伊藤邦彦, 澤畠義人, 清水誠, 宮原佑也, 小形真平, 松浦佐江子, 学生のソフトウェア開発実習における問題共有方法の考察, 情報処理学会第70回全国大会, pp.369-370, 茨城, Mar. 2008.
- 宮原佑也, 伊藤邦彦, 澤畠義人, 清水誠, 小形真平, 栗原紘樹, 松浦佐江子, 学生のソフトウェア開発実習における制約条件を利用した作業スケジュール作成, 情報処理学会第70回全国大会, pp.361-362, 茨城, Mar. 2008.
- 清水誠, 伊藤邦彦, 澤畠義人, 宮原佑也, 小形真平, 栗原紘樹, 松浦佐江子, ソフトウェア開発初学者における作業計画の見積もり支援, 情報処理学会第70回全国大会, pp.359-360, 茨城, Mar. 2008.
- 天川美那, 小形真平, 松浦佐江子, サービス非依存インタラクションモデルを用いたシステム開発の提案, 情報処理学会研究報告SE, 2008(55(2008-SE-160)), pp.115-122, 東京, Jun. 2008.
- 小形真平, 松浦佐江子, UMLの要求分析モデルからのWebアプリケーションプロトタイプ自動生成, 情報処理学会研究報告SE, 2008(29(2008-SE-159)), pp.9-16, 東京, Mar. 2008.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成の実験例, 第7回情報科学技術フォーラム一般講演論文集, 7(1), pp.139-142, 神奈川, Sep. 2008.
- 天川美那, 小形真平, 松浦佐江子, サービス非依存インタラクションモデルを用いたシステム開発の提案, 第7回情報科学技術フォーラム一般講演論文集, 7(1), pp.119-122, 神奈川, Sep. 2008.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWebUIプロトタイプ自動生成手法とアルゴリズム, 日本ソフトウエア科学会大会講演論文集, 25, 5C-2, 東京, Sep. 2008.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWebUIプロトタイプ自動生成, ソフトウェアエンジニアリングシンポジウム2008, pp.79-86, 東京, Sep. 2008.
- 小形真平, 松浦佐江子, UML・プロトタイプを組み合わせた要求仕様の妥当性確認, 情報処理学会第69回全国大会, pp.277-278, 東京, Mar. 2007.
- 小形真平, 松浦佐江子, UMLで記述された要求分析モデルからのプロトタイプ自動生成, 第6回情報科学技術フォーラム一般講演論文集, 6(1), pp.107-110, 愛知, Sep. 2007.
- 小形真平, 松浦佐江子, UMLで記述された要求分析モデルからのプロトタイプ自動生成, 情報処理学会研究報告SE, 2007(97(2007-SE-157)), pp.95-102, 京都, Sep. 2007.
Presentation / 口頭発表
- 木村拓馬,小形真平,槇原絵里奈,岡野浩三,ステートマシン図課題における答案が満たさない要求特定・計測半自動化ツール,第30回ソフトウェア工学の基礎ワークショップ FOSE 2023,Nov. 2023.
- 磯貝翔,小形真平,岡野浩三,鷲崎弘宜,大久保隆夫,多項ロジスティック回帰によるCVSS基本ベクトルの自動予測手法,コンピュータセキュリティシンポジウム2023,Oct.-Nov. 2023.
- 佐竹柊路,鈴木彦文,小形真平,岡野 浩三,通信経路図に基づくネットワーク設計検証ツールの実現に向けて,ソフトウェアエンジニアリングシンポジウム 2023,東京,Aug. 2023.
- 木村拓馬,五島光祥,小形真平,槇原絵里奈,岡野浩三,ステートマシン図課題における学習者が満たせなかった要求文の特定・計測自動化に向けて,ソフトウェアエンジニアリングシンポジウム2022 WS3 ソフトウェア工学教育の自動化・最適化に向けて,東京,Sep. 2022.
- 池田大輝,柏祐太郎,谷沢智史,小形真平,岡野浩三,Dockerによる可搬性の高いWeb操作ログ収集ツールの試作,ソフトウェアエンジニアリングシンポジウム2022 WS6 プロセスマイニングの基礎と応用,東京,Sep. 2022.
- 小形真平,中川博之,doc2vecによる類似ゴール検出における一考察,第65回 要求工学ワークショップ in 富山,富山,May 2022.
- 小形真平,ユーザビリティパターンベースのモデル駆動ユーザビリティ自動評価に向けて~モデリングプロセスの整理~,第64回 要求工学ワークショップ in 鹿児島, 鹿児島, Mar. 2022.
- 青木善貴,小形真平,中川博之,小林一樹,人の期待とシステムの振る舞いの乖離をモデル検査により検証する手法の提案,第28回ソフトウェア工学の基礎ワークショップ FOSE 2021,福島/オンライン,Nov. 2021.
- 木村拓馬,小形真平,槇原絵里奈,岡野浩三,視線情報と編集ログに基づくステートマシン図課題の躓き調査に向けて,ソフトウェアエンジニアリングシンポジウム 2021 WS4 ソフトウェア工学教育支援に向けた開発者の活動ログの収集,分析および共有, オンライン, Sep. 2021.
- 笠井裕貴, 谷沢智史, 小形真平, 岡野浩三, [ポスター講演]Webサービスの異常動作を解析支援するデバッグログ可視化の試行, 信学技報, vol.120, no.231, KBSE2020-21, pp.39-39, オンライン, Nov. 2020.
- 新井凪, 鈴木彦文, 小形真平, 岡野浩三, [ポスター講演]静的ルーティングにおける実ネットワーク構成のモデリング手法の検討, 信学技報, vol.120, no.231, KBSE2020-20, pp.38-38, オンライン, Nov. 2020.
- 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, [ポスター講演]学習者への教育的フィードバックの自動化に向けたステートマシン図間の差分検出ツールの試作, 信学技報, vol.120, no.231, KBSE2020-15, pp.30-30, オンライン, Nov. 2020.
- 北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三, [ポスター講演]ステートマシン図学習者の躓き特定手法の提案に向けて, 信学技報, vol.120, no.231, KBSE2020-13, pp.26-26, オンライン, Nov. 2020.
- 堤崚介,魏久竣,岡野浩三,小形真平,新村正明,Eclipse Che とDocker を用いたEdutainment のためのソフトウェア教育用環境構築の進展,ソフトウェアエンジニアリングシンポジウム 2020 WS5 開発者の活動ログを活用したソフトウェア工学教育, オンライン, Sep. 2020.
- 五島光祥, 小形真平, 槇原絵里奈, 岡野浩三, ステートマシン図の誤り特定の自動化に向けて ~解答例と答案の差分自動検出の試み~, ソフトウェアエンジニアリングシンポジウム2020 WS5 開発者の活動ログを活用したソフトウェア工学教育, オンライン, Sep. 2020.
- 北村拓弥, 小形真平, 槇原絵里奈, 岡野浩三, ステートマシン図学習者の躓き特定手法の提案に向けて, ソフトウェアエンジニアリングシンポジウム2020 WS5 開発者の活動ログを活用したソフトウェア工学教育, オンライン, Sep. 2020.
- 石川公一, 小形真平, 中川博之, 岡野浩三, word2vecによる類似ゴール検出における一考察, 第63回 要求工学ワークショップ in 福井, 福井, Feb. 2020.
- 青木善貴, 小形真平, FRAMモデルの可読性向上のための支援, AI/IoTシステムのための安全性シンポジウム FRAMワークショップ, 東京, Nov. 2019
- 大池勇太郎, 小形真平, 青木善貴, 中川博之, 岡野浩三, NuSMVの反例に対する自動検証による解析支援ツールの試作, 第51回組込みシステム研究発表会, ポスター発表, 東京, Jun. 2019.
- 小形真平, ユーザビリティパターン導入効果を測るメトリクスの検討, 第58回 要求工学ワークショップ in 伊勢, 三重, Jun. 2018.
- 青木善貴, 小形真平, 中川博之, STAMP/STPAを用いたCyber-Physical Systemsの検証, IPA 第2回 STAMPワークショップ, 東京, 27-29 Nov. 2017.
- 丸山森, 原内聡, 小形真平, 岡野浩三, 再帰構造体に対するsawを用いた有界検証手法の考察, 第24回ソフトウェア工学の基礎ワークショップ FOSE 2017, 福井, 23-25 Nov. 2017.
- 小形真平, 画面遷移モデルにおけるユーザビリティ側面分離の試み, 第55回 要求工学ワークショップ in 長崎, 長崎, May 2017.
- 小形真平, 中川博之, 青木善貴, 小林一樹, IoTシステムの要求分析支援手法の実現に向けた取り組み ~アクタ関係に注目して~, ウィンターワークショップ2017・イン・飛騨高山, T1 要求工学(要求定義・分析), 岐阜, Jan. 2017.
- 矢澤幸也, 小形真平, 岡野浩三, ユーザビリティに着目した画面遷移モデルの分離の試み, 第23回ソフトウェア工学の基礎ワークショップ FOSE 2016, 香川, Dec. 2016.
- 青木善貴, 小形真平, 小林一樹, 中川博之, IoTシステムの安全性検証手法の提案, 第23回ソフトウェア工学の基礎ワークショップ FOSE 2016, 香川, Dec. 2016.
- 小形真平, MDDにおけるWebユーザビリティ評価支援フレームワーク, 第52回 要求工学ワークショップ in 高崎, 群馬, May 2016.
- 小形真平, ユースケースモデル再考 ~機能要求と非機能要求の分離~, 第47回 要求工学ワークショップ in 石垣, 沖縄, Jan. 2015.
- 小形真平, ユーザビリティ機能要求の妥当性確認を効率化する方法提案への取り組み, 第47回 要求工学ワークショップ in 熊本, 熊本, Oct. 2014.
- 小形真平, 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル, 第43回 要求工学ワークショップ in 飛騨高山, 岐阜, May 2013.
- 小形真平, ユーザビリティ評価可能なユースケースモデリング手法の検討, 第40回 要求工学ワークショップ in 松島, 宮城, May 2012.
Others / その他
- (招待講演)Takuma Kimura, Shinpei Ogata, Erina Makihara, Kozo Okano, A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams, from CSEE&T 2023, 日本ソフトウェア科学会第40回大会, Sep. 2023.
- 菊地伸治, 木村功作, 山登庸次, 中村匡秀, 細野繁, 村上陽平, 中川博之, 小形真平, 先進的な取組としてのハイブリッド開催の評価,電子情報通信学会誌,vol. 104, no. 6, pp.632-636, Jun. 2021.
- 菊地伸治, 中川博之, 木村功作, 小形真平, 中村匡秀, 山登庸次, 細野繁, 村上陽平, ニューノーマルな研究会に向けた実証評価報告, 情報・システムソサイエティ誌, 2020, Vol.25, No.4, pp.19-23, Feb. 2021.
- 斎藤忍, 井出昌浩, 小形真平, 中川博之, 位野木万里, 大久保隆夫, 青山幹雄, 要求工学に革新を,要求工学で革新を-第22回要求工学国際会議(RE2014)参加報告-, 情報処理学会研究報告SE, 2014-SE-186(9), pp.1-8, 大阪, Nov. 2014.
- 坂下卓弥, 小形真平, When It’s Better to Ask Forgiveness than Get Permission: Attribution Mechanisms for Smartphone Resourcesの報告, 情報処理学会研究報告SPT, 2013-SPT-7(1), p.1, 東京, Nov. 2013.
- 小形真平, 高品質な要求仕様の定義のためのUMLモデリングとプロトタイプの段階的な自動生成の研究, 情報処理, 53(10), p.1104, Sep. 2012.
- 小形真平, 松浦佐江子, 高品質な要求仕様の定義のためのUMLモデリングとプロトタイプの段階的な自動生成の研究, 芝浦工業大学研究報告, 56(2), pp.13-21, Sep. 2012.
- 小形真平, 松浦佐江子, UML要求分析モデルからの段階的なWeb UIプロトタイプ自動生成, 芝浦工業大学研究報告, 43(2), pp.49-56, 2009.