CS27 業績リスト


解説
[1]  中村 匡秀, 菊野 亨, ``通信サービスにおけるフィーチャーインタラクション検出へのペトリネットの応用,'' システム/制御/情報, vol.45, no.8, pp.451--460, August 2001.
論文誌
[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]  Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, and Tohru Kikuno, ``On Detecting Feature Interactions in Programmable Service Environment of Internet Telephony,'' Journal of Computer Networks, vol.45, no.5, pp.605--624, August 2004.
[4]  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.
[5]  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.
[6]  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.
[7]  Masahide Nakamura and Tohru Kikuno, ``A New Approach in Feature Interaction Testing,'' INTEGRATION the VLSI journal, vol.26, pp.211--223, December 1998.
[8]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``On Constructing Communication Protocols from Component-Based Service Specifications,'' Journal of Computer Communications, vol.19, no.14, pp.1200--1215, December 1996.
[9]  Yoshiaki Kakuda, Masahide Nakamura, and Tohru Kikuno, ``Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives,'' IEICE Trans. Fundamentals, vol.E77-A, no.10, pp.1634--1645, October 1994.
国際会議
[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, ``Defining Semantic Guideline in XML-Based Programmable Service Environment,'' In Proc. of the 10th Intetnational Symposium on Pacific Rim Dependable Computing (PRDC2004), vol.Fast Abstracts, pp.15--16, March 2004. (Papeete, Tahiti)
[5]  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)
[6]  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)
[7]  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)
[8]  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)
[9]  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.
[10]  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)
[11]  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)
[12]  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)
[13]  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)
[14]  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)
[15]  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)
[16]  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)
[17]  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)
[18]  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)
[19]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri Net Model,'' In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pp.1253--1260, April 1997. (Kobe, Japan)
[20]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``An Integration-Oriented Approach to Designing Communication Protocols from Component-Based Service Specifications,'' In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'96), pp.1157--1164, March 1996. (SanFrancisco, USA)
[21]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``Protocol Synthesis from Acyclic Formed Service Specifications,'' In Proc. of Int'l. Conf. on Information Networking (ICOIN'94), pp.177--182, December 1994. (Osaka, Japan)
研究会・全国大会など
[1]  パッタラ リーラープルット, 中村 匡秀, 井垣 宏, 松本 健一, 菊野 亨, ``ホームネットワークシステムにおけるサービス競合の分類と解消について,'' 電子情報通信学会技術研究報告, vol.105, no.628, pp.055-060, March 2006.
[2]  パッタラ リーラープルット, 中村 匡秀, 菊野 亨, ``サービス競合フィルタリングにおける競合可能シナリオの導出の評価,'' 情処研報, vol.2001-SE-134, pp.29--35, October 2001.
[3]  瀧 友和, 中村 匡秀, 菊野 亨, ``CPLで記述したサービスのサービス競合の分類,'' 情処研報, vol.2001-SE-134, pp.37-44, October 2001.
[4]  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.
[5]  池田 拓郎, 中村 匡秀, 菊野 亨, ``通信サービスにおけるユーザニーズの保証|フィーチャーインタラクションの解決に向けて|,'' 信学技報, vol.FTS98-55, pp.37--44, May 1998.
[6]  中村 匡秀, 角田 良明, 菊野 亨, ``二次記憶を利用したサービス仕様検証支援,'' 電子情報通信学会1997年ソサイエティ大会, vol.D, no.3, p.3, September 1997.
[7]  池田 拓郎, 中村 匡秀, 角田 良明, 菊野 亨, ``非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価,'' 信学技報, vol.SS97-6, p.38611, May 1997.
[8]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``Detection Algorithm for Non-Deterministic Feature Interactions Using Petri-Net,'' In 信学技報, vol.SS96-57, p.38611, March 1997.
[9]  Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``A Synthesis Method for Fault-Tolerant Multipath Routing Protocols in Connectionless Networks,'' In 信学技報, vol.SSE96-93, pp.109--114, September 1996.
[10]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``An Analysis Method of Non-Determinism in Telecommunication Service Specifications Using a High Level Petri-Net Model,'' In 信学技報, vol.IN96-33, pp.13--20, July 1996.
[11]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``通信サービス仕様解析のための高レベルペトリネットモデル,'' In 信学技報, vol.SSE95-152, pp.217--224, March 1996.
[12]  中村 匡秀, 角田 良明, 菊野 亨, ``部品に基づいたサービス仕様からのプロトコル合成,'' 第5回通信ソフトウェア工学研究会, December 1994.
[13]  中村 匡秀, 角田 良明, 菊野 亨, ``複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成,'' 信学技報, vol.SSE94-37, pp.85--90, April 1994.

This site is maintained by webadmin.

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