"森口草介,渡部卓雄","定理証明支援系Coqへの対話的修正機構の導入",,"情報処理学会論文誌プログラミング（PRO）","情報処理学会","Vol. 5","No. 4","pp. 27-38",2012,Sept.
"Ilankaikone Senthooran,Takuo Watanabe","A Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments","13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2012)",,"IEEE Computer Society",,,"pp. 269-274",2012,Aug.
"安原由貴,森口草介,渡部卓雄","組込みシステムのための文脈指向仕様記述に向けて","日本ソフトウェア科学会第29回大会",,,,,,2012,Aug.
"渡部卓雄,鈴木将哉","Objective-Cによる文脈指向プログラミングの実現手法","電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)","電子情報通信学会技術研究報告","電子情報通信学会","Vol. 112","No. 164","pp. 133-138",2012,July
"Sosuke Moriguchi,Takuo Watanabe","Abstraction of Operations of Aspect-Oriented Languages","Workshop on Computation: Theory and Practice","Theory and Practice of Computation, Proceedings in Information and Communications Technology","Springer Japan","Vol. 5",,"pp. 187-201",2012,Apr.