| 2023 | APSEC | A Single-sample Pruning and Clustering Method for Neural Network Verification. | Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong |
| 2022 | APSEC | Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. | Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong |
| 2022 | QRS | Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. | Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong |
| 2020 | TASE | A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features. | Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda |
| 2019 | ICPADS | Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking. | Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin |
| 2019 | TASE | Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration. | Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda |
| 2015 | COMPSAC | Software for Wearable Devices: Challenges and Opportunities. | He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang |
| 2013 | APSEC | Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration. | Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda |
| 2013 | ICCSA | Formalization and Model Checking of SysML State Machine Diagrams by CSP#. | Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda |
| 2013 | ICST | Towards Formal Description of Standards for Automotive Operating Systems. | Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi |
| 2012 | APSEC | On Accelerating SMT-based Bounded Model Checking of HSTM Designs. | Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda |
| 2012 | IPIN | A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems. | Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda |
| 2011 | APSEC | Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking. | Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda |
| 2011 | ICCSA | An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix. | Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda |
| 2010 | ICCSA | An SMT Approach to Bounded Model Checking of Design in State Transition Matrix. | Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe |
| 2007 | IFM | Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |
| 2006 | ICFEM | Induction-Guided Falsification. | Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi |
| 2006 | SEKE | Falsification of OTSs by Searches of Bounded Reachable State Spaces. | Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi |
| 2006 | WEBIST | Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. | Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | APSEC | A Lightweight Integration of Theorem Proving and Model Checking for System Verification. | Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata |
| 2005 | SEKE | Formal Analysis of Workflow Systems with Security Considerations. | Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi |