Kenji Hisazumi
Kenji Hisazumi
Verified email at - Homepage
Cited by
Cited by
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
PSC, 47-53, 2005
clooca: Web based tool for Domain Specific Modeling.
S Hiya, K Hisazumi, A Fukuda, T Nakanishi
MoDELS (Demos/Posters/StudentResearch), 31-35, 2013
WiPS: Location and motion sensing technique of IEEE 802.11 devices
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
Third International Conference on Information Technology and Applications …, 2005
A software update scheme by airwaves for automotive equipment
T Nakanishi, HH Shih, K Hisazumi, A Fukuda
2013 International Conference on Informatics, Electronics and Vision (ICIEV …, 2013
Data gathering system for recommender system in tourism
G Hirakawa, G Satoh, K Hisazumi, Y Shibata
2015 18th International Conference on Network-Based Information Systems, 521-525, 2015
Facilitating multicore bounded model checking with stateless explicit-state exploration
W Kong, L Liu, T Ando, H Yatsu, K Hisazumi, A Fukuda
The Computer Journal 58 (11), 2824-2840, 2015
Formalization and model checking of sysml state machine diagrams by csp#
T Ando, H Yatsu, W Kong, K Hisazumi, A Fukuda
Computational Science and Its Applications–ICCSA 2013: 13th International …, 2013
Development of a modeling education program for novices using model-driven development
S Akayama, S Kuboaki, K Hisazumi, T Futagami, T Kitasuka
Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education …, 2012
A run-time power analysis method using OS-observable parameters for mobile terminals
Y Kaneda, T Okuhira, T Ishihara, K Hisazumi, T Kamiyama, M Katagiri
International Conference on Embedded Systems and Intelligent Technology 2010 …, 2010
Towards sustainable information infrastructure platform for smart mobility-project overview
A Fukuda, K Hisazumi, S Ishida, T Mine, T Nakanishi, H Furusho, ...
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI …, 2016
A study of context-oriented programming for applying to robot development
H Watanabe, M Sugaya, I Tanigawa, N Ogura, K Hisazumi
Proceedings of the 7th ACM International Workshop on Context-Oriented …, 2015
Formal verification of software designs in hierarchical state transition matrix with SMT-based bounded model checking
W Kong, N Katahira, M Watanabe, T Katayama, K Hisazumi, A Fukuda
2011 18th Asia-Pacific Software Engineering Conference, 81-88, 2011
Small inexpensive core asset construction for large gainful product line development: Developing a communication system firmware product line
J Otsuka, K Kawarabata, T Iwasaki, M Uchiba, T Nakanishi, K Hisazumi
Proceedings of the 15th International Software Product Line Conference …, 2011
Campus: A context-aware middleware
K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
The 2nd CREST Workshop on Advanced Computing and Communicating Techniques …, 2003
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC
W Kong, G Hou, X Hu, T Ando, K Hisazumi, A Fukuda
Journal of information security and applications 31, 61-74, 2016
A structure of ac# framework ContextCS based on context-oriented programming
I Tanigawa, N Ogura, M Sugaya, H Watanabe, K Hisazumi
Companion Proceedings of the 14th International Conference on Modularity, 21-22, 2015
Translation rules of SysML state machine diagrams into CSP# toward formal model checking
T Ando, H Yatsu, W Kong, K Hisazumi, A Fukuda
International Journal of Web Information Systems 10 (2), 151-169, 2014
An Experience Report of Introducing Product Line Engineering across the Board.
T Iwasaki, M Uchiba, J Otsuka, K Hachiya, T Nakanishi, K Hisazumi, ...
SPLC Workshops, 255-258, 2010
A Framework to Manage Uncertainty in System Development
T Nakanishi, L Ma, K Hisazumi, A Fukuda
IPSJ SIG Notes 2014 (6), 6, 2014
RTCop: Context-oriented programming framework based on C++ for application in embedded software
I Tanigawa, K Hisazumi, N Ogura, M Sugaya, H Watanabe, A Fukuda
Proceedings of the 2nd International Conference on Information Science and …, 2019
The system can't perform the operation now. Try again later.
Articles 1–20