論文誌
[1] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Feature Interaction Detection by Bounded Model Checking," IEICE Transactions on Information and Systems, volume E86-D, number 12, pages 2579--2587 December 2003.
国際会議
[1] Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Automatically Verifying Integrated Services in Home Network Systems," In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), volume II, pages 173-176 July 2006.
[2] Pattara Leelaprute, Masahide Nakamura, Tatsuhiro Tsuchiya, Ken-ichi Matsumoto, and Tohru Kikuno, "Describing and Verifying Integrated Services of Home Network Systems," In Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pages 549-558 December 2005.
[3] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking," In Proc. 2003 International Technical Conference on Circuits/Systems, volume Computers and Communications (ITC-CSCC2003), number 3, pages 1807--1810 July 2003.
[4] Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services with a Sat Solver," In Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02) , pages 131--134 December 2002.
[5] Tatsuhiro Tsuchiya. Masahide Nakamura and Tohru Kikuno, "Symbolic Approaches to Feature Interaction Detection," In In Proc. IEEE Conference on Dependable Systems and Networks (ICDSN-2002), June 2002.
[6] Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking," In 16th International Conference on Information Networking (ICOIN-16), 8B2.1-2.11 January 2002.