"安原 由貴,Sosuke Moriguchi,Takuo Watanabe","実時間システム向け文脈指向言語ProcneJ",,"情報処理学会論文誌プログラミング（PRO）",,"Vol. 6","No. 3","pp. 50-50",2013,Nov.
"Sosuke Moriguchi,TAKUO WATANABE","検証付きプログラムに対する対話的修正の合成","日本ソフトウェア科学会ソフトウェア工学の基礎ワークショップ(FOSE 2013)","レクチャーノート/ソフトウェア学","近代科学社","Vol. 39",,"pp. 131-136",2013,Nov.
"Takuo Watanabe","Towards a Compositional Reflective Architecture for Actor-Based Systems","3rd International Workshop on Programming based on Actors, Agents,  and Decentralized Control (AGERE!@SPLASH 2013)",,"ACM",,,"pp. 19-24",2013,Oct.
"NAOYUKI NAGATOU,Takuo Watanabe","人為的欠陥の意味と耐性解析","日本ソフトウェア科学会第30回大会",,,,,,2013,Sept.
"Takashi Kobayashi,Katsuhiko Gondow,MOTOSHI SAEKI,Kazuyuki Shudo,Yasushi Tanaka,Shin-ya Nishizaki,Chikako Morimoto,NAOKI YONEZAKI,Takuo Watanabe","Cloudbauhaus: 東京工業大学における実践的IT人材育成の試み","日本ソフトウェア科学会第30回大会",,,,,,2013,Sept.
"Sosuke Moriguchi,Takuo Watanabe","An Interactive Extension Mechanism for Reusing Verified Programs","28th ACM Symposium on Applied Computing",,"Association for Computing Machinery",,,"pp. 1236-1243",2013,Mar.
"Ryotaro Nakamura,Takuo Watanabe","実時間システム向けの文脈指向DSL","情報処理学会 ソフトウェア工学研究会","情報処理学会研究報告",,"Vol. 2013-SE-179","No. 31","pp. 1-8",2013,Mar.
"Yuki Yasuhara,Sosuke Moriguchi,Takuo Watanabe","ProcneJ: A Context-oriented Programming Language for Real-time Systems","情報処理学会 第93回プログラミング研究発表会",,,,,,2013,Feb.
"Ilankaikone Senthooran,Takuo Watanabe","On Generating Soft Real-Time Programs for Non-Real-Time Environments","2nd Workshop on Computation: Theory and Practice (WCTP 2012)","Theory and Practice of Computation: Proceedings in Information and Communications Technology",,"Vol. 7",,"pp. 1-12",2013,Feb.