Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGuoqiang Li 0001
Person information
- affiliation: Shanghai Jiao Tong University, School of Software, China
- affiliation (former): Nagoya University, Japan
- affiliation (former): Japan Advanced Institute of Science and Technology, Japan
Other persons with the same name
- Guoqiang Li — disambiguation page
- Guoqiang Li 0002
![[0000-0001-5513-395X]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0001-5513-395X")
— Yanshan University, Qinhuangdao, China - Guoqiang Li 0003 — Beijing institute of Technology, China (and 1 more)
- Guoqiang Li 0004 — Chinese Academy of Sciences, Institute of Acoustics, Beijing, China
- Guoqiang Li 0005 — Chinese Academy of Medical Sciences, Institute of Medicinal Plant Development, China
- Guoqiang Li 0006 — Beijing University of Posts and Telecommunications, China
- Guoqiang Li 0007 — Norwegian University of Science and Technology, Gjøvik, Norway
- Guoqiang Li 0008 — Huawei Technologies, Shenzhen, China
- Guoqiang Li 0009 — University of Kaiserslautern, Kaiserslautern, Germany
- Guoqiang Li 0010 — Fudan University, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j50]Saharat Saengsawang, Guoqiang Li:
Theoretical analysis of norm selection for robustness verification of neural networks. Phys. Commun. 58: 102019 (2023)- [j49]Yun Zhang, Qianqian Duan, Guoqiang Li, Jianzhen Wu:
Robustness quantification method for network intrusion detection models. Phys. Commun. 58: 102025 (2023) - [c56]Jingyang Li, Guoqiang Li:
HOBAT: Batch Verification for Homogeneous Structural Neural Networks. ASE 2023: 1276-1287 - [i8]Hongming Liu, Jingyu Ke, Hongfei Fu, Liqian Chen, Guoqiang Li:
Affine Disjunctive Invariant Generation with Farkas' Lemma. CoRR abs/2307.13318 (2023) - [i7]Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li:
Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. CoRR abs/2309.04274 (2023) - 2022
- [j48]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: 313-327 (2022) - [j47]Huanghao Yin, Jiacheng Liu, Xiaohong Chen, Guoqiang Li:
WeAnimate: Motion-coherent animation generation from video data. Multim. Tools Appl. 81(15): 20685-20703 (2022) - [j46]Hongming Liu, Hongfei Fu, Zhiyong Yu, Jiaxin Song, Guoqiang Li:
Scalable linear invariant generation with Farkas' lemma. Proc. ACM Program. Lang. 6(OOPSLA2): 204-232 (2022) - [j45]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: 101931 (2022) - [j44]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): 1973 (2022) - [j43]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): 1511-1520 (2022) - [c55]Minyu Chen, Guoqiang Li, Chen Ma, Jingyang Li, Hongfei Fu:
Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub Repositories. COLING 2022: 1580-1592 - [i6]Sinka Gao, Guoqiang Li, Hong Fei Fu, Heng Zhang:
A multi-chain synchronization protocol that leverage zero knowledge proof to minimize communication trust base. CoRR abs/2209.02974 (2022) - 2021
- [j42]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): 1390-1405 (2021) - [j41]Junfang Jia, Guoqiang Li:
Learning natural ordering of tags in domain-specific Q&A sites. Frontiers Inf. Technol. Electron. Eng. 22(2): 170-184 (2021) - [j40]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): 969-985 (2021) - [j39]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): 2296-2311 (2021) - [j38]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): 4693-4705 (2021) - [j37]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): 6111-6121 (2021) - [c54]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: 134-144 - [c53]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: 19-26 - [c52]Chunyan Mu, Guoqiang Li:
Integrating Information Flow Analysis in Unifying Theories of Programming. PRDC 2021: 67-76 - [c51]Qunhao Sha, Qizhe Yang, Guoqiang Li:
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. TASE 2021: 103-110 - [i5]Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen:
Essence of Factual Knowledge. CoRR abs/2107.00729 (2021) - [i4]Ying Zhao, Jinhao Tan, Guoqiang Li:
BPPChecker: An SMT-based Model Checker on Basic Parallel Processes. CoRR abs/2110.09414 (2021) - 2020
- [j36]Ruoyu Wang, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen:
Pipeline provenance for cloud-based big data analytics. Softw. Pract. Exp. 50(5): 658-674 (2020) - [j35]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): 4344-4354 (2020) - [j34]Xing Hu, Guoqiang Li:
Temporal Tensor Local Binary Pattern: A Novel Local Tensor Time Series Descriptor. IEEE Trans. Ind. Informatics 16(10): 6393-6402 (2020) - [j33]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): 759-768 (2020) - [c50]Ruoyu Wang, Xiaobo Hu, Daniel Sun, Guoqiang Li, Raymond K. Wong, Shiping Chen, Jianquan Liu:
Statistical Detection Of Collective Data Fraud. ICME 2020: 1-6 - [c49]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: 322-334 - [c48]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: 1286-1297 - [c47]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: 1202-1214 - [i3]Ruoyu Wang, Daniel Sun, Guoqiang Li:
Statistical Detection of Collective Data Fraud. CoRR abs/2001.00688 (2020) - [i2]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 abs/2003.00380 (2020) - [i1]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 abs/2008.05132 (2020)
2010 – 2019
- 2019
- [j32]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: 747-759 (2019) - [j31]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) - [j30]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): 196-218 (2019) - [j29]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: 184-195 (2019) - [j28]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: 164-176 (2019) - [j27]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): 623-645 (2019) - [j26]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): 43:1-43:20 (2019) - [j25]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): 123-135 (2019) - [c46]Haitao Zhang, Ayang Tuo, Guoqiang Li:
Model Checking is Possible to Verify Large-scale Vehicle Distributed Application Systems. DATE 2019: 594-597 - [c45]Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xin Xia, Guoqiang Li:
ActionNet: vision-based workflow action recognition from programming screencasts. ICSE 2019: 350-361 - [c44]Muhammad Jahanzeb Khan, Adeel Zafar, Valeriia Tumanian, Ding Yue, Guoqiang Li:
Object Detection Boosting using Object Attributes in Detect and Describe Framework. ICTAI 2019: 886-893 - [c43]Xiaoxue Ren, Zhenchang Xing, Xin Xia, Guoqiang Li, Jianling Sun:
Discovering, Explaining and Summarizing Controversial Discussions in Community Q&A Sites. ASE 2019: 151-162 - [c42]Yingying Wang, Guoqiang Li:
Detect Triangle Attack on Blockchain by Trace Analysis. QRS Companion 2019: 316-321 - [c41]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: 279-295 - 2018
- [j24]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: 548-556 (2018) - [j23]Guoqiang Li, Yunqing Wen, Shoji Yuen:
Updatable timed automata with one updatable clock. Sci. China Inf. Sci. 61(1): 012102:1-012102:14 (2018) - [j22]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): 052102:1-052102:15 (2018) - [j21]Ling Fang, Chunyan Mu, Zhuo Cheng, Guoqiang Li:
Evaluation of redundancy-based system: a model checking approach. Sci. China Inf. Sci. 61(6): 069101:1-069101:3 (2018) - [j20]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): 114-123 (2018) - [j19]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: 193-200 (2018) - [j18]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): 31239-31260 (2018) - [j17]Jixian Li, Wei Lu, Jian Weng, Yijun Mao, Guoqiang Li:
Double JPEG compression detection based on block statistics. Multim. Tools Appl. 77(24): 31895-31910 (2018) - [j16]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): 33:1-33:22 (2018) - [j15]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): 1229 (2018) - [j14]Guoqiang Li, Li Liu, Akira Fukuda:
Asynchronous multi-process timed automata. Softw. Qual. J. 26(3): 961-989 (2018) - [j13]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) - [j12]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): 1142-1151 (2018) - [j11]Daniel Sun, Alan D. Fekete, Vincent Gramoli, Guoqiang Li, Xiwei Xu, Liming Zhu:
R2C: Robust Rolling-Upgrade in Clouds. IEEE Trans. Dependable Secur. Comput. 15(5): 811-823 (2018) - [c40]Congcong Ye, Guoqiang Li, Hongming Cai, Yonggen Gu, Akira Fukuda:
Analysis of Security in Blockchain: Case Study in 51%-Attack Detecting. DSA 2018: 15-24 - [c39]Yun Guo, Daniel Sun, Guoqiang Li, Shiping Chen:
Examine Manipulated Datasets with Topology Data Analysis: A Case Study. ICICS 2018: 358-373 - [c38]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: 230-231 - [c37]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: 81-85 - [c36]Min Gao, Ruoyu Wang, Daniel Sun, Guoqiang Li:
Intelligent Healthcare Knowledge Resources in Chinese: A Survey. I-SPAN 2018: 318-324 - [c35]Jin Luo, Ruoyu Wang, Daniel Sun, Yingying Wang, Guoqiang Li:
Comparison among Four Prominent Text Processing Tools. I-SPAN 2018: 325-330 - 2017
- [j10]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: 582-589 (2017) - [j9]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: 7-16 (2017) - [j8]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): 333-344 (2017) - [j7]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): 849-865 (2017) - [c34]Yi Cui, Guoqiang Li, Hao Cheng, Daoyuan Wang:
Indexing for Large Scale Data Querying Based on Spark SQL. ICEBE 2017: 103-108 - [c33]Yuwei Wang, Yunqing Wen, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Diagonal Constraints. ICFEM 2017: 396-412 - [c32]Congcong Ye, Chun Li, Guoqiang Li, Lihong Jiang, Hongming Cai:
A Behavior Analysis Method Towards Product Quality Management. CONFENIS 2017: 12-20 - [c31]Junli Yang, Bo Song, Bing Yan, Guoqiang Li:
A Novel Hidden Markov Model for Genome-Wide Association Studies. QRS Companion 2017: 500-506 - [c30]Yuwei Wang, Guoqiang Li, Shoji Yuen:
Nested Timed Automata with Invariants. SETTA 2017: 77-93 - [c29]Xiuting Tao, Guoqiang Li:
The Complexity of Linear-Time Temporal Logic Model Repair. SOFL+MSVL 2017: 69-87 - [c28]Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong:
Active Learning with Density-Initialized Decision Tree for Record Matching. SSDBM 2017: 14:1-14:12 - 2016
- [j6]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: 647-653 (2016) - [j5]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): 278-289 (2016) - [j4]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): 371-390 (2016) - [c27]Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li:
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. ICIS 2016: 1-6 - [c26]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: 1402-1411 - [c25]Chenxiao Dou, Daniel Sun, Yi-Cheng Chen, Guoqiang Li, Jianquan Liu:
Probabilistic parallelisation of blocking non-matched records for big data. IEEE BigData 2016: 3465-3473 - [c24]Ruoyu Wang, Guoqiang Li, Daniel W. Sun, Jianwen Xiang, Hongming Cai:
CAT: A Customized Automata Toolkit. QRS Companion 2016: 171-177 - [c23]Bingbing Fang, Guoqiang Li, Daniel Sun, Hongming Cai:
Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET. SETTA 2016: 147-162 - [c22]Yuwei Wang, Xiuting Tao, Guoqiang Li:
On Termination and Boundedness of Nested Updatable Timed Automata. SOFL+MSVL 2016: 15-31 - 2015
- [j3]Lichao Wang, Guoqiang Li, Zhenjiang Hu:
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58(11): 1-14 (2015) - [c21]Guoqiang Li, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata with Frozen Clocks. FORMATS 2015: 189-205 - [c20]Bingbing Fang, Guoqiang Li, Ling Fang, Jianwen Xiang:
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata. QRS Companion 2015: 230-236 - [c19]Yunqing Wen, Guoqiang Li, Shoji Yuen:
On Reachability Analysis of Updatable Timed Automata with One Updatable Clock. SOFL+MSVL 2015: 147-161 - 2014
- [c18]Ling Fang, Guoqiang Li, Yingjie You, Chaobin Chen, Liqin Hu:
Toward SIL Evaluation for a Resilience Strategy. ISSRE Workshops 2014: 473-477 - [c17]Xiaohong Wu, Yonggen Gu, Guoqiang Li, Jie Tao, Jingyu Chen, Xiaolong Ma:
Online Mechanism Design for VMs Allocation in Private Cloud. NPC 2014: 234-246 - [c16]Yunqing Wen, Guoqiang Li, Shoji Yuen:
An Over-Approximation Forward Analysis for Nested Timed Automata. SOFL+MSVL 2014: 62-80 - 2013
- [c15]Guoqiang Li, Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen:
Nested Timed Automata. FORMATS 2013: 168-182 - [c14]Xiaohong Wu, Yonggen Gu, Guoqiang Li:
Game Analysis of Workload Factoring with the Hybrid Cloud. CANDAR 2013: 263-269 - 2012
- [j2]Jianzhi Jin, Kaihua Xu, Naixue Xiong, Yuhua Liu, Guoqiang Li:
Multi-index evaluation algorithm based on principal component analysis for node importance in complex networks. IET Networks 1(3): 108-115 (2012) - [j1]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and Analysis of Real-Time Systems with Mutex Components. Int. J. Found. Comput. Sci. 23(4): 831-852 (2012) - [c13]Guoqiang Li:
Measuring Time Lag with Nested Preemptions and Resumptions. ISORC Workshops 2012: 19-24 - [c12]Yizhou Zhang, Hao Lin, Guoqiang Li:
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. QSIC 2012: 120-123 - [c11]Jianxin Xue, Huan Long, Guoqiang Li:
An Improved Full Abstraction Approach to Analyzing Locality Semantics. TASE 2012: 101-108 - 2011
- [c10]Guoqiang Li, Yonggen Gu, Xiuting Tao, Jie Tao:
A Game Theoretic Model and Tree Analysis Method for Fair Exchange Protocols. TASE 2011: 243-246 - 2010
- [c9]Guoqiang Li, Xiaojuan Cai, Shoji Yuen:
Modeling and analysis of real -time systems with mutex components. IPDPS Workshops 2010: 1-8
2000 – 2009
- 2009
- [c8]Guoqiang Li, Shoji Yuen, Masakazu Adachi:
Environmental Simulation of Real-Time Systems with Nested Interrupts. TASE 2009: 21-28 - 2008
- [c7]Guoqiang Li, Mizuhito Ogawa:
Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. ATVA 2008: 374-385 - 2007
- [c6]Guoqiang Li, Mizuhito Ogawa:
On-the-Fly Model Checking of Fair Non-repudiation Protocols. ATVA 2007: 511-522 - 2006
- [c5]Min Zhang, Guoqiang Li, Yuxi Fu:
Secrecy of Signals by Typing in Signal Transduction. ICNC (2) 2006: 384-393 - 2005
- [c4]