CS27 業績リスト


論文誌
[1]  Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, ``Design and Evaluation of Feature Interaction Filtering with Use Case Maps,'' NECTEC Technical Journal , vol.5, no.16, pp.581-597, December 2005.
[2]  パッタラ・リーラープルット, 中村 匡秀, 松本 健一, 菊野 亨, ``Use Case Maps を用いたサービス競合可能シナリオの導出と実験的評価,'' 電子情報通信学会論文誌, vol.J88-B, no.7, pp.1237-1247, July 2005.
[3]  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.
[4]  Masahide Nakamura and Tohru Kikuno, ``Exploiting Symmetric Relation for Efficient Feature Interaction Detection,'' IEICE Trans. on Information and Systems, vol.E72-D, no.10, pp.1352--1363, October 1999.
[5]  Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, and Kitsutaro Amano, ``A Protocol Synthesis Method for Fault-Tolerant Multipath Routing,'' Information and Software Technology, vol.41, no.11, pp.745--754, September 1999.
国際会議
[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]  Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, ``Definition and Detection of Semantic Warnings for Voicexml,'' In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2005), pp.91--98, February 2005. (Innsbruck, Austria)
[4]  Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, ``Evaluating Semantic Warnings in Voip Programmable Services with Open Source Environment,'' In Proc. of the 10th Asia Pacific Software Engineering Conference (APSEC2003), pp.552--561, December 2003. (Chiangmai, Thailand)
[5]  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)
[6]  Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, ``Detecting Script-To-Script Interactions in Call Processing Language,'' In Proc. 7th Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'03), pp.215--230, July 2003. (Ottawa, Canada)
[7]  Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, ``Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony Authors,'' In In Proc. Symposium on Applications and the Internet (SAINT2003), pp.283--291, January 2003. (Orlando, Florida, USA)
[8]  Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, ``Detecting Semantic Ambiguity in Service Description of Internet Telephony,'' In Proc. of the Sixth National Computer Science and Engineering Conference (NCSEC2002), pp.57--62, October 2002. (Pattaya, Thailand)
[9]  Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, ``Characterizing Semantic Warnings of Service Description in Call Processing Language on Internet Telephony,'' In In Proc. International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2002), vol.CDROM, July 2002. (Phuket, Thailand)
[10]  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)
[11]  Masahide Nakamura, Pattara Leelaprute, and Tohru Kikuno, ``Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps,'' In Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS2002), pp.237--244, January 2002. (SanDiego, USA)
[12]  Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, and Luigi Logrippo, ``Feature Interaction Filtering with Use Case Maps at Requrements Stage,'' In Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pp.163--178, May 2000. (Glasgow, UK)
[13]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``Feature Interaction Detection Using Permutation Symmetry,'' In Proc. of Fifth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'98), pp.187--201, September 1998. (Lund, Sweden)
[14]  Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``A Synthesis Method for Fault-Tolerant and Flexible Multipath Routing Protocols,'' In Proc. of Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'97), pp.96--105, September 1997. (Como, Italy)
[15]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``Petri Net Based Detection Method for Non-Deterministic Feature Interactions and Its Experimental Evaluation,'' In Proc. of Fourth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'97), pp.138--152, June 1997. (Montreal, Canada)
研究会・全国大会など
[1]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``A New Method Using Permutation Symmetry for Feature Interaction Detection and Its Experimental Evaluation,'' In 信学技報, vol.CST98-2, p.38611, May 1998.

This site is maintained by webadmin.

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