Books

  1. 渡辺晴美, 今村誠, 久住憲嗣(編著), 石田繁巳, 大川猛, 小倉信彦, 汐月哲夫, 菅谷みどり, 松浦佐江子, 松原豊, 三輪昌史, 元木誠(著): つながる! 基礎技術 IoT入門 - コンピュータ・ネットワーク・データの基礎から開発まで -, コロナ社, 2020.
  2. Akira Fukuda, Kenji Hisazumi, Tsunenori Mine, Shigemi Ishida, Takahiro Ando, Shota Ishibashi, Shigeaki Tagashira, Kunihiko Kaneko, Yutaka Arakawa, Weiqiang Kong, and Guoqiang Li：Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview， Springer, Vol.742(New Trends in E-Service and Smart Computing(Eds, Tokuro Matsuo et al)), pp.35-46, Springer, January, 2018.
  3. Shota Ishibashi, Kenji Hisazumi, Tsuneo Nakanishi, and Akira Fukuda: Model-Based Methodology Establishing Traceability Between Requirements, Design and Operation Information in Lifecycle-Oriented Architecture, Springer, Vol.742(New Trends in E-Service and Smart Computing (Eds, Tokuro Matsuo et al)), pp.47-63, Springer, January, 2018.
  4. Wayne Wolf(著), 中西恒夫, 北須賀輝明, 久住憲嗣, 室山真徳, 田頭茂明(訳): 組込みシステム設計の基礎, 日経BP社, 2009.

Journals

  1. Nuren Abedin, MdMahmudur Rahman, MuhammadI. Hossain, Kenji Hisazumi, Ashir Ahmed: Travel Behavior of SME Employees in Their Work Commute in Emerging Cities: A Case Study in Dhaka City, Bangladesh, Sustainability, Vol. 12, No. 24: 10337, pp.1--16, 2020.
  2. Mehdi Hasan, Ahmed Ahmed, Fumihiko Yokota, Rafiqul Islam, Kenji Hisazumi, Akira Fukuda: A predictive model for height tracking in an adult male population in bangladesh to reduce input errors, International journal of environmental research and public health, Vol. 17, No. 5, pp.13, 2020.
  3. 谷川郁太, 久住憲嗣, 小倉信彦, 菅谷みどり, 渡辺晴美, 福田晃: RTCOP:組込みソフトウェア開発への適用を考慮したC++ベースのコンテキスト指向プログラミングフレームワーク, 情報処理学会論文誌 組込みシステム工学特集号, Vol. 6, No. 8, pp.1338--1349, 2019.
  4. Hazriani, Tsuneo Nakanishi, Kenji Hisazumi, Akira Fukuda: Object-Oriented Context Description for Movie Based Context-Aware Language Learning, International Journal of Advanced Computer Science and Applications (IJACSA), Vol. 9, No. 4, pp.350--357, 2018.
  5. 神山剛, 久住憲嗣, 稲村浩, 小西哲平, 太田賢, 福田晃: ユーザ利用実態調査に基づくスマートフォン利用モデル, 情報処理学会論文誌コンシューマ・デバイス＆システム, Vol. 8, No. 2, pp.1--18, 2018.
  6. Go Hirakawa, Kenji Hisazumi, Ryoichi Nagatsuji, Tsuneo Nakanishi, Akira Fukuda: A traceability tool for model-based development dealing with uncertainties, International Journal of Advances in Software Engineering & Research Methodology, Vol. 3, 2016.
  7. Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda: Garakabu2: an SMT-based Bounded Model Checker for HSTM Designs in ZIPC, Journal of Information Security and Application, Vol. XXX, No. XXX, Elsevier, 2016.
  8. 渡辺晴美, 三輪昌史, 元木誠, 小倉信彦, 久保秋真, 細合晋太郎, 菅谷みどり, 久住憲嗣: 学会実施のコンテスト型PBLによる組込みシステム教育, 工学教育, Vol. 64, No. 3, 公益社団法人 日本工学教育協会, pp.341--346, 2016.
  9. Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda: Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration, The Computer Journal, Br Computer Soc, 2014.
  10. Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda: Translation rules of SysML state machine diagrams into CSP\# toward formal model checking, International Journal of Web Information Systems, Vol. 10, No. 2, Emerald Group Publishing Limited, pp.151--169, 2014.
  11. 古庄裕貴, 久住憲嗣, 神山剛, 稲村浩, 中西恒夫, 福田晃: Androidアプリケーションの利用情報に基づく消費電力分析手法, 情報処理学会論文誌, Vol. 55, No. 8, 情報処理学会, pp.1807--1816, 2014.
  12. 赤山聖子, 久住憲嗣, 部谷修平, 福田晃: オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討, 情報処理学会論文誌, Vol. 55, No. 1, 情報処理学会, pp.72--84, 2014.
  13. 河原亮, 岡林弘嗣, 久住憲嗣, 小野康一, 中田武男, 坂本佳史, 長野正, 中西恒夫, 福田晃: 組込みシステムのアーキテクチャー検討における性能評価に適したモデル変換手法, コンピュータソフトウェア, Vol. 30, No. 1, pp.1-203--1-210, 2013.
  14. Mohammad Fajar, Kenji Hisazumi, Tsuneo Nakanishi, Akira Fukuda: Applying Domain Specific Modelling for Enviromental Sensing Using Wireless Sensor Network, Asian Journal of Information Technology, Vol. 10, No. 7, Medwell, pp.296--305, 2011.