"Naoyuki Nagatou,Takuo Watanabe","Robustness Analysis on Human-made Faults in Procedural Manuals","Workshop on Computation: Theory and Practice (WCTP 2013)","Theory and Practice of Computation","World Scientific",,,"pp. 79-94",2014,Nov.
"Takuo Watanabe","Compositional Construction of Group-Wide Meta-Level Architectures","Workshop on Computation: Theory and Practice (WCTP 2013)","Theory and Practice of Computation","World Scientific",,,"pp. 95-107",2014,Nov.
"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.
"Souhei Takeno,TAKUO WATANABE","アクターモデルに基づく並行文脈指向プログラミング機構の実装と評価","日本ソフトウェア科学会第31回大会",,,,,,2014,Sept.
"Shohei Yasutake,TAKUO WATANABE","Aπ計算のCoqによる形式化","日本ソフトウェア科学会第31回大会",,,,,,2014,Sept.
"Ohmura Yuu,TAKUO WATANABE","Design and Implementation of a Source Code Reading Helper Tool for Program Comprehension","31st JSSST Annual Conference",,"Japan Society of Software Science and Technology",,,,2014,Sept.
"Takuo Watanabe,Souhei Takeno","A Reflective Approach to Actor-Based Concurrent Context-Oriented Systems","6th International Workshop on Context-Oriented Programming (COP 2014)",,"ACM",,,,2014,July
"Naoyuki Nagatou,Takuo Watanabe","A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults","2nd Asia Pacific Conference on Business Process Management (APBPM 2014)","Lecture Notes in Business Information Processing, LNBIP","Springer-Verlag","Vol. 181",,"pp. 117-131",2014,July