"森口草介,渡部卓雄","Coqのための対話的修正機構を用いた変更の織り込み手法","日本ソフトウェア科学会第28回大会",,,,,,2011,Sept.
"久間恵美子,渡部卓雄","補償型計算による実行監視機構のアクターモデルに基づく実現にむけて","日本ソフトウェア科学会第28回大会",,,,,,2011,Sept.
"Ilankaikone Senthooran,Julian Prokay,Takuo Watanabe","On Generating Realtime Programs with Runtime Checking: From Timed Automata to Realtime Programs on Non-Realtime Environments","電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)","IEICE technical report","IEICE","Vol. 111","No. 168","pp. 75-80",2011,July
"新井一郎,渡部卓雄","ハイブリッドマルチコア環境における関数型言語の実現手法","情報処理学会第73回全国大会","第73回全国大会講演論文集",,,,"pp. 199-200",2011,Mar.
"山田一宏,渡部卓雄,森口草介,西崎真也","証明支援系を用いたMorrisの二分木走査アルゴリズムの検証","情報処理学会ソフトウェア工学研究会","情報処理学会研究報告ソフトウェア工学",,"Vol. SE-171","No. 26","pp. 1-4",2011,Mar.
"久間恵美子,松本大介,西崎真也,渡部卓雄","オブジェクト計算における変更可能な継続","情報処理学会 第73回全国大会","情報処理学会 第73回全国大会講演論文集","情報処理学会",,,,2011,Mar.
"渡部卓雄,森口草介,山田一宏,西崎真也","プログラム変換を用いたポインタ操作プログラムの検証にむけて: Morrisの二分木走査アルゴリズムによるケーススタディ","電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)","信学技報","電子情報通信学会","Vol. 110","No. 458","pp. 97-102",2011,Feb.