国内会議(査読付)

[1] 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析," ソフトウェアシンポジウム2024論文集, pages 122-130, 2024年6月.

[2] 菊地 奈穂美, 長谷川 晴朗, 水野 修, 菊野 亨, "通信ソフトウェア開発における問題プロジェクトの原因分析," ソフトウェアシンポジウム2000論文集, pages 154-159, 2000年6月.

学位論文

[1] 井上 蒼士, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.