Guoqiang Li

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 93

Top Venues

Publications

Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs. CoRR (2024)
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs. CoRR (2024)
Hongming Liu, Guoqiang Li
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. TASE (2024)
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. CoRR (2023)
Jingyang Li, Guoqiang Li
HOBAT: Batch Verification for Homogeneous Structural Neural Networks. ASE (2023)
Saharat Saengsawang, Guoqiang Li
Theoretical analysis of norm selection for robustness verification of neural networks. Phys. Commun. 58 (2023)
Yun Zhang, Qianqian Duan, Guoqiang Li, Jianzhen Wu
Robustness quantification method for network intrusion detection models. Phys. Commun. 58 (2023)
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. PRDC (2023)
Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR (2023)
Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. COLING (2022)
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li
Scalable linear invariant generation with Farkas' lemma. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li
WeAnimate: Motion-coherent animation generation from video data. Multim. Tools Appl. 81 (15) (2022)
Xing Hu, Chun Xie, Zhe Fan, Qianqian Duan, Dawei Zhang, Linhua Jiang, Xian Wei, Danfeng Hong, Guoqiang Li, Xinhua Zeng, Wenming Chen, Dongfang Wu, Jocelyn Chanussot
Hyperspectral Anomaly Detection Using Deep Learning: A Review. Remote. Sens. 14 (9) (2022)
Yun Zhang, Guoqiang Li, Qianqian Duan, Jianzhen Wu
An interpretable intrusion detection method based on few-shot learning in cloud-ground interconnection. Phys. Commun. 55 (2022)
Xing Hu, Zhe Fan, Linhua Jiang, Jiawei Xu, Guoqiang Li, Wenming Chen, Xinhua Zeng, Genke Yang, Dawei Zhang
TOP-ALCM: A novel video analysis method for violence detection in crowded scenes. Inf. Sci. 606 (2022)
Tongyao Jia, Jiafeng Li, Li Zhuo, Guoqiang Li
Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor Industrial Systems. IEEE Trans. Ind. Informatics 18 (3) (2022)
Qunhao Sha, Qizhe Yang, Guoqiang Li
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. TASE (2021)
Chunyan Mu, Guoqiang Li
Integrating Information Flow Analysis in Unifying Theories of Programming. PRDC (2021)
Junfang Jia, Valeriia Tumanian, Guoqiang Li
In favour of or against multi-lingual Q&A sites? Exploring the evidence from user and knowledge perspectives. Behav. Inf. Technol. 40 (13) (2021)
Suyu Ma, Zhenchang Xing, Chunyang Chen, Cheng Chen, Lizhen Qu, Guoqiang Li
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning. IEEE Trans. Software Eng. 47 (10) (2021)
Junfang Jia, Valeriia Tumanian, Guoqiang Li
Discovering semantically related technical terms and web resources in Q&A discussions. Frontiers Inf. Technol. Electron. Eng. 22 (7) (2021)
Junfang Jia, Guoqiang Li
Learning natural ordering of tags in domain-specific Q&A sites. Frontiers Inf. Technol. Electron. Eng. 22 (2) (2021)
Aijuan Qian, Chenlu Li, Xiaoju Dong, Shengtao Chen, Yanling Zhang, Guoqiang Li
SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data. ISPA/BDCloud/SocialCom/SustainCom (2021)
Ruiqi Shi, Chang Liu, Jiang Tao, Guoqiang Li, Kai Xiao, Zhangqian Xie, Jian Wang, Bahram Gharabaghi
Panoramic Radiographic X-Ray Image Tooth Root Segmentation Based on LeNet-5 Networks. AMLTA (2021)
Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond Wong, Shiping Chen
Essence of Factual Knowledge. CoRR (2021)
Xiao Sun, Zhengmeng Pei, Chen Zhang, Guoqiang Li, Jianhua Tao
Design and Analysis of a Human-Machine Interaction System for Researching Human's Dynamic Emotion. IEEE Trans. Syst. Man Cybern. Syst. 51 (10) (2021)
Ying Zhao, Jinhao Tan, Guoqiang Li
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. CoRR (2021)
Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Jingti Han, Naixue Xiong
An Effective Data-Driven Cloud Resource Procurement Scheme With Personalized Reserve Prices. IEEE Trans. Syst. Man Cybern. Syst. 51 (8) (2021)
Qianqian Duan, Daniel Sun, Guoqiang Li, Genke Yang, Weiwu Yan
IoT-Enabled Service for Crude-Oil Production Systems Against Unpredictable Disturbance. IEEE Trans. Serv. Comput. 13 (4) (2020)
Jiafeng Li, Li Zhuo, Hong Zhang, Guoqiang Li, Naixue Xiong
Effective Data-Driven Technology for Efficient Vision-Based Outdoor Industrial Systems. IEEE Trans. Ind. Informatics 16 (7) (2020)
Xing Hu, Guoqiang Li
Temporal Tensor Local Binary Pattern: A Novel Local Tensor Time Series Descriptor. IEEE Trans. Ind. Informatics 16 (10) (2020)
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li
Object detection for graphical user interface: old fashioned or deep learning or a combination? ESEC/SIGSOFT FSE (2020)
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination? CoRR (2020)
Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning. ICSE (2020)
Ruoyu Wang, Daniel Sun, Guoqiang Li
Statistical Detection of Collective Data Fraud. CoRR (2020)
Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen
Pipeline provenance for cloud-based big data analytics. Softw. Pract. Exp. 50 (5) (2020)
Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines. ICSE (2020)
Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning. CoRR (2020)
Ruoyu Wang, Xiaobo Hu, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen, Jianquan Liu
Statistical Detection Of Collective Data Fraud. ICME (2020)
Daniel Sun, Shiping Chen, Guoqiang Li, Yuanyuan Zhang, Muhammad Atif
Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds. ACM Trans. Internet Techn. 19 (3) (2019)
Chengxi Huang, Li Da Xu, Hongming Cai, Guoqiang Li, Jiawei Du, Lihong Jiang
A context-based service matching approach towards functional reliability for industrial systems. Enterp. Inf. Syst. 13 (2) (2019)
Zhong Wang, Daniel Sun, Guangtao Xue, Shiyou Qian, Guoqiang Li, Minglu Li
Ada-Things: An adaptive virtual machine monitoring and migration strategy for internet of things applications. J. Parallel Distributed Comput. 132 (2019)
Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li
ActionNet: vision-based workflow action recognition from programming screencasts. ICSE (2019)
Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li
Object Detection Boosting using Object Attributes in Detect and Describe Framework. ICTAI (2019)
Yifan Yang, Hong Zhang, Ding Yuan, Daniel Sun, Guoqiang Li, Rajiv Ranjan, Mingui Sun
Hierarchical extreme learning machine based image denoising network for visual Internet of Things. Appl. Soft Comput. 74 (2019)
Haitao Zhang, Ayang Tuo, Guoqiang Li
Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. DATE (2019)
Yingying Wang, Guoqiang Li
Detect Triangle Attack on Blockchain by Trace Analysis. QRS Companion (2019)
Hong Zhang, Yifan Yang, Ding Yuan, Daniel Sun, Jun Zhang, Guoqiang Li, Mingui Sun
Video denoising for security and privacy in fog computing. Concurr. Comput. Pract. Exp. 31 (22) (2019)
Daniel Sun, Guoqiang Li, Yuanyuan Zhang, Liming Zhu, Raj Gaire
Statistically managing cloud operations for latency-tail-tolerance in IoT-enabled smart cities. J. Parallel Distributed Comput. 127 (2019)
Shunting Huang, Ling Li, Hongming Cai, Boyi Xu, Guoqiang Li, Lihong Jiang
A Configurable WoT Application Platform Based on Spatiotemporal Semantic Scenarios. IEEE Trans. Syst. Man Cybern. Syst. 49 (1) (2019)
Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. ASE (2019)
Chenxiao Dou, Yi Cui, Daniel Sun, Raymond K. Wong, Muhammad Atif, Guoqiang Li, Rajiv Ranjan
Unsupervised blocking and probabilistic parallelisation for record matching of distributed big data. J. Supercomput. 75 (2) (2019)
Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. SOFL+MSVL (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)
Yue Ding, Dong Wang, Xin Xin, Guoqiang Li, Daniel Sun, Xuezhi Zeng, Rajiv Ranjan
SCFM: Social and crowdsourcing factorization machines for recommendation. Appl. Soft Comput. 66 (2018)
Qi Zhao, Boxue Zhang, Shuchang Lyu, Hong Zhang, Daniel Sun, Guoqiang Li, Wenquan Feng
A CNN-SIFT Hybrid Pedestrian Navigation Method Based on First-Person Vision. Remote. Sens. 10 (8) (2018)
Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
An efficient approach for verifying automobile distributed application systems on timing property. ICSE (Companion Volume) (2018)
Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. Softw. Test. Verification Reliab. 28 (3) (2018)
Qingbo Zhang, Wei Lu, Ruxin Wang, Guoqiang Li
Digital image splicing detection based on Markov features in block DWT domain. Multim. Tools Appl. 77 (23) (2018)
Guoqiang Li, Li Liu, Akira Fukuda
Asynchronous multi-process timed automata. Softw. Qual. J. 26 (3) (2018)
Ruoyu Wang, Guoqiang Li, Jianwen Xiang, Hongming Cai
A customised automata algorithm and toolkit for language learning and application. Int. J. Big Data Intell. 5 (1/2) (2018)
Guoqiang Li, Yunqing Wen, Shoji Yuen
Updatable timed automata with one updatable clock. Sci. China Inf. Sci. 61 (1) (2018)
Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen
Examine Manipulated Datasets with Topology Data Analysis: A Case Study. ICICS (2018)
Xiao Sun, Chen Zhang, Guoqiang Li, Daniel Sun, Fuji Ren, Albert Y. Zomaya, Rajiv Ranjan
Detecting users' anomalous emotion using social media for business intelligence. J. Comput. Sci. 25 (2018)
Daniel Sun, Alan D. Fekete, Vincent Gramoli, Guoqiang Li, Xiwei Xu, Liming Zhu
C: Robust Rolling-Upgrade in Clouds. IEEE Trans. Dependable Secur. Comput. 15 (5) (2018)
Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li
Data-Driven Proactive Policy Assurance of Post Quality in Community q&a Sites. Proc. ACM Hum. Comput. Interact. 2 (CSCW) (2018)
Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA (2018)
Jixian Li, Wei Lu, Jian Weng, Yijun Mao, Guoqiang Li
Double JPEG compression detection based on block statistics. Multim. Tools Appl. 77 (24) (2018)
Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li
Evaluation of redundancy-based system: a model checking approach. Sci. China Inf. Sci. 61 (6) (2018)
Lifei Lu, Lida Xu, Boyi Xu, Guoqiang Li, Hongming Cai
Fog Computing Approach for Music Cognition System Based on Machine Learning Algorithm. IEEE Trans. Comput. Soc. Syst. 5 (4) (2018)
Min Gao, Ruoyu Wang, Daniel Sun, Guoqiang Li
Intelligent Healthcare Knowledge Resources in Chinese: A Survey. I-SPAN (2018)
Jin Luo, Ruoyu Wang, Daniel Sun, Yingying Wang, Guoqiang Li
Comparison among Four Prominent Text Processing Tools. I-SPAN (2018)
Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. Sci. China Inf. Sci. 61 (5) (2018)
Yue Ding, Dong Wang, Guoqiang Li, Daniel Sun, Xin Xin, Shiyou Qian
Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation. Softw. Pract. Exp. 47 (6) (2017)
Haitao Zhang, Guoqiang Li, Daniel Sun, Yonggang Lu, Ching-Hsien Hsu
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler. J. Syst. Archit. 81 (2017)
Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong
Active Learning with Density-Initialized Decision Tree for Record Matching. SSDBM (2017)
Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
Nested Timed Automata with Diagonal Constraints. ICFEM (2017)
Xiuting Tao, Guoqiang Li
The Complexity of Linear-Time Temporal Logic Model Repair. SOFL+MSVL (2017)
Cheng Xie, Guoqiang Li, Hongming Cai, Lihong Jiang, Neal N. Xiong
Dynamic Weight-Based Individual Similarity Calculation for Information Searching in Social Computing. IEEE Syst. J. 11 (1) (2017)
Junli Yang, Bo Song, Bing Yan, Guoqiang Li
A Novel Hidden Markov Model for Genome-Wide Association Studies. QRS Companion (2017)
Congcong Ye, Chun Li, Guoqiang Li, Lihong Jiang, Hongming Cai
A Behavior Analysis Method Towards Product Quality Management. CONFENIS (2017)
Yuwei Wang, Guoqiang Li, Shoji Yuen
Nested Timed Automata with Invariants. SETTA (2017)
Xiuting Tao, Guoqiang Li, Daniel Sun, Hongming Cai
A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds. Future Gener. Comput. Syst. 76 (2017)
Yi Cui, Guoqiang Li, Hao Cheng, Daoyuan Wang
Indexing for Large Scale Data Querying Based on Spark SQL. ICEBE (2017)
Yuwei Wang, Xiuting Tao, Guoqiang Li
On Termination and Boundedness of Nested Updatable Timed Automata. SOFL+MSVL (2016)
Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Prem Prakash Jayaraman, Daniel Sun, Rajiv Ranjan, Albert Y. Zomaya, Jingti Han
An online greedy allocation of VMs with non-increasing reservations in clouds. J. Supercomput. 72 (2) (2016)
Ruoyu Wang, Guoqiang Li, Daniel W. Sun, Jianwen Xiang, Hongming Cai
CAT: A Customized Automata Toolkit. QRS Companion (2016)
Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS (2016)
Yonggen Gu, Jie Tao, Guoqiang Li, Daniel W. Sun, Xiaohong Wu, Prem Prakash Jayaraman, Rajiv Ranjan
A preemptive truthful VMs allocation online mechanism in private cloud. J. Comput. Sci. 17 (2016)
Ruoyu Wang, Daniel Sun, Guoqiang Li, Muhammad Atif, Surya Nepal
LogProv: Logging events as provenance of big data analytics pipelines with trustworthiness. IEEE BigData (2016)
Chenxiao Dou, Daniel Sun, Yi-Cheng Chen, Guoqiang Li, Jianquan Liu
Probabilistic parallelisation of blocking non-matched records for big data. IEEE BigData (2016)
Daniel Sun, Min Fu, Liming Zhu, Guoqiang Li, Qinghua Lu
Non-Intrusive Anomaly Detection With Streaming Performance Metrics and Logs for DevOps in Public Clouds: A Case Study in AWS. IEEE Trans. Emerg. Top. Comput. 4 (2) (2016)
Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. SETTA (2016)
Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
Nested Timed Automata with Frozen Clocks. FORMATS (2015)
Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. QRS Companion (2015)
Yunqing Wen, Guoqiang Li, Shoji Yuen
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. SOFL+MSVL (2015)
Lichao Wang, Guoqiang Li, Zhenjiang Hu
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58 (11) (2015)
Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu
Toward SIL Evaluation for a Resilience Strategy. ISSRE Workshops (2014)
Xiaohong Wu, Yonggen Gu, Guoqiang Li, Jie Tao, Jingyu Chen, Xiaolong Ma
Online Mechanism Design for VMs Allocation in Private Cloud. NPC (2014)
Yunqing Wen, Guoqiang Li, Shoji Yuen
An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL (2014)

Guoqiang Li.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Guoqiang Li