If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

Filter
Article
2018

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

Hazriani, Nakanishi, T., Kenji, H. & Fukuda, A., Jan 1 2018, In : International Journal of Advanced Computer Science and Applications. 9, 4, p. 350-357 8 p.

Research output: Contribution to journalArticle

Processing
2016
3 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Surface mount technology
Temporal logic
Software design
Embedded systems
Engineers
2015
2 Citations (Scopus)

Power Consumption Profiling Method Based on Android Application Usage

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

Research output: Contribution to journalArticle

Electric power utilization
Tuning
Energy utilization
Decision making
2014
6 Citations (Scopus)

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration

Kong, W., Liu, L., Ando, T., Yatsu, H., Kenji, H. & Fukuda, A., Jan 1 2014, In : Computer Journal. 58, 11, p. 2824-2840 17 p.

Research output: Contribution to journalArticle

Model checking
Temporal logic
Surface mount technology
Scalability
Systems analysis
5 Citations (Scopus)

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

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

Research output: Contribution to journalArticle

Model checking
Modeling languages
2013

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., Feb 2013, In : Computer Software. 30, 1, p. 203-210 8 p.

Research output: Contribution to journalArticle

Embedded systems
Costs
2011
1 Citation (Scopus)

Applying domain specific modeling for environmental sensing using wireless sensor network

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

Research output: Contribution to journalArticle

sensor
modeling
automation
communication
software
2010

FRM Model: An asset representation for software product lines

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

Research output: Contribution to journalArticle

Specifications
Software engineering