CS27 業績リスト


論文誌
[1]  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.
[2]  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.
[3]  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]  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)
[2]  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)
[3]  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)
[4]  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)
[5]  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)
[6]  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]  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.
[2]  中村 匡秀, 角田 良明, 菊野 亨, ``二次記憶を利用したサービス仕様検証支援,'' 電子情報通信学会1997年ソサイエティ大会, vol.D, no.3, p.3, September 1997.
[3]  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.
[4]  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.
[5]  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.
[6]  Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, ``通信サービス仕様解析のための高レベルペトリネットモデル,'' In 信学技報, vol.SSE95-152, pp.217--224, March 1996.
[7]  角田 良明, 中村 匡秀, ``通信ソフトウェアの統合化 -- モデル, 手法, ツールの有機的連携 --,'' 第2回通信ソフトウェア研究会, September 1995.
[8]  中村 匡秀, 角田 良明, 菊野 亨, ``部品に基づいたサービス仕様からのプロトコル合成,'' 第5回通信ソフトウェア工学研究会, December 1994.
[9]  中村 匡秀, 角田 良明, 菊野 亨, ``複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成,'' 信学技報, 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.