| Positioning Technique of Wireless LAN Terminals Using RSSI between Terminals. T Kitasuka, K Hisazumi, T Nakanishi, A Fukuda PSC, 47-53, 2005 | 40 | 2005 |
| clooca: Web based tool for Domain Specific Modeling. S Hiya, K Hisazumi, A Fukuda, T Nakanishi MoDELS (Demos/Posters/StudentResearch), 31-35, 2013 | 34 | 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 | 34 | 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 | 27 | 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 | 25 | 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 | 21 | 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 | 21 | 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 | 21 | 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 | 20 | 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 | 19 | 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 | 19 | 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 | 18 | 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 | 16 | 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 | 16 | 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 | 14 | 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 | 14 | 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 | 13 | 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 | 12 | 2010 |
| A Framework to Manage Uncertainty in System Development T Nakanishi, L Ma, K Hisazumi, A Fukuda IPSJ SIG Notes 2014 (6), 6, 2014 | 9 | 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 | 8 | 2019 |
Weiqiang KongKyushu UniversityDirección de correo verificada de qito.kyushu-u.ac.jp
