Formal verification | Programming language theory | Knowledge reasoning and verification | Intelligent system verification and security | Data analytics and machine intelligence | Others

Formal verification

  • Guoqiang Li*, Qizhe Yang, Jinhao Tan, Ying Zhao. BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. Formal Aspects of Computing, accepted

  • 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. In Proceedings of the 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'24), LNCS 15469, 102-121, 2024

  • Jingyang Li, Guoqiang Li*. HOBAT: Batch Verification for Homogeneous Structural Neural Networks. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE'23), 1276-1287, 2023

  • Jinhao Tan, Guoqiang Li*. Bounded Model Checking Liveness on Basic Parallel Processes. Journal of Software (in Chinese), Vol. 31(8), 2388-2403, 2020

  • Rujiang Ding, Guoqiang Li*. An Efficient Implementation of Coverability Verification on Communication-free Petri Net. Journal of Software (in Chinese), Vol. 30(7), 1939-1952, 2019

  • Haitao Zhang, Ayang Tuo, Guoqiang Li. Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. In Proceedings of the 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE'19), 594-597, 2019

  • Yingying Wang, Guoqiang Li. Detect Triangle Attack on Blockchain by Trace Analysis. In Proceedings of the 5th IEEE International Workshop on Software Engineering and Knowledge Management (SEKM'19 @ QRS'19), IEEE Society, 316-321, 2019

  • Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu. An Efficient Approach for Verifying Automobile Distributed Application Systems on Timing Property. In Proceedings of the 40th International Conference on Software Engineering (ICSE'18), IEEE/ACM Society, 230-231, 2018

  • Zhixiong Yin, Min Zhang, Guoqiang Li and Ling Fang. Test Scenario Generation Using Model Checking. International Journal of Performability Engineering, Vol. 14(6), 1241-1250, 2018

  • Chunmiao Li, Xiaojuan Cai, Guoqiang Li*. Lower Bound for Coverability Problem of Well-Structured Pushdown Systems. Journal of Software (in Chinese), Vol. 29(10), 3009-3020, 2018

  • Guoqiang Li*, Li Liu, Akira Fukuda. Asynchronous Multi-Process Timed Automata. Software Quality Journal, Vol. 26(3): 961-989, 2018

  • Yuxi Fu, Guoqiang Li, Cong Tian. Preface on Theoretical Foundation of Formal Methods. Journal of Software (in Chinese), Vol. 29(6), 1515-1516, 2018

  • Haitao Zhang, Guoqiang Li*, Zhuo Cheng, Jinyun Xue. Verifying OSEK/VDX Automotive Applications: A Spin-Based Model Checking Approach. Software: Testing, Verification and Reliability, Vol. 28(3), 2018

  • Congcong Ye, Guoqiang Li*, Hongming Cai, Yonggen Gu. Evaluating the Safety of Blockchain. Journal of Software (in Chinese), Vol. 29(5), 1348-1359, 2018

  • Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li*. Evaluation of Redundancy Based System: A Model Checking Approach. SCIENCE CHINA Information Sciences, 61(6), 069101, 2018

  • Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu. autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications. SCIENCE CHINA Information Sciences, Vol. 61(5), 052102, 2018

  • Guoqiang Li*, Yunqing Wen, Shoji Yuen. Updatable Timed Automata with One Updatable Clock. SCIENCE CHINA Information Sciences, Vol. 61(1), 012102, 2018

  • Haitao Zhang, Guoqiang Li*, Daniel Sun, Yonggang Lu. Verifying Deterministic Scheduler based Cooperative Software: a SMT-based Bounded Model Checking Approach. Journal of Systems Architecture, Vol. 81, 7-16, 2017

  • Yuwei Wang, Guoqiang Li, Shoji Yuen. Nested Timed Automata with Invariants. In Proceedings of the 3rd Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA'17), LNCS 10606, 77-93, 2017

  • Xiuting Tao, Guoqiang Li. The Complexity of Linear-time Temporal Logic Model Repair. In Proceedings of the 7th International Workshop on SOFL + MSVL (SOFL+MSVL'17), LNCS 10795 69-87, 2017

  • Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen. Nested Timed Automata with Diagonal Constraints. In Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM'17), LNCS 10610, 396-412, 2017

  • Li Liu, Guoqiang Li*. The Coverability Problem of Asynchronous Multi-Process Timed Automata. Journal of Software (in Chinese), Vol. 28(5), 1080-1090, 2017

  • Qizhe Yang, Guoqiang Li*. Model on Asynchronously Communicating Program Verification Based on Communicating Petri Nets. Journal of Software (in Chinese), Vol. 28(4), 804-818, 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 Generation Computer Systems, Vol. 76, 582-589, 2017

  • Yuwei Wang, Guoqiang Li* and Shoji Yuen. Nested Timed Automata with Various Clocks. Science Foundation in China, Vol. 24(2), 51-68, 2016

  • Yuwei Wang, Xiuting Tao, Guoqiang Li. On Termination and Boundedness of Nested Updatable Timed Automata with One Updatable Clock. In Proceedings of the 6th International Workshop on SOFL + MSVL (SOFL+MSVL'16), LNCS 10189, 15-31, 2016

  • Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai. Schedulability Analysis of Timed Regular Tasks by an Under-Approximation on WCET. In Proceedings of the 2nd Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'16), LNCS 9984, 147-162, 2016

  • Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li. Verifying OSEK/VDX Applications: An Optimized SMT-based Bounded Model Checking Approach. In Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science (ACIS-ICIS'16), IEEE Society, 1-6, 2016

  • Lichao Wang, Guoqiang Li*, Zhenjiang Hu. Constructing Format-Preserving Printing from Syntax-Directed Definition. SCIENCE CHINA Information Sciences, Vol. 58 (11), 112106:1-112106:14, 2015

  • Guoqiang Li, Mizuhito Ogawa, Shoji Yuen. Nested Timed Automata with Frozen Clocks. In Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'15), LNCS 9268, 189-205, 2015

  • Yunqing Wen, Guoqiang Li, Shoji Yuen. On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. In Proceedings of the 5th International Workshop on SOFL + MSVL (SOFL+MSVL'15), LNCS 9559, 147-161, 2015

  • Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang. A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. In Proceedings of the 1st IEEE International Workshop on Software Engineering and Knowledge Management (SEKM'15 @ QRS'15), IEEE Society, 230-236, 2015

  • Yunqing Wen, Guoqiang Li, Shoji Yuen. An Over-Approximation Forward Analysis for Nested Timed Automata. In Proceedings of the 4th International Workshop on SOFL + MSVL (SOFL+MSVL'14), LNCS 8979, 62-80, 2014

  • Jingying Wen, Guoqiang Li. Implementations for Checking Bisimulation of LTS. In Proceedings of the 2nd International Conference on Progress in Informatics and Computing(PIC'14), IEEE Society, 437-441, 2014

  • Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen. Nested Timed Automata . In Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'13), LNCS 8053, 168-182, 2013

  • Guoqiang Li*, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. International Journal of Foundations of Computer Science (IJFCS) , Vol. 23(4), 831-851, 2012

  • Yizhou Zhang, Hao Lin, Guoqiang Li. Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. In Proceedings of the 12th International Conference on Quality Software (QISC'12), IEEE Society, 120-123, 2012

  • Guoqiang Li. Measuring Time Lag with Nested Preemptions and Resumptions. In Proceedings of the 1st International Workshop on Formal methOds for Real-time Distributed Systems (FORDS'12 @ ISORC'12), IEEE Society, 19-24, 2012

  • Jianxin Xue, Huan Long, Guoqiang Li. An Improved Full Abstraction Approach to Analyzing Locality Semantics. In Proceedings of the 6th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'12), IEEE Society, 101-108, 2012

  • Guoqiang Li, Yonggen Gu, Xiuting Tao, and Jie Tao. A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. In Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'11), IEEE Society, 243-246, 2011

  • Xiuting Tao, Yonggen Gu and Guoqiang Li. A Formal Game-Theoretic Model for Rational Exchange Protocol. Advanced Materials Research, Vol. 204-210, 2033-2040, 2011

  • Chen Chu, Guoqiang Li. An Efficient Algorithm for Automatic Equational Unifier Generator. In Proceedings of the 1st International Conference on Progress in Informatics and Computing conference (PIC'10), IEEE Society, 2010

  • Huaiyang Zhou, Guoqiang Li. Modelling and Analysis of Real-time Systems on Multi-Core Processors. In Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE'10), IEEE Society, 2010

  • Fei Yu, Guoqiang Li, Naixue Xiong. Schedulability Analysis of Multi-Processor Real-Time Systems using UPPAAL. In Proceedings of the 2nd International Conference on Information Science and Engineering (ICISE'10), IEEE Society, 2010

  • Guoqiang Li, Xiaojuan Cai, Shoji Yuen. Modeling and Analysis of Real-Time Systems with Mutex Components. In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum (APDCM'10 @ IPDPS'10) , IEEE Society, 1-8, 2010

  • Guoqiang Li, Shoji Yuen, Masakazu Adachi.Environmental Simulation of Real-Time Systems with Nested Interrupts. In Proceedings of the 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'09), IEEE Society, 21-28, 2009

  • Guoqiang Li, Mizuhito Ogawa. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. In Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), LNCS 5311, 374-385, 2008

  • Guoqiang Li, Mizuhito Ogawa. On-the-fly Model Checking of Fair Non-repudiation Protocols. In Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), LNCS 4762, 511-522, 2007

  • Guoqiang Li*, Mizuhito Ogawa. On-the-fly model checking of security protocols and its implementation by Maude. IPSJ Transactions on Programming, Vol.48, No. SIG 10(PRO 33), 50-75, June 2007 (also appear in IPSJ Digital Courier, Vol.3, 343-368, 2007)

  • Min Zhang, Guoqiang Li, Yuxi Fu. Secrecy of Signals by Typing in Signal Transduction. In Proceedings of the 2nd International Conference on Natural Computation (ICNC'06), LNCS 4222, 384-393, 2006

  • Yonggen Gu, Yuxi Fu, Guoqiang Li. A Simple Process Calculus for the Analysis of Security Protocols. In Proceedings of the 6th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT'05), IEEE Computer Society, 110-114, 2005

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Typing Aberrance in Signal Transduction. In Proceedings of the 1st International Conference on Natural Computation (ICNC'05), LNCS 3612, 668-677, 2005

  • Yonggen Gu, Guoqiang Li, Yuxi Fu. Analyzing iKP Security in Applied Pi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 879-887, 2004

  • Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He. Representation of the Signal Transduction with Aberrance Using Ipi Calculus. In Proceedings of the 1st International Symposium on Computational and Information Sciences (CIS'04), LNCS 3314, 477-485, 2004

    • Programming language theory

  • Minyu Chen, Guoqiang Li*, Ling-I Wu, Ruibang Liu. DCE-LLM: Dead Code Elimination with Large Language Models. In Proceedings of the 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics (NAACL'25), Association for Computational Linguistics, 9942-9955, 2025

  • Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen and Guoqiang Li. Affine Disjunctive Invariant Generation with Farkas' Lemma. In Proceedings of the 26th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'25), LNCS 15529, 187-213, 2025

  • Sinka Gao, Guoqiang Li*, Hongfei Fu. ZKWASM: A ZKSNARK WASM Emulator. IEEE Transactions on Services Computing, Vol. 17(6), 4508-4521, 2024

  • Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li*, Sinka Gao. RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs. Formal Aspects of Computing, Vol. 36(4), Article 20, 2024

  • Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li. Constraint Based Invariant Generation with Modular Operations. In Proceedings of the 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'24), LNCS 15469, 64-84, 2024

  • Hongming Liu, Guoqiang Li*. Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning. In Proceedings of the18th International Symposium on Theoretical Aspects of Software Engineering (TASE'24), LNCS 14777, 324-342, 2024

  • Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li*. Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. In Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'23), IEEE Society, 191-197, 2023

  • Zhiwen Wu, Guoqiang Li*. A Formal Model and Method for Verifying Asynchronous Program Based on Communication-Free Petri Net. Journal of Software (in Chinese), Vol. 34(8), 3674-3685, 2023

  • Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li. Scalable Linear Invariant Generation with Farkas Lemma. In Proceedings of the 37th ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'22), Proceedings of the ACM on Programming Languages Vol.6 (OOPSLA2): 204-232, 2022

  • Ying Zhao, Jinhao Tan, Guoqiang Li*. Verification Method and Implementation of Asynchronously Communicating Programs Based on Basic Parallel Processes. Journal of Software (in Chinese), Vol. 33(8), 2782-2796, 2022

  • Chunyan Mu, Guoqiang Li. Integrating Information Flow Analysis in Unifying Theories of Programming. In Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'21), 67-76, 2021

    • Knowledge reasoning and verification

  • Minyu Chen, Guoqiang Li*, Ling-I Wu, Ruibang Liu. DCE-LLM: Dead Code Elimination with Large Language Models. In Proceedings of the 2025 Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics (NAACL'25), Association for Computational Linguistics, 9942-9955, 2025

  • Ling-I Wu, Yuxin Su, Guoqiang Li*. Zero-Shot Construction of Chinese Medical Knowledge Graph with GPT-3.5-turbo and GPT-4. ACM Transactions on Management Information Systems, Vol. 16(2), Article 14, 2025

  • 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. In Proceedings of the 10th International Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA'24), LNCS 15469, 102-121, 2024

  • Qiyang Wang, Ling-I Wu, Guoqiang Li* PIRTRE-C: A Two-Stage Retrieval and Reranking Enhanced Framework for Improving Chinese Psychological Counseling. In Proceedings of the 2nd IEEE International Conference on Medical Artificial Intelligence (IEEE MedAI'24), IEEE Society, 337,-347, 2024

  • Guoqiang Li*, Yuxin Su. Complementary Functions and Potential of Generative AI in Algorithm Education. Computer Education, Vol. 348(12) 221-231, 2023

  • Ling-I Wu, Guoqiang Li*. Zero-Shot Construction of Chinese Medical Knowledge Graph with ChatGPT. In Proceedings of the First IEEE International Conference on Medical Artificial Intelligence (IEEE MedAI'23), IEEE Society, 278-283, 2023

  • Minyu Chen, Guoqiang Li*. ChatGPT for Mechanobiology and Medicine: A Perspective. Mechanobiology in Medicine, Vol. 1(1), 100005, 2023

  • Minyu Chen, Guoqiang Li*, Chen Ma, Jingyang Li, Hongfei Fu. Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. In Proceedings of the 29th International Conference on Computational Linguistics, (COLING'22), International Committee on Computational Linguistics, 1580-1592, 2022

  • Suyu Ma, Cheng Chen, Zhenchang Xing, Lizhen Qu, Chunyang Chen*, Guoqiang Li*. Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning. IEEE Transactions on Software Engineering, Vol. 47(10), 2296-2311, 2021

  • Qunhao Sha, Qizhe Yang, Guoqiang Li*. A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. In Proceedings of the 15th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE'21), IEEE Society, 103-110, 2021

  • 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?. In Proceedings of the ACM Joint Meeting on the 18th European Software Engineering Conference and the 28 Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 1202-1214, 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. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 322-334, 2020 (Distinguished paper award!)

  • Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun. Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE'19), 151-162, 2019

  • Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li*. Data-Driven Proactive Policy Assurance of Post Quality in Community Q&A Sites. In Proceedings of the 21st ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW'18), ACM, Vol. 2, 33, 2018

    • Intelligent system verification and security

  • Jingyang Li, Guoqiang Li*. The Triangular Trade-off between Robustness, Accuracy and Fairness in Deep Neural Networks: A Survey. ACM Computing Surveys, Vol. 57(6), Article 140, 2025

  • Jingyang Li, Guoqiang Li*. HOBAT: Batch Verification for Homogeneous Structural Neural Networks. In Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering (ASE'23), 1276-1287, 2023

  • Yun Zhang, Qianqian Duan, Guoqiang Li, Jianzhen Wu. Robustness Quantification Method for Network Intrusion Detection Models. Physical Communication, Vol. 58, 102025, 2023

  • Saharat Saengsawang, Guoqiang Li*. Theoretical Analysis of Norm Selection for Robustness Verification of Neural Networks. Physical Communication, Vol. 58, 102019, 2023

  • Yun Zhang, Guoqiang Li, Qianqian Duan, Jianzhen Wu. An Interpretable Intrusion Detection Method Based on Few-Shot Learning in Cloud-Ground Interconnection. Physical Communication, Vol. 55, 101931, 2022

    • Data analytics and machine intelligence

    ,
  • Jianxin Xue, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang, Guoqiang Li. Lightweight Visual Backbone Network with Enhanced Comprehensive Strength through Context-Aware Dual Attention Mechanism. Neurocomputing, Vol. 624, 129449, 2025

  • Jian Wang, Jiawei Dou, Jiaxuan Han, Guoqiang Li*, Jiang Tao*. A Population-Based Study to Assess Two Convolutional Neural Networks for Dental Age Estimation. BMC Oral Health, Vol. 23(1), 109, 2023

  • 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 Sensing, Vol.14(9), 1973, 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. Information Sciences, Vol.606, 313-327, 2022

  • Tongyao Jia, Jiafeng Li, Li Zhuo*, Guoqiang Li*. Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor Industrial Systems. IEEE Transactions on Industrial Informatics, Vol. 18(3), 1511-1520, 2022

  • 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 Transactions on Systems, Man and Cybernetics: Systems, 51(10): Vol. 6111-6121, 2021

  • Aijuan Qian, Chenlu Li, Xiaoju Dong, Shengtao Chen, Yanling Zhang, Guoqiang Li. SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data. In Proceedings of the 2021 IEEE International Conference on Parallel & Distributed Processing with Applications (IEEE ISPA'2021), 19-26, 2021

  • Ruiqi Shi, Chang Liu, Jiang Tao*, Guoqiang Li*, Kai Xiao, Zhangqian Xie, Jian Wang. Panoramic Radiographic X-Ray Image Tooth Root Segmentation based on LeNet-5 Networks. In Proceedings of the 6th International Conference on Advanced Machine Learning and Technologies and Applications (AMLTA'21), 134-144, 2021

  • 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?. In Proceedings of the ACM Joint Meeting on the 18th European Software Engineering Conference and the 28 Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 1202-1214, 2020

  • Xing Hu, Guoqiang Li*. Temporal Tensor Local Binary Pattern: A Novel Local Tensor Time Series Descriptor. IEEE Transactions on Industrial Informatics, Vol. 16(10), 6393-6402, 2020

  • Jiafeng Li, Li Zhuo, Hong Zhang*, Guoqiang Li*, Naixue Xiong. Effective Data-Driven Technology for Efficient Vision-based Outdoor Industrial Systems. IEEE Transactions on Industrial Informatics, Vol.16(7), 4344-4354, 2020

  • Muhammad Jahanzeb Khan, Guoqiang Li*, et. al.. Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning. In Proceedings of the 4th Annual Conference on Software Analysis, Testing and Evolution (SATE'19), LNCS 12028 (SOFL+MSVL'19), 279-295, 2019

  • Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Yue Ding, Guoqiang Li*. Object Detection Boosting using Object Attributes in Detect and Describe Framework. In Proceedings of the 31st International Conference on Tools with Artificial Intelligence (ICTAI'19), 886-893, 2019

  • Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen. Examine Manipulated Datasets with Topology Data Analysis: A Case Study. In Proceedings of the 20th International Conference on Information and Communications Security (ICICS'18), LNCS 11149, 358-373, 2018

  • Junli Yang, Bo Song, Bing Yan, Guoqiang Li. A Novel Hidden Markov Model for Genome-Wide Association Studies. In Proceedings of the 3rd IEEE International Workshop on Software Engineering and Knowledge Management (SEKM'17 @ QRS'17), IEEE Society, 500-506, 2017

  • Yanlong Li, Guoqiang Li, Xiaoju Dong. A Survey on Visualization of Tree Comparison. Journal of Software (in Chinese), Vol. 27 (5), 1074-1090, 2016

    • Others

  • Sinka Gao, Guoqiang Li*. A ZK-Based Multi-Blockchain Transaction Layer for Minimal Trust Base. Cybersecurity, accepted

  • Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li. WeAnimate: Motion-coherent animation generation from video data. Multimedia Tools and Applications, Vol. 81(15), 20685-20703, 2022

  • Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li*, Jingti Han and Naixue Xiong. An Effective Data-driven Cloud Resource Procurement Scheme with Personalized Reserve Prices. IEEE Transactions on Systems, Man and Cybernetics: Systems, Vol.51(8), 4693-4705, 2021

  • 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. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 1286-1297, 2020

  • Qianqian Duan, Daniel Sun, Guoqiang Li*, Genke Yang, Weiwu Yan. IoT-enabled service for crude-oil production systems against unpredictable disturbance. IEEE Transactions on Services Computing, Vol. 13(4), 759-768, 2020

  • Dehai Zhao, Zhenchang Xing, Chunyang Chen*, Xin Xia*, Guoqiang Li*. ActionNet: Vision-based Workflow Action Recognition From Programming Screencasts. In Proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE'19), 350-361, 2019

  • Shunting Huang, Ling Li, Hongming Cai, Boyi Xu, Guoqiang Li, Lihong Jiang. A Configurable WoT Application Platform Based on Spatiotemporal Semantic Scenarios. IEEE Transactions on Systems, Man, and Cybernetics: Systems, Vol. 49(1), 123-135, 2019

  • Jixian Li, Wei Lu, Jian Weng, Yijun Mao, Guoqiang Li. Double JPEG Compression Detection Based on Block Statistics. Multimedia Tools Applications, Vol. 77(24), 31895-31910, 2018

  • Qingbo Zhang, Wei Lu, Ruxin Wang, Guoqiang Li. Digital Image Splicing Detection Based on Markov Features in Block DWT Domain. Multimedia Tools Applications, Vol. 77(23), 31239-31260, 2018

  • 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 . In Proceedings of the 7th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) , IEEE Society, 81-85, 2018

  • Akira Fukuda, Kenji Hisazumi, Tsunenori Mine, Shigemi Ishida, Takahiro Ando, Shota Ishibashi, Shigeaki Tagashira, Kunihiko Kaneko, Yutaka Arakawa, Weiqiang Kong, Guoqiang Li Toward Sustainable Smart Mobility Information Infrastructure Platform: Project Overview. New Trends in E-service and Smart Computing, Studies in Computational Intelligence 742, 35-46, 2018

  • Qianqian Duan, Genke Yang, Guoqiang Li*. Optimisation-Based Algorithm for Refinery Short-Term Scheduling of Crude-Oil. International Journal of Oil Gas and Coal Technology, Vol. 17(1), 34- 59, 2018

  • Yi Cui, Guoqiang Li, Hao Cheng, Daoyuan Wang. Indexing for Large Scale Data Querying based on Spark SQL. In Proceedings of the 14th IEEE International Conference on e-Business Engineering (ICEBE'17) , 103-108, 2017

  • Ling Fang, Guoqiang Li. Test Selection Using with Equivalence Class Partitioning. In Proceedings of the 2nd International Symposium on Dependable Computing and Internet of Things (DCIT'15), IEEE Society, 40-49, 2015

  • Yonggen Gu, Jie Tao, Xiaohong Wu, Guoqiang Li, Jingyu Chen, Xiaolong Ma. A Preemptive Truthful VMs Allocation Online Mechanism in Private Cloud. In Proceedings of the 2nd International Symposium on Dependable Computing and Internet of Things (DCIT'15), IEEE Society, 80-86, 2015

  • Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu. Toward SIL Evaluation for A Resilience Strategy. In Proceedings of 4th the International Workshop on Open Systems Dependability (WOSD'14 @ ISSRE'14), IEEE Society, 473-477, 2014

  • Xiaohong Wu, Yonggen Gu, Guoqiang Li, Xiaolong Ma, Jie Tao. Online Mechanism Design for VMs allocation in Private Cloud. In Proceedings of the 11th IFIP International Conference on Network and Parallel Computing (NPC'14), LNCS 8707, 234 C246, 2014 [Extended Version]

  • Xiaohong Wu, Yonggen Gu, Guoqiang Li. Game Analysis of Workload Factoring with the Hybrid Cloud. In Proceedings of the 5th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA'13 @ CANDAR'13), IEEE Society, 263-269, 2013

  • Xiaohong Wu, Guoqiang Li. A Game Analysis in Jobs Flow Allocation for SaaS Provider. Journal of Computational Information Systems,Vol. 9(22), 8905-8912, 2013

    • Guoqiang Li
    Last modified: Friday, Apr. 14, 2023.