Guoqiang Li

150 papers A* 6A 2B 5C 10Misc 9Journal 85Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
AC4: Algebraic Computation Checker for Circuit Constraints in Zero-Knowledge Proofs.
Formal Aspects Comput.
Qizhe Yang, Boxuan Liang, Hao Chen, Guoqiang Li
2026 J jnl
An accurate pixel-Level explainable approach for CNNs and its application.
Neural Networks
Haitao Zhang, Jing Wang, Ziyue Wang, Guoqiang Li, Zhuo Cheng
2026 J jnl
Array-Carrying Symbolic Execution for Function Contract Generation.
CoRR
Weijie Lu, Jingyu Ke, Hongfei Fu, Zhouyue Sun, Yi Zhou, Guoqiang Li, Haokun Li
2026 J jnl
Bridging Privacy and Utility: A Verifiable Framework for Data Valuation via Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Ruibang Liu, Minyu Chen, Dengji Ma, Guoqiang Li
2026 J jnl
Byzantine-resilient federated learning with dynamic scoring matrix and variant PBFT consensus under differential privacy.
Inf. Sci.
Wentai Yang, Xian Xu, Kai Yu, Guoqiang Li
2026 J jnl
Certified Local Transferability for Evaluating Adversarial Attacks.
IEEE Trans. Artif. Intell.
Minyu Chen, Jingyang Li, Ling-I Wu, Guoqiang Li
2026 J jnl
Enhancing automated loop invariant generation for complex programs with large language models.
Sci. Comput. Program.
Ruibang Liu, Minyu Chen, Ling-I Wu, Jingyu Ke, Guoqiang Li
2026 J jnl
Optimization of Farkas' Lemma-based linear invariant generation using divide-and-conquer with pruning.
Sci. Comput. Program.
Ruibang Liu, Hongming Liu, Guoqiang Li
2025 J jnl
A ZK-based multi-blockchain transaction layer for minimal trust base.
Cybersecur.
Sinka Gao, Guoqiang Li
2025 J jnl
ARCEAK: An Automated Rule Checking Framework Enhanced with Architectural Knowledge.
CoRR
Junyong Chen, Ling-I Wu, Minyu Chen, Xiaoying Qian, Haoze Zhu, Qiongfang Zhang, Guoqiang Li
2025 — conf
Affine Disjunctive Invariant Generation with Farkas' Lemma.
VMCAI (1)
Jingyu Ke, Hongfei Fu, Hongming Liu, Zhouyue Sun, Liqian Chen, Guoqiang Li
2025 J jnl
Auction-based incentive mechanism with personalized privacy protection in federated learning.
Mach. Learn.
Siqin Zeng, Xiaohong Wu, Yonggen Gu, Jie Tao, Benfeng Chen, Guoqiang Li
2025 J jnl
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes.
Formal Aspects Comput.
Guoqiang Li, Qizhe Yang, Jinhao Tan, Ying Zhao
2025 A* conf
Co-Eval: Augmenting LLM-based Evaluation with Machine Metrics.
EMNLP
Ling-I Wu, Weijie Wu, Minyu Chen, Jianxin Xue, Guoqiang Li
2025 J jnl
Consistency Verification for Zero-Knowledge Virtual Machine on Circuit-Irrelevant Representation.
IACR Cryptol. ePrint Arch.
Jingyu Ke, Boxuan Liang, Guoqiang Li
2025 — conf
DCE-LLM: Dead Code Elimination with Large Language Models.
NAACL (Long Papers)
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
DCE-LLM: Dead Code Elimination with Large Language Models.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu
2025 J jnl
DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models.
CoRR
Minyu Chen, Guoqiang Li
2025 J jnl
Lightweight visual backbone network with enhanced comprehensive strength through context-aware dual attention mechanism.
Neurocomputing
Jianxin Xue, Yaohua Hu, Sicheng Hua, Minyu Chen, Ling-I Wu, Xi Chang, Guoqiang Li
2025 J jnl
MUC-G4: Minimal Unsat Core-Guided Incremental Verification for Deep Neural Network Compression.
CoRR
Jingyang Li, Guoqiang Li
2025 J jnl
On the Equivalence of Polynomial Commitments for an Identical Polynomial under Different Bases.
IACR Cryptol. ePrint Arch.
Dengji Ma, Jingyu Ke, Sinka Gao, Guoqiang Li
2025 — conf
Providing Certified Triggers in Trigger Set-Based Watermarking for Ownership Validation against Image Transformation.
ARTMAN@CCS
Jingyang Li, Minyu Chen, Guoqiang Li
2025 J jnl
Triangular Trade-off between Robustness, Accuracy, and Fairness in Deep Neural Networks: A Survey.
ACM Comput. Surv.
Jingyang Li, Guoqiang Li
2025 J jnl
ZK-ProVer: Proving Programming Verification in Non-Interactive Zero-Knowledge Proofs.
IACR Cryptol. ePrint Arch.
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2025 C conf
ZK-ProVer: Proving Programming Verification in Non-interactive Zero-Knowledge Proofs.
ICFEM
Haoyu Wei, Jingyu Ke, Ruibang Liu, Guoqiang Li
2025 J jnl
Zero-Shot Construction of Chinese Medical Knowledge Graph with GPT-3.5-turbo and GPT-4.
ACM Trans. Manag. Inf. Syst.
Ling-I Wu, Yuxin Su, Guoqiang Li
2024 J jnl
AC4: Algebraic Computation Checker for Circuit Constraints in ZKPs.
CoRR
Hao Chen, Minyu Chen, Ruibang Liu, Guoqiang Li
2024 Misc conf
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
SETTA
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 J jnl
Can Language Models Pretend Solvers? Logic Code Simulation with LLMs.
CoRR
Minyu Chen, Guoqiang Li, Ling-I Wu, Ruibang Liu, Yuxin Su, Xi Chang, Jianxin Xue
2024 Misc conf
Constraint Based Invariant Generation with Modular Operations.
SETTA
Yuchen Li, Hongfei Fu, Haowen Long, Guoqiang Li
2024 Misc conf
Empirically Scalable Invariant Generation Leveraging Divide-and-Conquer with Pruning.
TASE
Hongming Liu, Guoqiang Li
2024 J jnl
Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models.
CoRR
Ruibang Liu, Guoqiang Li, Minyu Chen, Ling-I Wu, Jingyu Ke
2024 J jnl
RNA: R1CS Normalization Algorithm Based on Data Flow Graphs for Zero-Knowledge Proofs.
Formal Aspects Comput.
Chenhao Shi, Ruibang Liu, Hao Chen, Guoqiang Li, Sinka Gao
2024 J jnl
ZKWASM: A ZKSNARK WASM Emulator.
IEEE Trans. Serv. Comput.
Sinka Gao, Guoqiang Li, Hongfei Fu
2023 J jnl
Affine Disjunctive Invariant Generation with Farkas' Lemma.
CoRR
Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li
2023 C conf
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.
PRDC
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
2023 J jnl
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof.
CoRR
Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li
2023 A* conf
HOBAT: Batch Verification for Homogeneous Structural Neural Networks.
ASE
Jingyang Li, Guoqiang Li
2023 J jnl
Robustness quantification method for network intrusion detection models.
Phys. Commun.
Yun Zhang, Qianqian Duan, Guoqiang Li, Jianzhen Wu
2023 J jnl
Theoretical analysis of norm selection for robustness verification of neural networks.
Phys. Commun.
Saharat Saengsawang, Guoqiang Li
2022 J jnl
A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base.
CoRR
Sinka Gao, Guoqiang Li, Hong Fei Fu, Heng Zhang
2022 J jnl
An interpretable intrusion detection method based on few-shot learning in cloud-ground interconnection.
Phys. Commun.
Yun Zhang, Guoqiang Li, Qianqian Duan, Jianzhen Wu
2022 J jnl
Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor Industrial Systems.
IEEE Trans. Ind. Informatics
Tongyao Jia, Jiafeng Li, Li Zhuo, Guoqiang Li
2022 J jnl
Hyperspectral Anomaly Detection Using Deep Learning: A Review.
Remote. Sens.
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
2022 B conf
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories.
COLING
Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu
2022 J jnl
Scalable linear invariant generation with Farkas' lemma.
Proc. ACM Program. Lang.
Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li
2022 J jnl
TOP-ALCM: A novel video analysis method for violence detection in crowded scenes.
Inf. Sci.
Xing Hu, Zhe Fan, Linhua Jiang, Jiawei Xu, Guoqiang Li, Wenming Chen, Xinhua Zeng, Genke Yang, Dawei Zhang
2022 J jnl
WeAnimate: Motion-coherent animation generation from video data.
Multim. Tools Appl.
Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li
2021 Misc conf
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints.
TASE
Qunhao Sha, Qizhe Yang, Guoqiang Li
2021 J jnl
An Effective Data-Driven Cloud Resource Procurement Scheme With Personalized Reserve Prices.
IEEE Trans. Syst. Man Cybern. Syst.
Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Jingti Han, Naixue Xiong
2021 J jnl
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes.
CoRR
Ying Zhao, Jinhao Tan, Guoqiang Li
2021 J jnl
Design and Analysis of a Human-Machine Interaction System for Researching Human's Dynamic Emotion.
IEEE Trans. Syst. Man Cybern. Syst.
Xiao Sun, Zhengmeng Pei, Chen Zhang, Guoqiang Li, Jianhua Tao
2021 J jnl
Discovering semantically related technical terms and web resources in Q&A discussions.
Frontiers Inf. Technol. Electron. Eng.
Junfang Jia, Valeriia Tumanian, Guoqiang Li
2021 J jnl
Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning.
IEEE Trans. Software Eng.
Suyu Ma, Zhenchang Xing, Chunyang Chen, Cheng Chen, Lizhen Qu, Guoqiang Li
2021 J jnl
Essence of Factual Knowledge.
CoRR
Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen
2021 J jnl
In favour of or against multi-lingual Q&A sites? Exploring the evidence from user and knowledge perspectives.
Behav. Inf. Technol.
Junfang Jia, Valeriia Tumanian, Guoqiang Li
2021 C conf
Integrating Information Flow Analysis in Unifying Theories of Programming.
PRDC
Chunyan Mu, Guoqiang Li
2021 J jnl
Learning natural ordering of tags in domain-specific Q&A sites.
Frontiers Inf. Technol. Electron. Eng.
Junfang Jia, Guoqiang Li
2021 — conf
Panoramic Radiographic X-Ray Image Tooth Root Segmentation Based on LeNet-5 Networks.
AMLTA
Ruiqi Shi, Chang Liu, Jiang Tao, Guoqiang Li, Kai Xiao, Zhangqian Xie, Jian Wang, Bahram Gharabaghi
2021 — conf
SLAMVis: An Interactive Visualization Approach for Smart Labeling on Multidimensional Data.
ISPA/BDCloud/SocialCom/SustainCom
Aijuan Qian, Chenlu Li, Xiaoju Dong, Shengtao Chen, Yanling Zhang, Guoqiang Li
2020 J jnl
Effective Data-Driven Technology for Efficient Vision-Based Outdoor Industrial Systems.
IEEE Trans. Ind. Informatics
Jiafeng Li, Li Zhuo, Hong Zhang, Guoqiang Li, Naixue Xiong
2020 J jnl
IoT-Enabled Service for Crude-Oil Production Systems Against Unpredictable Disturbance.
IEEE Trans. Serv. Comput.
Qianqian Duan, Daniel Sun, Guoqiang Li, Genke Yang, Weiwu Yan
2020 J jnl
Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?
CoRR
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li
2020 — conf
Object detection for graphical user interface: old fashioned or deep learning or a combination?
ESEC/SIGSOFT FSE
Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li
2020 J jnl
Pipeline provenance for cloud-based big data analytics.
Softw. Pract. Exp.
Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen
2020 A* conf
Seenomaly: vision-based linting of GUI animation effects against design-don't guidelines.
ICSE
Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
2020 A conf
Statistical Detection Of Collective Data Fraud.
ICME
Ruoyu Wang, Xiaobo Hu, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen, Jianquan Liu
2020 J jnl
Statistical Detection of Collective Data Fraud.
CoRR
Ruoyu Wang, Daniel Sun, Guoqiang Li
2020 J jnl
Temporal Tensor Local Binary Pattern: A Novel Local Tensor Time Series Descriptor.
IEEE Trans. Ind. Informatics
Xing Hu, Guoqiang Li
2020 J jnl
Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning.
CoRR
Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
2020 A* conf
Unblind your apps: predicting natural-language labels for mobile GUI components by deep learning.
ICSE
Jieshan Chen, Chunyang Chen, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li, Jinshui Wang
2019 J jnl
A Configurable WoT Application Platform Based on Spatiotemporal Semantic Scenarios.
IEEE Trans. Syst. Man Cybern. Syst.
Shunting Huang, Ling Li, Hongming Cai, Boyi Xu, Guoqiang Li, Lihong Jiang
2019 J jnl
A context-based service matching approach towards functional reliability for industrial systems.
Enterp. Inf. Syst.
Chengxi Huang, Li Da Xu, Hongming Cai, Guoqiang Li, Jiawei Du, Lihong Jiang
2019 A* conf
ActionNet: vision-based workflow action recognition from programming screencasts.
ICSE
Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li
2019 J jnl
Ada-Things: An adaptive virtual machine monitoring and migration strategy for internet of things applications.
J. Parallel Distributed Comput.
Zhong Wang, Daniel Sun, Guangtao Xue, Shiyou Qian, Guoqiang Li, Minglu Li
2019 — conf
Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning.
SOFL+MSVL
Muhammad Jahanzeb Khan, Ruoyu Wang, Daniel Sun, Guoqiang Li
2019 — conf
Detect Triangle Attack on Blockchain by Trace Analysis.
QRS Companion
Yingying Wang, Guoqiang Li
2019 A* conf
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites.
ASE
Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun
2019 J jnl
Hierarchical extreme learning machine based image denoising network for visual Internet of Things.
Appl. Soft Comput.
Yifan Yang, Hong Zhang, Ding Yuan, Daniel Sun, Guoqiang Li, Rajiv Ranjan, Mingui Sun
2019 A conf
Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems.
DATE
Haitao Zhang, Ayang Tuo, Guoqiang Li
2019 J jnl
Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds.
ACM Trans. Internet Techn.
Daniel Sun, Shiping Chen, Guoqiang Li, Yuanyuan Zhang, Muhammad Atif
2019 B conf
Object Detection Boosting using Object Attributes in Detect and Describe Framework.
ICTAI
Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li
2019 J jnl
Statistically managing cloud operations for latency-tail-tolerance in IoT-enabled smart cities.
J. Parallel Distributed Comput.
Daniel Sun, Guoqiang Li, Yuanyuan Zhang, Liming Zhu, Raj Gaire
2019 J jnl
Unsupervised blocking and probabilistic parallelisation for record matching of distributed big data.
J. Supercomput.
Chenxiao Dou, Yi Cui, Daniel Sun, Raymond K. Wong, Muhammad Atif, Guoqiang Li, Rajiv Ranjan
2019 J jnl
Video denoising for security and privacy in fog computing.
Concurr. Comput. Pract. Exp.
Hong Zhang, Yifan Yang, Ding Yuan, Daniel Sun, Jun Zhang, Guoqiang Li, Mingui Sun
2018 J jnl
A CNN-SIFT Hybrid Pedestrian Navigation Method Based on First-Person Vision.
Remote. Sens.
Qi Zhao, Boxue Zhang, Shuchang Lyu, Hong Zhang, Daniel Sun, Guoqiang Li, Wenquan Feng
2018 J jnl
A customised automata algorithm and toolkit for language learning and application.
Int. J. Big Data Intell.
Ruoyu Wang, Guoqiang Li, Jianwen Xiang, Hongming Cai
2018 — conf
An efficient approach for verifying automobile distributed application systems on timing property.
ICSE (Companion Volume)
Haitao Zhang, Guoqiang Li, Xiaohong Li, Zhuo Cheng, Jinyun Xue, Shaoying Liu
2018 — conf
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting.
DSA
Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda
2018 J jnl
Asynchronous multi-process timed automata.
Softw. Qual. J.
Guoqiang Li, Li Liu, Akira Fukuda
2018 — conf
Comparison among Four Prominent Text Processing Tools.
I-SPAN
Jin Luo, Ruoyu Wang, Daniel Sun, Yingying Wang, Guoqiang Li
2018 J jnl
Data-Driven Proactive Policy Assurance of Post Quality in Community q&a Sites.
Proc. ACM Hum. Comput. Interact.
Chunyang Chen, Xi Chen, Jiamou Sun, Zhenchang Xing, Guoqiang Li
2018 J jnl
Detecting users' anomalous emotion using social media for business intelligence.
J. Comput. Sci.
Xiao Sun, Chen Zhang, Guoqiang Li, Daniel Sun, Fuji Ren, Albert Y. Zomaya, Rajiv Ranjan
2018 J jnl
Digital image splicing detection based on Markov features in block DWT domain.
Multim. Tools Appl.
Qingbo Zhang, Wei Lu, Ruxin Wang, Guoqiang Li
2018 J jnl
Double JPEG compression detection based on block statistics.
Multim. Tools Appl.
Jixian Li, Wei Lu, Jian Weng, Yijun Mao, Guoqiang Li
2018 J jnl
Evaluation of redundancy-based system: a model checking approach.
Sci. China Inf. Sci.
Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li
2018 C conf
Examine Manipulated Datasets with Topology Data Analysis: A Case Study.
ICICS
Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen
2018 J jnl
Fog Computing Approach for Music Cognition System Based on Machine Learning Algorithm.
IEEE Trans. Comput. Soc. Syst.
Lifei Lu, Lida Xu, Boyi Xu, Guoqiang Li, Hongming Cai
2018 — conf
Intelligent Healthcare Knowledge Resources in Chinese: A Survey.
I-SPAN
Min Gao, Ruoyu Wang, Daniel Sun, Guoqiang Li
2018 J jnl
R
IEEE Trans. Dependable Secur. Comput.
Daniel Sun, Alan D. Fekete, Vincent Gramoli, Guoqiang Li, Xiwei Xu, Liming Zhu
2018 J jnl
SCFM: Social and crowdsourcing factorization machines for recommendation.
Appl. Soft Comput.
Yue Ding, Dong Wang, Xin Xin, Guoqiang Li, Daniel Sun, Xuezhi Zeng, Rajiv Ranjan
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 J jnl
Updatable timed automata with one updatable clock.
Sci. China Inf. Sci.
Guoqiang Li, Yunqing Wen, Shoji Yuen
2018 J jnl
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach.
Softw. Test. Verification Reliab.
Haitao Zhang, Guoqiang Li, Zhuo Cheng, Jinyun Xue
2018 J jnl
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications.
Sci. China Inf. Sci.
Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu
2017 — conf
A Behavior Analysis Method Towards Product Quality Management.
CONFENIS
Congcong Ye, Chun Li, Guoqiang Li, Lihong Jiang, Hongming Cai
2017 — conf
A Novel Hidden Markov Model for Genome-Wide Association Studies.
QRS Companion
Junli Yang, Bo Song, Bing Yan, Guoqiang Li
2017 J jnl
A game-theoretic model and analysis of data exchange protocols for Internet of Things in clouds.
Future Gener. Comput. Syst.
Xiuting Tao, Guoqiang Li, Daniel Sun, Hongming Cai
2017 B conf
Active Learning with Density-Initialized Decision Tree for Record Matching.
SSDBM
Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong
2017 J jnl
Dynamic Weight-Based Individual Similarity Calculation for Information Searching in Social Computing.
IEEE Syst. J.
Cheng Xie, Guoqiang Li, Hongming Cai, Lihong Jiang, Neal N. Xiong
2017 J jnl
Exploiting long-term and short-term preferences and RFID trajectories in shop recommendation.
Softw. Pract. Exp.
Yue Ding, Dong Wang, Guoqiang Li, Daniel Sun, Xin Xin, Shiyou Qian
2017 — conf
Indexing for Large Scale Data Querying Based on Spark SQL.
ICEBE
Yi Cui, Guoqiang Li, Hao Cheng, Daoyuan Wang
2017 C conf
Nested Timed Automata with Diagonal Constraints.
ICFEM
Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen
2017 Misc conf
Nested Timed Automata with Invariants.
SETTA
Yuwei Wang, Guoqiang Li, Shoji Yuen
2017 — conf
The Complexity of Linear-Time Temporal Logic Model Repair.
SOFL+MSVL
Xiuting Tao, Guoqiang Li
2017 J jnl
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler.
J. Syst. Archit.
Haitao Zhang, Guoqiang Li, Daniel Sun, Yonggang Lu, Ching-Hsien Hsu
2016 J jnl
A preemptive truthful VMs allocation online mechanism in private cloud.
J. Comput. Sci.
Yonggen Gu, Jie Tao, Guoqiang Li, Daniel W. Sun, Xiaohong Wu, Prem Prakash Jayaraman, Rajiv Ranjan
2016 J jnl
An online greedy allocation of VMs with non-increasing reservations in clouds.
J. Supercomput.
Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li, Prem Prakash Jayaraman, Daniel Sun, Rajiv Ranjan, Albert Y. Zomaya, Jingti Han
2016 — conf
CAT: A Customized Automata Toolkit.
QRS Companion
Ruoyu Wang, Guoqiang Li, Daniel W. Sun, Jianwen Xiang, Hongming Cai
2016 — conf
LogProv: Logging events as provenance of big data analytics pipelines with trustworthiness.
IEEE BigData
Ruoyu Wang, Daniel Sun, Guoqiang Li, Muhammad Atif, Surya Nepal
2016 J jnl
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.
Daniel Sun, Min Fu, Liming Zhu, Guoqiang Li, Qinghua Lu
2016 — conf
On Termination and Boundedness of Nested Updatable Timed Automata.
SOFL+MSVL
Yuwei Wang, Xiuting Tao, Guoqiang Li
2016 — conf
Probabilistic parallelisation of blocking non-matched records for big data.
IEEE BigData
Chenxiao Dou, Daniel Sun, Yi-Cheng Chen, Guoqiang Li, Jianquan Liu
2016 Misc conf
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET.
SETTA
Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai
2016 C conf
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach.
ICIS
Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li
2015 — conf
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata.
QRS Companion
Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang
2015 J jnl
Constructing format-preserving printing from syntax-directed definitions.
Sci. China Inf. Sci.
Lichao Wang, Guoqiang Li, Zhenjiang Hu
2015 — conf
Nested Timed Automata with Frozen Clocks.
FORMATS
Guoqiang Li, Mizuhito Ogawa, Shoji Yuen
2015 — conf
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock.
SOFL+MSVL
Yunqing Wen, Guoqiang Li, Shoji Yuen
2014 — conf
An Over-Approximation Forward Analysis for Nested Timed Automata.
SOFL+MSVL
Yunqing Wen, Guoqiang Li, Shoji Yuen
2014 C conf
Online Mechanism Design for VMs Allocation in Private Cloud.
NPC
Xiaohong Wu, Yonggen Gu, Guoqiang Li, Jie Tao, Jingyu Chen, Xiaolong Ma
2014 — conf
Toward SIL Evaluation for a Resilience Strategy.
ISSRE Workshops
Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu
2013 — conf
Game Analysis of Workload Factoring with the Hybrid Cloud.
CANDAR
Xiaohong Wu, Yonggen Gu, Guoqiang Li
2013 — conf
Nested Timed Automata.
FORMATS
Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen
2012 Misc conf
An Improved Full Abstraction Approach to Analyzing Locality Semantics.
TASE
Jianxin Xue, Huan Long, Guoqiang Li
2012 — conf
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems.
QSIC
Yizhou Zhang, Hao Lin, Guoqiang Li
2012 — conf
Measuring Time Lag with Nested Preemptions and Resumptions.
ISORC Workshops
Guoqiang Li
2012 J jnl
Modeling and Analysis of Real-Time Systems with Mutex Components.
Int. J. Found. Comput. Sci.
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
2012 J jnl
Multi-index evaluation algorithm based on principal component analysis for node importance in complex networks.
IET Networks
Jianzhi Jin, Kaihua Xu, Naixue Xiong, Yuhua Liu, Guoqiang Li
2011 Misc conf
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols.
TASE
Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao
2010 — conf
Modeling and analysis of real -time systems with mutex components.
IPDPS Workshops
Guoqiang Li, Xiaojuan Cai, Shoji Yuen
2009 Misc conf
Environmental Simulation of Real-Time Systems with Nested Interrupts.
TASE
Guoqiang Li, Shoji Yuen, Masakazu Adachi
2008 B conf
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol.
ATVA
Guoqiang Li, Mizuhito Ogawa
2007 B conf
On-the-Fly Model Checking of Fair Non-repudiation Protocols.
ATVA
Guoqiang Li, Mizuhito Ogawa
2007 J jnl
On-the-fly Model Checking of Security Protocols and Its Implementation by Maude.
Inf. Media Technol.
Guoqiang Li, Mizuhito Ogawa
2006 — conf
Secrecy of Signals by Typing in Signal Transduction.
ICNC (2)
Min Zhang, Guoqiang Li, Yuxi Fu
2005 C conf
A Simple Process Calculus for the analysis of Security Protocols.
PDCAT
Yonggen Gu, Yuxi Fu, Guoqiang Li
2005 — conf
Typing Aberrance in Signal Transduction.
ICNC (3)
Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He
2004 C conf
Analyzing iKP Security in Applied Pi Calculus.
CIS
Yonggen Gu, Guoqiang Li, Yuxi Fu
2004 C conf
Representation of the Signal Transduction with Aberrance Using Ipi Calculus.
CIS
Min Zhang, Guoqiang Li, Yuxi Fu, Zhizhou Zhang, Lin He