Weiqiang Kong

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 31

Top Topics

Formal Verification

Embedded Software

Malware Detection

Top Venues

Publications

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking. Int. J. Softw. Eng. Knowl. Eng. 33 (6) (2023)
Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong
A Single-sample Pruning and Clustering Method for Neural Network Verification. APSEC (2023)
Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong
Detecting Compiler Bugs Via a Deep Learning-Based Framework. Int. J. Softw. Eng. Knowl. Eng. 32 (5) (2022)
Yixuan Tang, He Jiang, Zhide Zhou, Xiaochen Li, Zhilei Ren, Weiqiang Kong
Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation. IEEE Trans. Software Eng. 48 (11) (2022)
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. APSEC (2022)
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. QRS (2022)
Yixuan Tang, Zhilei Ren, He Jiang, Xiao-Chen Li, Weiqiang Kong
An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface. J. Comput. Sci. Technol. 36 (4) (2021)
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
SDLV: Verification of Steering Angle Safety for Self-Driving Cars. Formal Aspects Comput. 33 (3) (2021)
Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang
Compiler testing: a systematic literature analysis. Frontiers Comput. Sci. 14 (1) (2020)
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. TASE (2020)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. ICPADS (2019)
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
From Local to Global Semantic Clone Detection. DSA (2019)
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs. DSA (2019)
Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. TASE (2019)
Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong
Multilevel Permission Extraction in Android Applications for Malware Detection. CITS (2019)
He Jiang, Liming Nie, Zeyi Sun, Zhilei Ren, Weiqiang Kong, Tao Zhang, Xiapu Luo
ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets. IEEE Trans. Serv. Comput. 12 (1) (2019)
Akira Fukuda, Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -. IIAI-AAI (2018)
Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang
Compiler Testing: A Systematic Literature Analysis. CoRR (2018)
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
Analysis of Interrupt Behavior Based on Probabilistic Model Checking. IIAI-AAI (2018)
Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
A Survey of Formal Techniques for Hardware/Software Co-verification. IIAI-AAI (2018)
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
Verification Model Translation Method toward Behavior Model for CAST. DSA (2018)
Yan Hu, Weiqiang Kong, Deng Ding, Jun Yan
Method-Level Permission Analysis Based on Static Call Graph of Android Apps. DSA (2018)
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN. IEEE Access 5 (2017)
He Jiang, Liming Nie, Zeyi Sun, Zhilei Ren, Weiqiang Kong, Tao Zhang, Xiapu Luo
ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets. CoRR (2017)
Yan Hu, Weiqiang Kong, Yizhi Ren, Kim-Kwang Raymond Choo
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution. IEEE Access 5 (2017)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC. J. Inf. Secur. Appl. 31 (2016)
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC. ICA (2016)
Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview. IIAI-AAI (2016)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration. Comput. J. 58 (11) (2015)
He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
Software for Wearable Devices: Challenges and Opportunities. CoRR (2015)
He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
Software for Wearable Devices: Challenges and Opportunities. COMPSAC Workshops (2015)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Translation rules of SysML state machine diagrams into CSP# toward formal model checking. Int. J. Web Inf. Syst. 10 (2) (2014)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
A formal semantics of extended hierarchical state transition matrices using CSP#. Formal Aspects Comput. 26 (5) (2014)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. APSEC (1) (2013)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
Formalization and Model Checking of SysML State Machine Diagrams by CSP#. ICCSA (3) (2013)
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops (2013)
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
Formal semantics of extended hierarchical state transition matrix by CSP. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
On Accelerating SMT-based Bounded Model Checking of HSTM Designs. APSEC (2012)
Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. IPIN (2012)
Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda
Formal Verification of Communicating HSTM Designs. CIT (2012)
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. ICCSA Workshops (2011)
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. APSEC (2011)
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix. IEICE Trans. Inf. Syst. (5) (2011)
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Trans. Inf. Syst. (5) (2010)
Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. ICCSA Workshops (2010)
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
Model Checking of Software Design in State Transition Matrix. Software Engineering Research and Practice (2010)
Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi
Trace anonymity in the OTS/CafeOBJ method. CIT (2008)
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
A Specification Translation from Behavioral Specifications to Rewrite Specifications. IEICE Trans. Inf. Syst. (5) (2008)
Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi
Formal support for e-government system design with transparency consideration. ICEGOV (2007)
Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ. Inf. Media Technol. 2 (2) (2007)
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM (2007)
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. Int. J. Softw. Eng. Knowl. Eng. 17 (1) (2007)
Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE (2006)
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
Induction-Guided Falsification. ICFEM (2006)
Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) (2006)
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
Formal Analysis of Workflow Systems with Security Considerations. SEKE (2005)
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC (2005)
Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT (2004)