Weiqiang Kong
Weiqiang Kong
Verified email at qito.kyushu-u.ac.jp - Homepage
Title
Cited by
Cited by
Year
Rosf: Leveraging information retrieval and supervised learning for recommending code snippets
H Jiang, L Nie, Z Sun, Z Ren, W Kong, T Zhang, X Luo
IEEE Transactions on Services Computing 12 (1), 34-46, 2016
382016
Software for wearable devices: Challenges and opportunities
H Jiang, X Chen, S Zhang, X Zhang, W Kong, T Zhang
2015 IEEE 39th Annual Computer Software and Applications Conference 3, 592-597, 2015
382015
A lightweight integration of theorem proving and model checking for system verification
W Kong, K Ogata, T Seino, K Futatsugi
12th Asia-Pacific Software Engineering Conference (APSEC'05), 8 pp., 2005
372005
Induction-guided falsification
K Ogata, M Nakano, W Kong, K Futatsugi
International Conference on Formal Engineering Methods, 114-131, 2006
222006
Algebraic approaches to formal analysis of the mondex electronic purse system
W Kong, K Ogata, K Futatsugi
International Conference on Integrated Formal Methods, 393-412, 2007
202007
An smt-based approach to bounded model checking of designs in state transition matrix
W Kong, T Shiraishi, N Katahira, M Watanabe, T Katayama, A Fukuda
IEICE transactions on information and systems 94 (5), 946-957, 2011
182011
A specification translation from behavioral specifications to rewrite specifications
M Nakamura, W Kong, K Ogata, K Futatsugi
IEICE transactions on information and systems 91 (5), 1492-1503, 2008
172008
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
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
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
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
Towards reliable e-government systems with the OTS/CafeOBJ method
W Kong, K Ogata, K Futatsugi
IEICE TRANSACTIONS on Information and Systems 93 (5), 974-984, 2010
112010
Specification and verification of workflows with RBAC mechanism and SoD constraints
W Kong, K Ogata, K Futatsugi
International Journal of Software Engineering and Knowledge Engineering 17 …, 2007
92007
On accelerating smt-based bounded model checking of hstm designs
W Kong, L Liu, Y Yamagata, K Taguchi, H Ohsaki, A Fukuda
2012 19th Asia-Pacific Software Engineering Conference 1, 614-623, 2012
82012
An SMT-based approach to bounded model checking of designs in communicating state transition matrix
W Kong, N Katahira, W Qian, M Watanabe, T Katayama, A Fukuda
2011 International Conference on Computational Science and Its Applications …, 2011
82011
Multilevel Permission Extraction in Android Applications for Malware Detection
Z Wang, K Li, Y Hu, A Fukuda, W Kong
2019 International Conference on Computer, Information and Telecommunication …, 2019
72019
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
A formal semantics of extended hierarchical state transition matrices using CSP
Y Yamagata, W Kong, A Fukuda, N Van Tang, H Ohsaki, K Taguchi
Formal Aspects of Computing 26 (5), 943-962, 2014
72014
An SMT-based accurate algorithm for the K-coverage problem in sensor network
W Kong, M Li, L Han, A Fukuda
8th International Conference on Mobile Ubiquitous Computing, Systems …, 2014
72014
The system can't perform the operation now. Try again later.
Articles 1–20