論文誌
[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.
[5] Yoshihiro Takada, Ken-ichi Matsumoto, and Koji Torii, "A Software Reliability Prediction Model Using a Neural Network," Systems and Computers in Japan, volume 25, number 14, pages 22-31 May 1995.
国際会議
[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] Masao Ohira, Kumiyo Nakakoji, and Ken-ich Matsumoto, "D-Sns: a Knowledge Exchange Mechanism Using Social Network Density among Mega-Community Users," In Proceedings of Supporting the Social Side of Large Scale Software Development (CSCW2006 Workshop), pages 39-42 November 2006.
[8] 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.
[9] 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.
[10] Takeshi Kakimoto, Yasutaka Kamei, Masao Ohira, and Ken-ichi Matsumoto, "Social Network Analysis on Communications for Knowledge Collaboration in OSS Communities," In Proceedings of the 2nd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006), pages 35-41 September 2006.
[11] 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.
[12] 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.
[13] 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.
[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.
[15] Shuji Takabayashi, Akito Monden, Shin-ichi Sato, Ken-ichi Matsumoto, Katsuro Inoue, and Koji Torii, "The Detection of Fault-Prone Program Using a Neural Network," In Proc. International Symposium on Future Software Technology'99 (ISFST'99), pages 81--86 October 1999.
[16] Akito Monden, "A Secure Keyed Program in Network Environment," In Proceedings of the 20th International Conference on Software Engineering, volume 2, pages 170--171 April 1998.
国内会議(査読付き)
[1] 畑秀明, 松本健一, "メソッド進化分析のためのソースコード履歴グラフ構築とネットワーク分析," ソフトウェア工学の基礎,日本ソフトウェア科学会FOSE2013, pages 89-94 2013年11月.