CS27 業績リスト


論文誌
[1]  Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, ``Feature Interaction Detection by Bounded Model Checking,'' IEICE Transactions on Information and Systems, vol.E86-D, no.12, pp.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), vol.II, pp.173-176, July 2006. (Chiang Mai, Thailand)
[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), pp.549-558, December 2005. (Taipei, Taiwan)
[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, vol.Computers and Communications (ITC-CSCC2003), no.3, pp.1807--1810, July 2003. (Phoenix Park, Ireland)
[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) , pp.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), vol.2, no.Fast Abstract, p.B46-B47, June 2002. (Washington DC, USA)
[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), pp.8B2.1-2.11, January 2002. (Cheju, Korea)

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.