CS27 業績リスト


論文誌
[1]  Lydie du-Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, ``Using Formal Methods to Increase Confidence in a Home Network System Implementation: a Case Study,'' Innovations in Systems and Software Engineering (ISSE Journal), Springer, vol.5, no.3, pp.181-196, September 2009.
[2]  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, vol.3, no.2, pp.71-88, April 2009.
[3]  Ben Yan, Masahide Nakamura, Lydie du-Bousquet, and Ken-ichi Matsumoto, ``Validating Safety for Integrated Services of Home Network System Using JML,'' IPSJ Journal (also published as Journal of Information Processing (JIP)), vol.49, no.6, pp.1751-1762, June 2008.
国際会議
[1]  Long Niu, Sachio Saiki, Lydie du Bousquet, and Masahide Nakamura, ``Recognizing ADLs Based on Non-Intrusive Environmental Sensing and BLE Beacons,'' In Proceedings of Eighth International Conference on Indoor Positioning and Indoor Navigation (IPIN2017), September 2017. (Sapporo, Japan)
[2]  Masahide Nakamura and Lydie du Bousquet, ``Constructing Execution and Life-Cycle Models for Smart City Services with Self-Aware IoT,'' In Self-IoT Workshop in 2015 IEEE 12th International Conference on Autonomic Computing (ICAC2015), pp.289-294, July 2015. (Grenoble, France)
[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), pp.203-214, December 2007. (Poitiers, France)
[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), vol.LNCS 4541, pp.130-140, June 2007. (Nara, Japan)
研究会・全国大会など
[1]  閻 奔, 中村 匡秀, リディ ドゥ ブスケ, 松本 健一, ``JMLを用いたホームネットワークシステムにおける連携サービスの安全性検証に関する提案,'' 電子情報通信学会技術報告, vol.NS2006-159, pp.7-12, March 2007.
[2]  閻 奔, 中村 匡秀, リディ ドゥ ブスケ, 松本 健一, ``ホームネットワークシステムにおける家電連携サービスの安全性に関する考察,'' 電子情報通信学会技術報告, vol.IN2006-97, pp.49-54, November 2006.

This site is maintained by webadmin.

PMAN 2.5.4 - Paper MANagement system / (C) 2002-2007, Osamu Mizuno / All rights reserved.