• 164 引用
  • 7 h指数
20022020

年単位の研究成果

Pureに変更を加えた場合、すぐここに表示されます。

研究成果

フィルター
Article
Article

A model transformation method for evaluation of non-functional requirements of an embedded system architecture

Kawahara, R., Ono, K., Nakada, T., Okabayashi, H., Kenji, H., Nakanishi, T., Fukuda, A., Sakamoto, Y. & Nagano, T., 2 1 2013, : : Computer Software. 30, 1, p. 203-210 8 p.

研究成果: Contribution to journalArticle

Applying domain specific modeling for environmental sensing using wireless sensor network

Fajar, M., Kenji, H., Nakanishi, T. & Fukuda, A., 12 1 2011, : : Asian Journal of Information Technology. 10, 7, p. 296-305 10 p.

研究成果: Contribution to journalArticle

1 引用 (Scopus)
公開

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Kong, W., Liu, L., Ando, T., Yatsu, H., Hisazumi, K. & Fukuda, A., 8 11 2014, : : Computer Journal. 58, 11, p. 2824-2840 17 p.

研究成果: Contribution to journalArticle

7 引用 (Scopus)

FRM Model: An asset representation for software product lines

Hattori, Y., Hirakawa, G., Ashihara, S., Nakanishi, T., Hisazumi, K. & Fukuda, A., 3 1 2010, : : Research Reports on Information Science and Electrical Engineering of Kyushu University. 15, 1, p. 37-42 6 p.

研究成果: Contribution to journalArticle

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC

Kong, W., Hou, G., Hu, X., Ando, T., Hisazumi, K. & Fukuda, A., 12 1 2016, : : Journal of Information Security and Applications. 31, p. 61-74 14 p.

研究成果: Contribution to journalArticle

4 引用 (Scopus)

Object-oriented context description for movie based context-aware language learning

Hazriani, Nakanishi, T., Hisazumi, K. & Fukuda, A., 2018, : : International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.

研究成果: Contribution to journalArticle

Power Consumption Profiling Method Based on Android Application Usage

Furusho, H., Kenji, H., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., 1 1 2015, : : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.

研究成果: Contribution to journalArticle

Power Consumption Profiling Method Based on Android Application Usage

Furusho, H., Hisazumi, K., Kamiyama, T., Inamura, H., Nakanishi, T. & Fukuda, A., 2015, : : Lecture Notes in Electrical Engineering. 339, p. 891-898 8 p.

研究成果: Contribution to journalArticle

3 引用 (Scopus)

SMArch: スマートモビリティのためのソフトウェアアーキテクチャ

中西恒夫, 荒川豊, 安藤崇央, 石田繁巳, 金子邦彦, 田頭茂明, 久住憲嗣, 峯恒憲 & 福田晃, 3 10 2020, : : IEICE technical report. 119, 472, p. 13-18 6 p.

研究成果: Contribution to journalArticle

SMArch: スマートモビリティのためのソフトウェアアーキテクチャ (ITS研究会 通信,計測,ITS関連一般)

中西恒夫, 荒川豊, 安藤崇央, 石田繁巳, 金子邦彦, 田頭茂明, 久住憲嗣, 峯恒憲 & 福田晃, 3 10 2020, : : 電気学会研究会資料. SA, 静止器研究会. 2020, 1, p. 13-18 6 p.

研究成果: Contribution to journalArticle

Translation rules of SysML state machine diagrams into CSP# toward formal model checking

Ando, T., Yatsu, H., Kong, W., Kenji, H. & Fukuda, A., 6 1 2014, : : International Journal of Web Information Systems. 10, 2, p. 151-169 19 p.

研究成果: Contribution to journalArticle

5 引用 (Scopus)