Kenji Hisazumi
Kenji Hisazumi
Verified email at shibaura-it.ac.jp - Homepage
Title
Cited by
Cited by
Year
Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals.
T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda
PSC, 47-53, 2005
372005
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
322005
clooca: Web based tool for Domain Specific Modeling.
S Hiya, K Hisazumi, A Fukuda, T Nakanishi
Demos/Posters/StudentResearch@ MoDELS, 31-35, 2013
272013
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
172012
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
Proc. ICESIT 2010 (1), 1-6, 2010
172010
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
162015
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 International Workshop on Context-Oriented …, 2015
162015
Formalization and model checking of sysml state machine diagrams by csp
T Ando, H Yatsu, W Kong, K Hisazumi, A Fukuda
International Conference on Computational Science and Its Applications, 114-127, 2013
142013
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
142013
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
142011
Campus: A context-aware middleware
K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda
The 2nd CREST Workshop on Advanced Computing and Communicating Techniques …, 2003
142003
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
132016
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
122015
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
112015
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, 2014
112014
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
102011
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
102010
UDSS: Sensor device for context awareness in home network
T Matsuura, K Hisazumi, T Kitasuka, T Nakanishi, A Fukuda
2007 Fourth International Conference on Networked Sensing Systems, 196-200, 2007
92007
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
72016
Establishing traceability between requirements, design and operation information in lifecycle-oriented architecture
S Ishibashi, K Hisazumi, T Nakanishi, A Fukuda
2016 5th IIAI International Congress on Advanced Applied Informatics (IIAI …, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–20