"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.
"Masaya Suzuki,Takuo Watanabe","A Language Support for Exhaustive Fault-Injection in Message-Passing System Models","1st Workshop on Logics and Model-Checking for Self-* Systems (MOD* 2014)","Electronic Proceedings in Theoretical Computer Science",,"Vol. 168",,"pp. 48-58",2014,Sept.
"渡部卓雄,鈴木将哉","Objective-Cによる文脈指向プログラミングの実現手法","電子情報通信学会ソフトウェアサイエンス研究会(SIGSS)","電子情報通信学会技術研究報告","電子情報通信学会","Vol. 112","No. 164","pp. 133-138",2012,July