論文誌
[1] Ben Yan, Masahide Nakamura, Lydie du Bousquet, and Ken-ichi Matsumoto, "`Improving Reusability of Hazard Analysis Model with Hazard Template for Deriving Safety Properties of Home Network System," International Journal of Smart Home, volume 3, number 2, pages 71-88 April 2009.
[2] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," International Journal of Smart Home, volume 3, number 1, pages 67-80 January 2009.
[3] 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.
[4] 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] Ben Yan, Masahide Nakamura, and Ken-ichi Matsumoto, "Deriving Safety Properties for Home Network System Based on Goal-Oriented Hazard Analysis Model," In Proc. of the Third International Symposium on Smart Home(SH08), volume 2, pages 428-436 December 2008.
[2] 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.
[3] Lydie du Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, "Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study," In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), pages 203-214 December 2007.
[4] 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.
[5] 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.
[6] 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.
[7] 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.
[8] 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.
[9] 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.
[10] 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.
[11] Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "A Service-Oriented Framework for Networked Appliances to Achieve Appliance Interoperability and Evolution in Home Network System," In Proc. of International Workshop on Principles of Software Evolution (IWPSE 2005), pages 61-64 September 2005.
[12] 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.
[13] 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.
[14] Hiroshi Igaki, Masahide Nakamura, and Ken-ichi Matsumoto, "Design and Evaluation of the Home Network Systems Using the Service Oriented Architecture," In Proc. International Conference on E-Business and Telecommunication Networks(ICETE04), volume 1, pages 62--69 August 2004.
表彰・受賞
[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.