| Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda PSC, 47-53, 2005 | 31 | 2005 |
| 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 | 26 | 2005 |
| clooca: Web based tool for Domain Specific Modeling. S Hiya, K Hisazumi, A Fukuda, T Nakanishi Demos/Posters/StudentResearch@ MoDELS, 31-35, 2013 | 22 | 2013 |
| 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 | 15 | 2010 |
| Development of a modeling education program for novices using model-driven development S Akayama, S Kuboaki, H Kenji, T Futagami, T Kitasuka 2012 Workshop on Embedded and Cyber-Physical Systems Education, WESE 2012, 4, 2013 | 13 | 2013 |
| CAMPUS: A context-aware middleware K Hisazumi, T Nakanishi, T Kitasuka, A Fukuda The 2nd CREST Workshop on Advanced Computing and Communicating Techniques …, 2003 | 13 | 2003 |
| 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 | 9 | 2016 |
| 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 | 9 | 2013 |
| 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 | 9 | 2011 |
| 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 | 8 | 2013 |
| 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 | 8 | 2010 |
| 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 | 8 | 2007 |
| 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 | 7 | 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, 2014 | 7 | 2014 |
| 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 | 7 | 2014 |
| 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 | 6 | 2016 |
| 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 | 6 | 2015 |
| 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 Programming, 4, 2015 | 6 | 2015 |
| 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 | 6 | 2011 |
| A Framework to Manage Uncertainty in System Development T Nakanishi, L Ma, K Hisazumi, A Fukuda IPSJ SIG Notes 2014 (6), 6, 2014 | 5 | 2014 |
Weiqiang KongKyushu University確認したメール アドレス: qito.kyushu-u.ac.jp