Weiqiang Kong

According to our database, Weiqiang Kong authored at least 56 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Dual Relaxation Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Yueyuan Qin, Jie Wang, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., August, 2024

2023

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., June, 2023

A Single-sample Pruning and Clustering Method for Neural Network Verification.

Huanzhang Xiong, Gang Hou, Long Zhu, Jie Wang, Weiqiang Kong

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

Detecting Compiler Warning Defects Via Diversity-Guided Program Mutation.

Yixuan Tang, He Jiang, Zhide Zhou, Xiaochen Li, Zhilei Ren, Weiqiang Kong

IEEE Trans. Software Eng., 2022

Detecting Compiler Bugs Via a Deep Learning-Based Framework.

Yixuan Tang, Zhilei Ren, He Jiang, Lei Qiao, Dong Liu, Zhide Zhou, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., 2022

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

An Empirical Comparison Between Tutorials and Crowd Documentation of Application Programming Interface.

Yixuan Tang, Zhilei Ren, He Jiang, Xiao-Chen Li, Weiqiang Kong

J. Comput. Sci. Technol., 2021

SDLV: Verification of Steering Angle Safety for Self-Driving Cars.

Huihui Wu, Deyun Lv, Tengxiang Cui, Gang Hou, Masahiko Watanabe, Weiqiang Kong

Formal Aspects Comput., 2021

2020

Compiler testing: a systematic literature analysis.

Yixuan Tang, Zhilei Ren, Weiqiang Kong, He Jiang

Frontiers Comput. Sci., 2020

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

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

ROSF: Leveraging Information Retrieval and Supervised Learning for Recommending Code Snippets.

He Jiang, Liming Nie, Zeyi Sun, Zhilei Ren, Weiqiang Kong, Tao Zhang, Xiapu Luo

IEEE Trans. Serv. Comput., 2019

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration.

Xiaozhen Zhang, Weiqiang Kong, Jianguo Jiang, Gang Hou, Akira Fukuda

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Non-Deterministic Behavior Analysis for Embedded Software Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Chi Lin

Proceedings of the 25th IEEE International Conference on Parallel and Distributed Systems, 2019

From Local to Global Semantic Clone Detection.

Yuan Yuan, Weiqiang Kong, Gang Hou, Yan Hu, Masahiko Watanabe, Akira Fukuda

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs.

Kun Liu, Xiaozhen Zhang, Weiqiang Kong, Gang Hou, Masahiko Watanabe, Akira Fukuda

Proceedings of the 6th International Conference on Dependable Systems and Their Applications, 2019

Multilevel Permission Extraction in Android Applications for Malware Detection.

Zhen Wang, Kai Li, Yan Hu, Akira Fukuda, Weiqiang Kong

Proceedings of the 2019 International Conference on Computer, 2019

2018

A Survey of Formal Techniques for Hardware/Software Co-verification.

Kun Liu, Weiqiang Kong, Gang Hou, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Analysis of Interrupt Behavior Based on Probabilistic Model Checking.

Gang Hou, Weiqiang Kong, Kuanjiu Zhou, Jie Wang, Xun Cao, Akira Fukuda

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Toward Sustainable Smart Mobility Information Infrastructure Platform - Current Status -.

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

Proceedings of the 7th International Congress on Advanced Applied Informatics, 2018

Method-Level Permission Analysis Based on Static Call Graph of Android Apps.

Yan Hu, Weiqiang Kong, Deng Ding, Jun Yan

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

Verification Model Translation Method toward Behavior Model for CAST.

Takahiro Ando, Bo Wang, Kenji Hisazumi, Weiqiang Kong, Akira Fukuda, Yasutaka Michiura, Keita Sakemi, Michihiro Matsumoto

Proceedings of the 5th International Conference on Dependable Systems and Their Applications, 2018

2017

A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution.

Yan Hu, Weiqiang Kong, Yizhi Ren, Kim-Kwang Raymond Choo

IEEE Access, 2017

Performance Evaluation for Interrupt-Driven Embedded Software Based on EDSPN.

Gang Hou, Kuanjiu Zhou, Tie Qiu, Weiqiang Kong, Mingchu Li

IEEE Access, 2017

2016

Garakabu2: an SMT-based bounded model checker for HSTM designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

J. Inf. Secur. Appl., 2016

Towards Sustainable Information Infrastructure Platform for Smart Mobility - Project Overview.

Akira Fukuda, Kenji Hisazumi, Shigemi Ishida, Tsunenori Mine, Tsuneo Nakanishi, Hiroki Furusho, Shigeaki Tagashira, Yutaka Arakawa, Kunihiko Kaneko, Weiqiang Kong

Proceedings of the 5th IIAI International Congress on Advanced Applied Informatics, 2016

ZipPath: A Simple-But-Useful Path Finder for HSTM Designs in ZIPC.

Weiqiang Kong, Gang Hou, Xiangpei Hu, Yasuhito Arimoto, Masahiko Watanabe, Takahiro Ando, Kenji Hisazumi, Akira Fukuda

Proceedings of the IEEE International Conference on Agents, 2016

2015

Facilitating Multicore Bounded Model Checking with Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Comput. J., 2015

Software for Wearable Devices: Challenges and Opportunities.

He Jiang, Xin Chen, Shuwei Zhang, Xin Zhang, Weiqiang Kong, Tao Zhang

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

2014

Translation rules of SysML state machine diagrams into CSP# toward formal model checking.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Int. J. Web Inf. Syst., 2014

A formal semantics of extended hierarchical state transition matrices using CSP#.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

Formal Aspects Comput., 2014

2013

Towards Formal Description of Standards for Automotive Operating Systems.

Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda, Toshiaki Aoki, Kokichi Futatsugi

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Formalization and Model Checking of SysML State Machine Diagrams by CSP#.

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi, Akira Fukuda

Proceedings of the Computational Science and Its Applications - ICCSA 2013, 2013

Harnessing SMT-Based Bounded Model Checking through Stateless Explicit-State Exploration.

Weiqiang Kong, Leyuan Liu, Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Formal semantics of extended hierarchical state transition matrix by CSP.

Yoriyuki Yamagata, Weiqiang Kong, Akira Fukuda, Nguyen Van Tang, Hitoshi Ohsaki, Kenji Taguchi

ACM SIGSOFT Softw. Eng. Notes, 2012

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

Proceedings of the 2012 International Conference on Indoor Positioning and Indoor Navigation, 2012

On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

Weiqiang Kong, Leyuan Liu, Yoriyuki Yamagata, Kenji Taguchi, Hitoshi Ohsaki, Akira Fukuda

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Formal Verification of Communicating HSTM Designs.

Leyuan Liu, Weiqiang Kong, Shijie Zhou, Zhiguang Qin, Akira Fukuda

Proceedings of the 12th IEEE International Conference on Computer and Information Technology, 2012

2011

An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix.

Weiqiang Kong, Tomohiro Shiraishi, Noriyuki Katahira, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

IEICE Trans. Inf. Syst., 2011

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

Proceedings of the International Conference on Computational Science and Its Applications, 2011

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

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Towards Reliable E-Government Systems with the OTS/CafeOBJ Method.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2010

Model Checking of Software Design in State Transition Matrix.

Tomohiro Shiraishi, Weiqiang Kong, Yuki Mizushima, Noriyuki Katahira, Michihiro Matsumoto, Masahiko Watanabe, Tetsuro Katayama, Akira Fukuda

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

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

Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010

2008

A Specification Translation from Behavioral Specifications to Rewrite Specifications.

Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

IEICE Trans. Inf. Syst., 2008

Trace anonymity in the OTS/CafeOBJ method.

Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi

Proceedings of 8th IEEE International Conference on Computer and Information Technology, 2008

2007

From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ.

Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi

Inf. Media Technol., 2007

Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Int. J. Softw. Eng. Knowl. Eng., 2007

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Formal support for e-government system design with transparency consideration.

Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi

Proceedings of the 1st International Conference on Theory and Practice of Electronic Governance, 2007

2006

Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management.

Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata

Proceedings of the WEBIST 2006, 2006

Falsification of OTSs by Searches of Bounded Reachable State Spaces.

Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi

Proceedings of the Eighteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2006), 2006

Induction-Guided Falsification.

Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi

Proceedings of the Formal Methods and Software Engineering, 2006

2005

Formal Analysis of Workflow Systems with Security Considerations.

Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi

Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), 2005

A Lightweight Integration of Theorem Proving and Model Checking for System Verification.

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol.

Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi

Proceedings of the 2004 International Conference on Computer and Information Technology (CIT 2004), 2004