論文誌
[1] Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Constructing Home Network Systems and Integrated Services Using Legacy Home Appliances and Web Services," International Journal of Web Services Research, volume 5, number 1, pages 82--98 January 2008.
[2] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "Validating Safety for Integrated Services of Home Network System Using Jml," Journal of Information Processing (JIP), volume 16, 2008.
国際会議
[1] Masahide Nakamura, Yusuke Fukuoka, Hiroshi Igaki, and Ken-ichi Matsumoto, "Implementing Multi-Vendor Home Network System with Vendor-Neutral Services and Dynamic Service Binding," In Proc. of International Conference on Services Computing (SCC 2008), pages 275-282 July 2008.
[2] Ben Yan, "Considering Safety and Feature Interactions for Integrated Services of Home Network System," Doctorial Symposium In Proc.of 9th Int’l. Conf. Feature Interactions in software and Communication Systems(ICFI2007), September 2007.
[3] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "Characterizing Safety of Integrated Services in Home Network System," In 5th International Conference On Smart homes and health Telematics (ICOST2007), volume LNCS, number 4541, pages 130-140 June 2007.
[4] Hiroshi Igaki, Masahide Nakamura, Ken-ichi Matsumoto, and Mikio Aoyama, "Adopting Model-Driven Development for Integrated Services and Appliances in Home Network Systems," In Proc. of 13th Asia-Pacific Software Engineering Conference (APSEC 2006), pages 45-52 December 2006.
[5] Kohei Mitsui, Hiroshi Igaki, Kentaro Takemura, Masahide Nakamura, and Ken-ichi Matsumoto, "Exploiting Eye Gaze Information for Operating Services in Home Network System," In 2006 International Symposium on Ubiquitous Computing Systems (UCS2006), volume LNCS4239, pages 13-27 October 2006.
[6] Masahide Nakamura, Akihiro Tanaka, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Adapting Legacy Home Appliances to Home Network Systems Using Web Services," In IEEE International Conference on Web Services (ICWS2006), pages 849-858 September 2006.
[7] 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.
[8] 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.
[9] Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach-," In Proc. of Int'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05), pages 236-251 July 2005.
[10] Masahide Nakamura, Hiroshi Igaki, Haruaki Tamada, and Ken-ichi Matsumoto, "Implementing Integrated Services of Networked Home Appliances Using Service-Oriented Architecture," In Proc. International Conference of Service Oriented Computing (ICSOC04), pages 269--278 November 2004.
[11] 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), pages 552--561 December 2003.
[12] 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.
[13] 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.
[14] 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), pages 1253--1260 April 1997.
表彰・受賞
[1] Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Feature Interactions in Integrated Services of Networked Home Appliances -An Object-Oriented Approach-," In Proc. of Int'l. Conf. on Feature Interactions in Telecommunication Networks and Distributed Systems (ICFI'05, Best Paper Award), pages 236-251 July 2005.