"大村裕,荒堀喜貴,権藤克彦,渡部卓雄","Code Oriented Diagram Editorを用いた並行バグの可視化","日本ソフトウェア科学会第14回ディペンダブルシステムワークショップ(DSW 2016)",,,,,,2016,Dec.
"Takuo Watanabe,Kensuke Sawada","Towards an Actor-Based Execution Model of an FRP Language for Small-Scale Embedded Systems","IPSJ SIG Embedded Systems (SIGEMB43)","IPSJ SIG Technical Report",,"Vol. 2016-EMB-43","No. 6",,2016,Nov.
"Takuo Watanabe,Kensuke Sawada","Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems","6th International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE!@SPLASH 2016)",,,,,,2016,Oct.
"星野友宏,高桑健太郎,渡部卓雄","OMetaのための衛生的マクロ定義機構導入方式","日本ソフトウェア科学会第33回大会",,,,,,2016,Sept.
"安武祥平,渡部卓雄","Actario: 定理証明支援系Coqによるアクターシステムの検証","日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ(PPL 2016)",,,,,,2016,Mar.
"Kensuke Sawada,Takuo Watanabe","Emfrp: A Functional Reactive Programming Language for Small-Scale Embedded Systems","Modularity 2016, Constrained and Reactive Objects Workshop (CROW 2016)",,"ACM",,,"pp. 46-54",2016,Mar.
"峰尾太陽,石井大輔,渡部卓雄","時相論理式の反証を用いた制御器のチューニング","電子情報通信学会 システム数理と応用研究会","信学技報",,"Vol. 115","No. 480","pp. 61-66",2016,Mar.
"竹野創平,渡部卓雄","アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価",,"コンピュータソフトウェア","日本ソフトウェア科学会","Vol. 33","No. 1","pp. 167-180",2016,Feb.
"Masaya Suzuki,Takuo Watanabe","Sandal: A Modeling Language Supporting Exhaustive Fault-Injection","Workshop on Computation: Theory and Practice (WCTP 2014)","Theory and Practice of Computation","World Scientific",,,"pp. 1-12",2016,Jan.