Weiqiang Kong

67 papers B 2C 13Misc 2Journal 31Unranked 19
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing fast adversarial training: precision-aware initialization with historical perturbation guidance.
Pattern Anal. Appl.
Anjum Iqbal, Weiqiang Kong, Yasir Iqbal
2026 J jnl
Mitigating catastrophic overfitting in fast adversarial training via dynamic polyak weight averaging and gradient norm dual-penalty.
Neurocomputing
Anjum Iqbal, Weiqiang Kong, Yasir Iqbal, Maozhen Zhang, Ijaz Hussain
2026 J jnl
Shifting the Sweet Spot: High-Performance Matrix-Free Method for High-Order Elasticity.
CoRR
Dali Chang, Chong Zhang, Kaiqi Zhang, Mingguan Yang, Huiyuan Li, Weiqiang Kong
2025 J jnl
A transformer-based framework for software vulnerability detection using attention-driven convolutional neural networks.
Eng. Appl. Artif. Intell.
Abdelkarim Smaili, Yanan Zhang, Mekkaoui Djamel Eddine, Mohamed Amine Midoun, Mohamed Zakariya Talhaoui, Hamidaoui Meryem, Weiqiang Kong
2025 J jnl
Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization.
ACM Trans. Softw. Eng. Methodol.
Yuan Zhang, Lei Qu, Yifei Wu, Leihuan Wu, Tingting Yu, Rui Chen, Weiqiang Kong
2025 J jnl
Enhancing fast adversarial training with momentum-driven initialization and max-norm regularization for robust deep learning models.
Vis. Comput.
Anjum Iqbal, Weiqiang Kong, Yasir Iqbal, Umer Sadiq Khan, Shah Fahad Khan, Ijaz Hussain
2025 J jnl
Ethical Principles of Integrating ChatGPT Into IoT-Based Software Wearables: A Fuzzy-TOPSIS Ranking and Analysis Approach.
Int. J. Intell. Syst.
Maseeh Ullah Khan, Muhammad Farhat Ullah, Sabeeh Ullah Khan, Weiqiang Kong
2025 J jnl
Space-Constrained Random Sparse Adversarial Attack.
Neurocomputing
Yueyuan Qin, Gang Hou, Tingting Yu, Bing Gao, Weiqiang Kong, Xiaoshan Liu
2024 J jnl
A Dual Relaxation Method for Neural Network Verification.
Int. J. Softw. Eng. Knowl. Eng.
Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong
2023 C conf
A Single-sample Pruning and Clustering Method for Neural Network Verification.
APSEC
Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong
2023 J jnl
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.
Int. J. Softw. Eng. Knowl. Eng.
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2022 C conf
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.
APSEC
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2022 J jnl
Detecting Compiler Bugs Via a Deep Learning-Based Framework.
Int. J. Softw. Eng. Knowl. Eng.
Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong
2022 J jnl
Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation.
IEEE Trans. Software Eng.
Yixuan Tang, He Jiang, Zhide Zhou, Xiaochen Li, Zhilei Ren, Weiqiang Kong
2022 C conf
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.
QRS
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
2021 J jnl
An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface.
J. Comput. Sci. Technol.
Yixuan Tang, Zhilei Ren, He Jiang, Xiao-Chen Li, Weiqiang Kong
2021 J jnl
SDLV: Verification of Steering Angle Safety for Self-Driving Cars.
Formal Aspects Comput.
Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong
2020 Misc conf
A Multi-Strategy Combination Framework for Android Malware Detection Based on Various Features.
TASE
Zhen Wang, Xiaoning Han, Weiqiang Kong, Yong Piao, Gang Hou, Masahiko Watanabe, Akira Fukuda
2020 J jnl
Compiler testing: a systematic literature analysis.
Frontiers Comput. Sci.
Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang
2019 — conf
From Local to Global Semantic Clone Detection.
DSA
Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda
2019 — conf
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.
DSA
Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda
2019 — conf
Multilevel Permission Extraction in Android Applications for Malware Detection.
CITS
Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong
2019 B conf
Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.
ICPADS
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin
2019 J jnl
ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets.
IEEE Trans. Serv. Comput.
He Jiang, Liming Nie, Zeyi Sun, Zhilei Ren, Weiqiang Kong, Tao Zhang, Xiapu Luo
2019 Misc conf
Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.
TASE
Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda
2018 — conf
A Survey of Formal Techniques for Hardware/Software Co-verification.
IIAI-AAI
Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda
2018 — conf
Analysis of Interrupt Behavior Based on Probabilistic Model Checking.
IIAI-AAI
Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda
2018 J jnl
Compiler Testing: A Systematic Literature Analysis.
CoRR
Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang
2018 — conf
Method-Level Permission Analysis Based on Static Call Graph of Android Apps.
DSA
Yan Hu, Weiqiang Kong, Deng Ding, Jun Yan
2018 — conf
Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.
IIAI-AAI
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
2018 — conf
Verification Model Translation Method toward Behavior Model for CAST.
DSA
Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto
2017 J jnl
A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution.
IEEE Access
Yan Hu, Weiqiang Kong, Yizhi Ren, Kim-Kwang Raymond Choo
2017 J jnl
Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.
IEEE Access
Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li
2017 J jnl
ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets.
CoRR
He Jiang, Liming Nie, Zeyi Sun, Zhilei Ren, Weiqiang Kong, Tao Zhang, Xiapu Luo
2016 J jnl
Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.
J. Inf. Secur. Appl.
Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2016 — conf
Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.
IIAI-AAI
Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong
2016 — conf
ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.
ICA
Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda
2015 J jnl
Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.
Comput. J.
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
2015 — conf
Software for Wearable Devices: Challenges and Opportunities.
COMPSAC Workshops
He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
2015 J jnl
Software for Wearable Devices: Challenges and Opportunities.
CoRR
He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang
2014 J jnl
A formal semantics of extended hierarchical state transition matrices using CSP#.
Formal Aspects Comput.
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2014 J jnl
Translation rules of SysML state machine diagrams into CSP# toward formal model checking.
Int. J. Web Inf. Syst.
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
2013 — conf
Formalization and Model Checking of SysML State Machine Diagrams by CSP#.
ICCSA (3)
Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda
2013 — conf
Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.
APSEC (1)
Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda
2013 — conf
Towards Formal Description of Standards for Automotive Operating Systems.
ICST Workshops
Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi
2012 C conf
A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems.
IPIN
Ming Li, Long Han, Weiqiang Kong, Shigeaki Tagashira, Yutaka Arakawa, Akira Fukuda
2012 C conf
Formal Verification of Communicating HSTM Designs.
CIT
Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda
2012 J jnl
Formal semantics of extended hierarchical state transition matrix by CSP.
ACM SIGSOFT Softw. Eng. Notes
Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi
2012 C conf
On Accelerating SMT-based Bounded Model Checking of HSTM Designs.
APSEC
Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda
2011 — conf
An SMT-Based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix.
ICCSA Workshops
Weiqiang Kong, Noriyuki Katahira, Wanpeng Qian, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011 J jnl
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.
IEICE Trans. Inf. Syst.
Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2011 C conf
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking.
APSEC
Weiqiang Kong, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Kenji Hisazumi, Akira Fukuda
2010 — conf
An SMT Approach to Bounded Model Checking of Design in State Transition Matrix.
ICCSA Workshops
Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, Noriyuki Katahira, Akira Fukuda, Masahiko Watanabe
2010 — conf
Model Checking of Software Design in State Transition Matrix.
Software Engineering Research and Practice
Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda
2010 J jnl
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method.
IEICE Trans. Inf. Syst.
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2008 J jnl
A Specification Translation from Behavioral Specifications to Rewrite Specifications.
IEICE Trans. Inf. Syst.
Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2008 C conf
Trace anonymity in the OTS/CafeOBJ method.
CIT
Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi
2007 B conf
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.
IFM
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2007 — conf
Formal support for e-government system design with transparency consideration.
ICEGOV
Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi
2007 J jnl
From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ.
Inf. Media Technol.
Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
2007 J jnl
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints.
Int. J. Softw. Eng. Knowl. Eng.
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2006 — conf
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management.
WEBIST (2)
Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata
2006 C conf
Falsification of OTSs by Searches of Bounded Reachable State Spaces.
SEKE
Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi
2006 C conf
Induction-Guided Falsification.
ICFEM
Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi
2005 C conf
A Lightweight Integration of Theorem Proving and Model Checking for System Verification.
APSEC
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata
2005 C conf
Formal Analysis of Workflow Systems with Security Considerations.
SEKE
Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
2004 C conf
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.
CIT
Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi