論文誌
[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] 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] 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.
[3] 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.
[4] 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.
研究会・全国大会等
[1] 閻奔, 中村匡秀, リディドゥブスケ, 松本健一, "JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案," 電子情報通信学会技術報告, volume NS2006-159, pages 7-12 2007年3月.
[2] 閻奔, 中村匡秀, リディドゥブスケ, 松本健一, "ホームネットワークシステムにおける家電連携サービスの安全性に関する考察," 電子情報通信学会技術報告, volume IN2006-97, pages 49-54 2006年11月.