"Ohmura Yuu,Yoshitaka Arahori,Katsuhiko Gondow,Takuo Watanabe","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.
"Tomohiro Hoshino,Kentaro Takakuwa,Takuo Watanabe","A Method for Implementing Hygienic Macro Definers for OMeta","JSSST 33rd Annual Conference",,,,,,2016,Sept.
"Shohei Yasutake,Takuo Watanabe","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.
"Taiyo Mineo,Daisuke Ishii,Takuo Watanabe","Temporal Logic Falisification for Controller Parameter Tuning","Technical Committee on Mathematical Systems Science and its applications Mathematical Systems Science and its applications, IEICE","IEICE technical report",,"Vol. 115","No. 480","pp. 61-66",2016,Mar.
"Souhei Takeno,Takuo Watanabe","An Implementation of Concurrent Context-Oriented Programming System based on the Actor Model",,"Computer Software","Japan Society of Software Science and Technology","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.