論文誌
[1] 鵜林 尚靖, 金川 太俊, 瀬戸 敏喜, 中島 震, 平山 雅之, "コンテキストベース・プロダクトライン開発とVDM++の適用," 情報処理学会論文誌, volume 48, number 8, pages 2492-2507, 2007年.
研究会・全国大会等
[1] 鵜林 尚靖, 瀬戸 敏喜, 金川 太俊, 谷口 奨, 吉田 純, 鷲見 毅, 平山 雅之, "A Context Analysis Method for Constructing Reliable Embedded Systems," Workshop on Modeling in Software Engineering (MISE 2008) (Workshop at ICSE 2008), pages 57-63, 2008年.
[2] 瀬戸 敏喜, 金川 太俊, 谷口 奨, 吉田 純, 鵜林 尚靖, "ディペンダブル組込みシステムのためのコンテキスト分析手法," 情報処理学会 ソフトウェア工学研究会 ウィンターワークショップ 2008・イン・道後, 2008年.
[3] 金川 太俊, 瀬戸 敏喜, 谷口 奨, 吉田 純, 鵜林 尚靖, 鷲見 毅, 平山 雅之, "組込みシステムの外部環境に着目した動作仕様検証," 電子情報通信学会 信学技報 SS2007-32, pages 13-18, 2007年.
[4] 金川 太俊, "組込みシステムにおける外部環境分析と形式手法の適用," 第9回 組込みシステム技術に関するサマーワークショップ SWEST9, ポスター発表, pages 61-64, 2007年.
[5] 瀬戸 敏喜, 金川 太俊, 鵜林 尚靖, 鷲見 毅, 平山 雅之, "組込みシステムの外部環境分析のためのUMLプロファイル," 情報処理学会 組込技術とネットワークに関するワークショップ ETNET2007, 情報処理学会 研究報告 2007-EMB-4, pages 65-70, 2007年.