Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Guoqiang Li 0001
@article{DBLP:journals/corr/abs-2403-15676,
author = {Hao Chen and
Minyu Chen and
Ruibang Liu and
Guoqiang Li},
title = {{AC4:} Algebraic Computation Checker for Circuit Constraints in ZKPs},
journal = {CoRR},
volume = {abs/2403.15676},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.15676},
doi = {10.48550/ARXIV.2403.15676},
eprinttype = {arXiv},
eprint = {2403.15676},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-15676.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-16097,
author = {Minyu Chen and
Guoqiang Li and
Ling{-}I Wu and
Ruibang Liu and
Yuxin Su and
Xi Chang and
Jianxin Xue},
title = {Can Language Models Pretend Solvers? Logic Code Simulation with LLMs},
journal = {CoRR},
volume = {abs/2403.16097},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.16097},
doi = {10.48550/ARXIV.2403.16097},
eprinttype = {arXiv},
eprint = {2403.16097},
timestamp = {Fri, 12 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-16097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/phycomm/SaengsawangL23,
author = {Saharat Saengsawang and
Guoqiang Li},
title = {Theoretical analysis of norm selection for robustness verification
of neural networks},
journal = {Phys. Commun.},
volume = {58},
pages = {102019},
year = {2023},
url = {https://doi.org/10.1016/j.phycom.2023.102019},
doi = {10.1016/J.PHYCOM.2023.102019},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/phycomm/SaengsawangL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/phycomm/ZhangDLW23,
author = {Yun Zhang and
Qianqian Duan and
Guoqiang Li and
Jianzhen Wu},
title = {Robustness quantification method for network intrusion detection models},
journal = {Phys. Commun.},
volume = {58},
pages = {102025},
year = {2023},
url = {https://doi.org/10.1016/j.phycom.2023.102025},
doi = {10.1016/J.PHYCOM.2023.102025},
timestamp = {Sat, 20 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/phycomm/ZhangDLW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiL23,
author = {Jingyang Li and
Guoqiang Li},
title = {{HOBAT:} Batch Verification for Homogeneous Structural Neural Networks},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {1276--1287},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00033},
doi = {10.1109/ASE56229.2023.00033},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/ShiCLL23,
author = {Chenhao Shi and
Hao Chen and
Ruibang Liu and
Guoqiang Li},
title = {Data-Flow-Based Normalization Generation Algorithm of {R1CS} for Zero-Knowledge
Proof},
booktitle = {28th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2023, Singapore, October 24-27, 2023},
pages = {191--197},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/PRDC59308.2023.00031},
doi = {10.1109/PRDC59308.2023.00031},
timestamp = {Tue, 23 Jan 2024 09:45:30 +0100},
biburl = {https://dblp.org/rec/conf/prdc/ShiCLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-13318,
author = {Hongming Liu and
Jingyu Ke and
Hongfei Fu and
Liqian Chen and
Guoqiang Li},
title = {Affine Disjunctive Invariant Generation with Farkas' Lemma},
journal = {CoRR},
volume = {abs/2307.13318},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2307.13318},
doi = {10.48550/ARXIV.2307.13318},
eprinttype = {arXiv},
eprint = {2307.13318},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2307-13318.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04274,
author = {Chenhao Shi and
Hao Chen and
Ruibang Liu and
Guoqiang Li},
title = {Data-Flow-Based Normalization Generation Algorithm of {R1CS} for Zero-Knowledge
Proof},
journal = {CoRR},
volume = {abs/2309.04274},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04274},
doi = {10.48550/ARXIV.2309.04274},
eprinttype = {arXiv},
eprint = {2309.04274},
timestamp = {Fri, 22 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04274.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/HuFJXLCZYZ22,
author = {Xing Hu and
Zhe Fan and
Linhua Jiang and
Jiawei Xu and
Guoqiang Li and
Wenming Chen and
Xinhua Zeng and
Genke Yang and
Dawei Zhang},
title = {{TOP-ALCM:} {A} novel video analysis method for violence detection
in crowded scenes},
journal = {Inf. Sci.},
volume = {606},
pages = {313--327},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.05.045},
doi = {10.1016/J.INS.2022.05.045},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/HuFJXLCZYZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/YinLCL22,
author = {Huanghao Yin and
Jiacheng Liu and
Xiaohong Chen and
Guoqiang Li},
title = {WeAnimate: Motion-coherent animation generation from video data},
journal = {Multim. Tools Appl.},
volume = {81},
number = {15},
pages = {20685--20703},
year = {2022},
url = {https://doi.org/10.1007/s11042-022-12359-4},
doi = {10.1007/S11042-022-12359-4},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/YinLCL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/LiuFYSL22,
author = {Hongming Liu and
Hongfei Fu and
Zhiyong Yu and
Jiaxin Song and
Guoqiang Li},
title = {Scalable linear invariant generation with Farkas' lemma},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{OOPSLA2}},
pages = {204--232},
year = {2022},
url = {https://doi.org/10.1145/3563295},
doi = {10.1145/3563295},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/LiuFYSL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/phycomm/ZhangLDW22,
author = {Yun Zhang and
Guoqiang Li and
Qianqian Duan and
Jianzhen Wu},
title = {An interpretable intrusion detection method based on few-shot learning
in cloud-ground interconnection},
journal = {Phys. Commun.},
volume = {55},
pages = {101931},
year = {2022},
url = {https://doi.org/10.1016/j.phycom.2022.101931},
doi = {10.1016/J.PHYCOM.2022.101931},
timestamp = {Sun, 08 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/phycomm/ZhangLDW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuXFDZJWHLZCWC22,
author = {Xing Hu and
Chun Xie and
Zhe Fan and
Qianqian Duan and
Dawei Zhang and
Linhua Jiang and
Xian Wei and
Danfeng Hong and
Guoqiang Li and
Xinhua Zeng and
Wenming Chen and
Dongfang Wu and
Jocelyn Chanussot},
title = {Hyperspectral Anomaly Detection Using Deep Learning: {A} Review},
journal = {Remote. Sens.},
volume = {14},
number = {9},
pages = {1973},
year = {2022},
url = {https://doi.org/10.3390/rs14091973},
doi = {10.3390/RS14091973},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/HuXFDZJWHLZCWC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/JiaLZL22,
author = {Tongyao Jia and
Jiafeng Li and
Li Zhuo and
Guoqiang Li},
title = {Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor
Industrial Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {18},
number = {3},
pages = {1511--1520},
year = {2022},
url = {https://doi.org/10.1109/TII.2021.3059020},
doi = {10.1109/TII.2021.3059020},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tii/JiaLZL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/ChenLML022,
author = {Minyu Chen and
Guoqiang Li and
Chen Ma and
Jingyang Li and
Hongfei Fu},
editor = {Nicoletta Calzolari and
Chu{-}Ren Huang and
Hansaem Kim and
James Pustejovsky and
Leo Wanner and
Key{-}Sun Choi and
Pum{-}Mo Ryu and
Hsin{-}Hsi Chen and
Lucia Donatelli and
Heng Ji and
Sadao Kurohashi and
Patrizia Paggio and
Nianwen Xue and
Seokhwan Kim and
Younggyun Hahm and
Zhong He and
Tony Kyungil Lee and
Enrico Santus and
Francis Bond and
Seung{-}Hoon Na},
title = {Repo4QA: Answering Coding Questions via Dense Retrieval on GitHub
Repositories},
booktitle = {Proceedings of the 29th International Conference on Computational
Linguistics, {COLING} 2022, Gyeongju, Republic of Korea, October 12-17,
2022},
pages = {1580--1592},
publisher = {International Committee on Computational Linguistics},
year = {2022},
url = {https://aclanthology.org/2022.coling-1.136},
timestamp = {Fri, 21 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/ChenLML022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-02974,
author = {Sinka Gao and
Guoqiang Li and
Hong Fei Fu and
Heng Zhang},
title = {A multi-chain synchronization protocol that leverage zero knowledge
proof to minimize communication trust base},
journal = {CoRR},
volume = {abs/2209.02974},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.02974},
doi = {10.48550/ARXIV.2209.02974},
eprinttype = {arXiv},
eprint = {2209.02974},
timestamp = {Mon, 15 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-02974.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/behaviourIT/JiaTL21,
author = {Junfang Jia and
Valeriia Tumanian and
Guoqiang Li},
title = {In favour of or against multi-lingual Q{\&}A sites? Exploring
the evidence from user and knowledge perspectives},
journal = {Behav. Inf. Technol.},
volume = {40},
number = {13},
pages = {1390--1405},
year = {2021},
url = {https://doi.org/10.1080/0144929X.2020.1752308},
doi = {10.1080/0144929X.2020.1752308},
timestamp = {Thu, 02 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/behaviourIT/JiaTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/JiaL21,
author = {Junfang Jia and
Guoqiang Li},
title = {Learning natural ordering of tags in domain-specific Q{\&}A sites},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {22},
number = {2},
pages = {170--184},
year = {2021},
url = {https://doi.org/10.1631/FITEE.1900645},
doi = {10.1631/FITEE.1900645},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jzusc/JiaL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jzusc/JiaTL21,
author = {Junfang Jia and
Valeriia Tumanian and
Guoqiang Li},
title = {Discovering semantically related technical terms and web resources
in Q{\&}A discussions},
journal = {Frontiers Inf. Technol. Electron. Eng.},
volume = {22},
number = {7},
pages = {969--985},
year = {2021},
url = {https://doi.org/10.1631/FITEE.2000186},
doi = {10.1631/FITEE.2000186},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jzusc/JiaTL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MaXCCQL21,
author = {Suyu Ma and
Zhenchang Xing and
Chunyang Chen and
Cheng Chen and
Lizhen Qu and
Guoqiang Li},
title = {Easy-to-Deploy {API} Extraction by Multi-Level Feature Embedding and
Transfer Learning},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {10},
pages = {2296--2311},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2946830},
doi = {10.1109/TSE.2019.2946830},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/MaXCCQL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/WuGTLHX21,
author = {Xiaohong Wu and
Yonggen Gu and
Jie Tao and
Guoqiang Li and
Jingti Han and
Naixue Xiong},
title = {An Effective Data-Driven Cloud Resource Procurement Scheme With Personalized
Reserve Prices},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {51},
number = {8},
pages = {4693--4705},
year = {2021},
url = {https://doi.org/10.1109/TSMC.2019.2944987},
doi = {10.1109/TSMC.2019.2944987},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/WuGTLHX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/SunPZLT21,
author = {Xiao Sun and
Zhengmeng Pei and
Chen Zhang and
Guoqiang Li and
Jianhua Tao},
title = {Design and Analysis of a Human-Machine Interaction System for Researching
Human's Dynamic Emotion},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {51},
number = {10},
pages = {6111--6121},
year = {2021},
url = {https://doi.org/10.1109/TSMC.2019.2958094},
doi = {10.1109/TSMC.2019.2958094},
timestamp = {Mon, 18 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/SunPZLT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amlta/ShiLTLXXWG21,
author = {Ruiqi Shi and
Chang Liu and
Jiang Tao and
Guoqiang Li and
Kai Xiao and
Zhangqian Xie and
Jian Wang and
Bahram Gharabaghi},
editor = {Aboul Ella Hassanien and
Kuo{-}Chi Chang and
Mincong Tang},
title = {Panoramic Radiographic X-Ray Image Tooth Root Segmentation Based on
LeNet-5 Networks},
booktitle = {Advanced Machine Learning Technologies and Applications - Proceedings
of {AMLTA} 2021, Cairo, Egypt, March 22-24, 2021},
series = {Advances in Intelligent Systems and Computing},
volume = {1339},
pages = {134--144},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-69717-4\_14},
doi = {10.1007/978-3-030-69717-4\_14},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amlta/ShiLTLXXWG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispa/QianLDCZL21,
author = {Aijuan Qian and
Chenlu Li and
Xiaoju Dong and
Shengtao Chen and
Yanling Zhang and
Guoqiang Li},
title = {SLAMVis: An Interactive Visualization Approach for Smart Labeling
on Multidimensional Data},
booktitle = {2021 {IEEE} Intl Conf on Parallel {\&} Distributed Processing
with Applications, Big Data {\&} Cloud Computing, Sustainable
Computing {\&} Communications, Social Computing {\&} Networking
(ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September
30 - Oct. 3, 2021},
pages = {19--26},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ISPA-BDCloud-SocialCom-SustainCom52081.2021.00018},
doi = {10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM52081.2021.00018},
timestamp = {Sun, 16 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispa/QianLDCZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/MuL21,
author = {Chunyan Mu and
Guoqiang Li},
title = {Integrating Information Flow Analysis in Unifying Theories of Programming},
booktitle = {26th {IEEE} Pacific Rim International Symposium on Dependable Computing,
{PRDC} 2021, Perth, Australia, December 1-4, 2021},
pages = {67--76},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/PRDC53464.2021.00018},
doi = {10.1109/PRDC53464.2021.00018},
timestamp = {Wed, 19 Jan 2022 17:40:15 +0100},
biburl = {https://dblp.org/rec/conf/prdc/MuL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/ShaYL21,
author = {Qunhao Sha and
Qizhe Yang and
Guoqiang Li},
title = {A Parallel Implementation of Liveness on Knowledge Graphs under Label
Constraints},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {103--110},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00016},
doi = {10.1109/TASE52547.2021.00016},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tase/ShaYL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-00729,
author = {Ruoyu Wang and
Daniel Sun and
Guoqiang Li and
Raymond K. Wong and
Shiping Chen},
title = {Essence of Factual Knowledge},
journal = {CoRR},
volume = {abs/2107.00729},
year = {2021},
url = {https://arxiv.org/abs/2107.00729},
eprinttype = {arXiv},
eprint = {2107.00729},
timestamp = {Wed, 16 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-00729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-09414,
author = {Ying Zhao and
Jinhao Tan and
Guoqiang Li},
title = {BPPChecker: An SMT-based Model Checker on Basic Parallel Processes},
journal = {CoRR},
volume = {abs/2110.09414},
year = {2021},
url = {https://arxiv.org/abs/2110.09414},
eprinttype = {arXiv},
eprint = {2110.09414},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-09414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/WangSLWC20,
author = {Ruoyu Wang and
Daniel Sun and
Guoqiang Li and
Raymond K. Wong and
Shiping Chen},
title = {Pipeline provenance for cloud-based big data analytics},
journal = {Softw. Pract. Exp.},
volume = {50},
number = {5},
pages = {658--674},
year = {2020},
url = {https://doi.org/10.1002/spe.2744},
doi = {10.1002/SPE.2744},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/WangSLWC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/LiZZLX20,
author = {Jiafeng Li and
Li Zhuo and
Hong Zhang and
Guoqiang Li and
Naixue Xiong},
title = {Effective Data-Driven Technology for Efficient Vision-Based Outdoor
Industrial Systems},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {16},
number = {7},
pages = {4344--4354},
year = {2020},
url = {https://doi.org/10.1109/TII.2019.2936467},
doi = {10.1109/TII.2019.2936467},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/LiZZLX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/HuL20,
author = {Xing Hu and
Guoqiang Li},
title = {Temporal Tensor Local Binary Pattern: {A} Novel Local Tensor Time
Series Descriptor},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {16},
number = {10},
pages = {6393--6402},
year = {2020},
url = {https://doi.org/10.1109/TII.2019.2962603},
doi = {10.1109/TII.2019.2962603},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/HuL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/DuanSLYY20,
author = {Qianqian Duan and
Daniel Sun and
Guoqiang Li and
Genke Yang and
Weiwu Yan},
title = {IoT-Enabled Service for Crude-Oil Production Systems Against Unpredictable
Disturbance},
journal = {{IEEE} Trans. Serv. Comput.},
volume = {13},
number = {4},
pages = {759--768},
year = {2020},
url = {https://doi.org/10.1109/TSC.2020.2964244},
doi = {10.1109/TSC.2020.2964244},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsc/DuanSLYY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/0004HS0W0L20,
author = {Ruoyu Wang and
Xiaobo Hu and
Daniel Sun and
Guoqiang Li and
Raymond K. Wong and
Shiping Chen and
Jianquan Liu},
title = {Statistical Detection Of Collective Data Fraud},
booktitle = {{IEEE} International Conference on Multimedia and Expo, {ICME} 2020,
London, UK, July 6-10, 2020},
pages = {1--6},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICME46284.2020.9102889},
doi = {10.1109/ICME46284.2020.9102889},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmcs/0004HS0W0L20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ChenCXXZ0W20,
author = {Jieshan Chen and
Chunyang Chen and
Zhenchang Xing and
Xiwei Xu and
Liming Zhu and
Guoqiang Li and
Jinshui Wang},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Unblind your apps: predicting natural-language labels for mobile {GUI}
components by deep learning},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {322--334},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380327},
doi = {10.1145/3377811.3380327},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ChenCXXZ0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhaoXCXZ0W20,
author = {Dehai Zhao and
Zhenchang Xing and
Chunyang Chen and
Xiwei Xu and
Liming Zhu and
Guoqiang Li and
Jinshui Wang},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Seenomaly: vision-based linting of {GUI} animation effects against
design-don't guidelines},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1286--1297},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380411},
doi = {10.1145/3377811.3380411},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhaoXCXZ0W20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChenXXCXZ020,
author = {Jieshan Chen and
Mulong Xie and
Zhenchang Xing and
Chunyang Chen and
Xiwei Xu and
Liming Zhu and
Guoqiang Li},
editor = {Prem Devanbu and
Myra B. Cohen and
Thomas Zimmermann},
title = {Object detection for graphical user interface: old fashioned or deep
learning or a combination?},
booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Virtual
Event, USA, November 8-13, 2020},
pages = {1202--1214},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368089.3409691},
doi = {10.1145/3368089.3409691},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ChenXXCXZ020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-00688,
author = {Ruoyu Wang and
Daniel Sun and
Guoqiang Li},
title = {Statistical Detection of Collective Data Fraud},
journal = {CoRR},
volume = {abs/2001.00688},
year = {2020},
url = {http://arxiv.org/abs/2001.00688},
eprinttype = {arXiv},
eprint = {2001.00688},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-00688.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-00380,
author = {Jieshan Chen and
Chunyang Chen and
Zhenchang Xing and
Xiwei Xu and
Liming Zhu and
Guoqiang Li and
Jinshui Wang},
title = {Unblind Your Apps: Predicting Natural-Language Labels for Mobile {GUI}
Components by Deep Learning},
journal = {CoRR},
volume = {abs/2003.00380},
year = {2020},
url = {https://arxiv.org/abs/2003.00380},
eprinttype = {arXiv},
eprint = {2003.00380},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-00380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-05132,
author = {Jieshan Chen and
Mulong Xie and
Zhenchang Xing and
Chunyang Chen and
Xiwei Xu and
Liming Zhu and
Guoqiang Li},
title = {Object Detection for Graphical User Interface: Old Fashioned or Deep
Learning or a Combination?},
journal = {CoRR},
volume = {abs/2008.05132},
year = {2020},
url = {https://arxiv.org/abs/2008.05132},
eprinttype = {arXiv},
eprint = {2008.05132},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-05132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/YangZYSLRS19,
author = {Yifan Yang and
Hong Zhang and
Ding Yuan and
Daniel Sun and
Guoqiang Li and
Rajiv Ranjan and
Mingui Sun},
title = {Hierarchical extreme learning machine based image denoising network
for visual Internet of Things},
journal = {Appl. Soft Comput.},
volume = {74},
pages = {747--759},
year = {2019},
url = {https://doi.org/10.1016/j.asoc.2018.08.046},
doi = {10.1016/J.ASOC.2018.08.046},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/asc/YangZYSLRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ZhangYYSZLS19,
author = {Hong Zhang and
Yifan Yang and
Ding Yuan and
Daniel Sun and
Jun Zhang and
Guoqiang Li and
Mingui Sun},
title = {Video denoising for security and privacy in fog computing},
journal = {Concurr. Comput. Pract. Exp.},
volume = {31},
number = {22},
year = {2019},
url = {https://doi.org/10.1002/cpe.4763},
doi = {10.1002/CPE.4763},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/ZhangYYSZLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eis/HuangXCLDJ19,
author = {Chengxi Huang and
Li Da Xu and
Hongming Cai and
Guoqiang Li and
Jiawei Du and
Lihong Jiang},
title = {A context-based service matching approach towards functional reliability
for industrial systems},
journal = {Enterp. Inf. Syst.},
volume = {13},
number = {2},
pages = {196--218},
year = {2019},
url = {https://doi.org/10.1080/17517575.2018.1509134},
doi = {10.1080/17517575.2018.1509134},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eis/HuangXCLDJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/SunLZZG19,
author = {Daniel Sun and
Guoqiang Li and
Yuanyuan Zhang and
Liming Zhu and
Raj Gaire},
title = {Statistically managing cloud operations for latency-tail-tolerance
in IoT-enabled smart cities},
journal = {J. Parallel Distributed Comput.},
volume = {127},
pages = {184--195},
year = {2019},
url = {https://doi.org/10.1016/j.jpdc.2018.02.016},
doi = {10.1016/J.JPDC.2018.02.016},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/SunLZZG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/WangSXQLL19,
author = {Zhong Wang and
Daniel Sun and
Guangtao Xue and
Shiyou Qian and
Guoqiang Li and
Minglu Li},
title = {Ada-Things: An adaptive virtual machine monitoring and migration strategy
for internet of things applications},
journal = {J. Parallel Distributed Comput.},
volume = {132},
pages = {164--176},
year = {2019},
url = {https://doi.org/10.1016/j.jpdc.2018.06.009},
doi = {10.1016/J.JPDC.2018.06.009},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/WangSXQLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/DouCSWALR19,
author = {Chenxiao Dou and
Yi Cui and
Daniel Sun and
Raymond K. Wong and
Muhammad Atif and
Guoqiang Li and
Rajiv Ranjan},
title = {Unsupervised blocking and probabilistic parallelisation for record
matching of distributed big data},
journal = {J. Supercomput.},
volume = {75},
number = {2},
pages = {623--645},
year = {2019},
url = {https://doi.org/10.1007/s11227-017-2008-8},
doi = {10.1007/S11227-017-2008-8},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/DouCSWALR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toit/SunCLZA19,
author = {Daniel Sun and
Shiping Chen and
Guoqiang Li and
Yuanyuan Zhang and
Muhammad Atif},
title = {Multi-objective Optimisation of Online Distributed Software Update
for DevOps in Clouds},
journal = {{ACM} Trans. Internet Techn.},
volume = {19},
number = {3},
pages = {43:1--43:20},
year = {2019},
url = {https://doi.org/10.1145/3338851},
doi = {10.1145/3338851},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toit/SunCLZA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/HuangLCXLJ19,
author = {Shunting Huang and
Ling Li and
Hongming Cai and
Boyi Xu and
Guoqiang Li and
Lihong Jiang},
title = {A Configurable WoT Application Platform Based on Spatiotemporal Semantic
Scenarios},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {49},
number = {1},
pages = {123--135},
year = {2019},
url = {https://doi.org/10.1109/TSMC.2017.2753465},
doi = {10.1109/TSMC.2017.2753465},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/HuangLCXLJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZhangT019,
author = {Haitao Zhang and
Ayang Tuo and
Guoqiang Li},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {Model Checking is Possible to Verify Large-scale Vehicle Distributed
Application Systems},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {594--597},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8714795},
doi = {10.23919/DATE.2019.8714795},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/ZhangT019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhaoXC0019,
author = {Dehai Zhao and
Zhenchang Xing and
Chunyang Chen and
Xin Xia and
Guoqiang Li},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {ActionNet: vision-based workflow action recognition from programming
screencasts},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {350--361},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00049},
doi = {10.1109/ICSE.2019.00049},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/ZhaoXC0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/KhanZTYL19,
author = {Muhammad Jahanzeb Khan and
Adeel Zafar and
Valeriia Tumanian and
Ding Yue and
Guoqiang Li},
title = {Object Detection Boosting using Object Attributes in Detect and Describe
Framework},
booktitle = {31st {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2019, Portland, OR, USA, November 4-6, 2019},
pages = {886--893},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICTAI.2019.00126},
doi = {10.1109/ICTAI.2019.00126},
timestamp = {Wed, 26 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/KhanZTYL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RenX00S19,
author = {Xiaoxue Ren and
Zhenchang Xing and
Xin Xia and
Guoqiang Li and
Jianling Sun},
title = {Discovering, Explaining and Summarizing Controversial Discussions
in Community Q{\&}A Sites},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {151--162},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00024},
doi = {10.1109/ASE.2019.00024},
timestamp = {Sun, 19 Jan 2020 15:18:02 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RenX00S19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/WangL19b,
author = {Yingying Wang and
Guoqiang Li},
title = {Detect Triangle Attack on Blockchain by Trace Analysis},
booktitle = {19th {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS} Companion 2019, Sofia, Bulgaria, July
22-26, 2019},
pages = {316--321},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/QRS-C.2019.00066},
doi = {10.1109/QRS-C.2019.00066},
timestamp = {Mon, 09 Aug 2021 14:54:04 +0200},
biburl = {https://dblp.org/rec/conf/qrs/WangL19b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/KhanWSL19,
author = {Muhammad Jahanzeb Khan and
Ruoyu Wang and
Daniel Sun and
Guoqiang Li},
editor = {Huaikou Miao and
Cong Tian and
Shaoying Liu and
Zhenhua Duan},
title = {Data Provenance Based System for Classification and Linear Regression
in Distributed Machine Learning},
booktitle = {Structured Object-Oriented Formal Language and Method - 9th International
Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12028},
pages = {279--295},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41418-4\_19},
doi = {10.1007/978-3-030-41418-4\_19},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sofl/KhanWSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/DingWXLSZR18,
author = {Yue Ding and
Dong Wang and
Xin Xin and
Guoqiang Li and
Daniel Sun and
Xuezhi Zeng and
Rajiv Ranjan},
title = {{SCFM:} Social and crowdsourcing factorization machines for recommendation},
journal = {Appl. Soft Comput.},
volume = {66},
pages = {548--556},
year = {2018},
url = {https://doi.org/10.1016/j.asoc.2017.08.028},
doi = {10.1016/J.ASOC.2017.08.028},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/DingWXLSZR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/LiWY18,
author = {Guoqiang Li and
Yunqing Wen and
Shoji Yuen},
title = {Updatable timed automata with one updatable clock},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {1},
pages = {012102:1--012102:14},
year = {2018},
url = {https://doi.org/10.1007/s11432-016-9027-y},
doi = {10.1007/S11432-016-9027-Y},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/LiWY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ZhangCLL18,
author = {Haitao Zhang and
Zhuo Cheng and
Guoqiang Li and
Shaoying Liu},
title = {autoC: an efficient translator for model checking deterministic scheduler
based {OSEK/VDX} applications},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {5},
pages = {052102:1--052102:15},
year = {2018},
url = {https://doi.org/10.1007/s11432-016-9039-4},
doi = {10.1007/S11432-016-9039-4},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/ZhangCLL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/FangMCL18,
author = {Ling Fang and
Chunyan Mu and
Zhuo Cheng and
Guoqiang Li},
title = {Evaluation of redundancy-based system: a model checking approach},
journal = {Sci. China Inf. Sci.},
volume = {61},
number = {6},
pages = {069101:1--069101:3},
year = {2018},
url = {https://doi.org/10.1007/s11432-016-9220-5},
doi = {10.1007/S11432-016-9220-5},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/FangMCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbdi/WangLXC18,
author = {Ruoyu Wang and
Guoqiang Li and
Jianwen Xiang and
Hongming Cai},
title = {A customised automata algorithm and toolkit for language learning
and application},
journal = {Int. J. Big Data Intell.},
volume = {5},
number = {1/2},
pages = {114--123},
year = {2018},
url = {https://doi.org/10.1504/IJBDI.2018.10008173},
doi = {10.1504/IJBDI.2018.10008173},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijbdi/WangLXC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/SunZ0SRZR18,
author = {Xiao Sun and
Chen Zhang and
Guoqiang Li and
Daniel Sun and
Fuji Ren and
Albert Y. Zomaya and
Rajiv Ranjan},
title = {Detecting users' anomalous emotion using social media for business
intelligence},
journal = {J. Comput. Sci.},
volume = {25},
pages = {193--200},
year = {2018},
url = {https://doi.org/10.1016/j.jocs.2017.05.029},
doi = {10.1016/J.JOCS.2017.05.029},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/SunZ0SRZR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/ZhangLWL18,
author = {Qingbo Zhang and
Wei Lu and
Ruxin Wang and
Guoqiang Li},
title = {Digital image splicing detection based on Markov features in block
{DWT} domain},
journal = {Multim. Tools Appl.},
volume = {77},
number = {23},
pages = {31239--31260},
year = {2018},
url = {https://doi.org/10.1007/s11042-018-6230-z},
doi = {10.1007/S11042-018-6230-Z},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/ZhangLWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/LiLWML18,
author = {Jixian Li and
Wei Lu and
Jian Weng and
Yijun Mao and
Guoqiang Li},
title = {Double {JPEG} compression detection based on block statistics},
journal = {Multim. Tools Appl.},
volume = {77},
number = {24},
pages = {31895--31910},
year = {2018},
url = {https://doi.org/10.1007/s11042-018-6175-2},
doi = {10.1007/S11042-018-6175-2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mta/LiLWML18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/ChenCSXL18,
author = {Chunyang Chen and
Xi Chen and
Jiamou Sun and
Zhenchang Xing and
Guoqiang Li},
title = {Data-Driven Proactive Policy Assurance of Post Quality in Community
q{\&}a Sites},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {2},
number = {{CSCW}},
pages = {33:1--33:22},
year = {2018},
url = {https://doi.org/10.1145/3274302},
doi = {10.1145/3274302},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/ChenCSXL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/ZhaoZLZSLF18,
author = {Qi Zhao and
Boxue Zhang and
Shuchang Lyu and
Hong Zhang and
Daniel Sun and
Guoqiang Li and
Wenquan Feng},
title = {A {CNN-SIFT} Hybrid Pedestrian Navigation Method Based on First-Person
Vision},
journal = {Remote. Sens.},
volume = {10},
number = {8},
pages = {1229},
year = {2018},
url = {https://doi.org/10.3390/rs10081229},
doi = {10.3390/RS10081229},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/ZhaoZLZSLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sqj/LiLF18,
author = {Guoqiang Li and
Li Liu and
Akira Fukuda},
title = {Asynchronous multi-process timed automata},
journal = {Softw. Qual. J.},
volume = {26},
number = {3},
pages = {961--989},
year = {2018},
url = {https://doi.org/10.1007/s11219-017-9380-8},
doi = {10.1007/S11219-017-9380-8},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sqj/LiLF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ZhangLCX18,
author = {Haitao Zhang and
Guoqiang Li and
Zhuo Cheng and
Jinyun Xue},
title = {Verifying {OSEK/VDX} automotive applications: {A} Spin-based model
checking approach},
journal = {Softw. Test. Verification Reliab.},
volume = {28},
number = {3},
year = {2018},
url = {https://doi.org/10.1002/stvr.1662},
doi = {10.1002/STVR.1662},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ZhangLCX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcss/LuXXLC18,
author = {Lifei Lu and
Lida Xu and
Boyi Xu and
Guoqiang Li and
Hongming Cai},
title = {Fog Computing Approach for Music Cognition System Based on Machine
Learning Algorithm},
journal = {{IEEE} Trans. Comput. Soc. Syst.},
volume = {5},
number = {4},
pages = {1142--1151},
year = {2018},
url = {https://doi.org/10.1109/TCSS.2018.2871694},
doi = {10.1109/TCSS.2018.2871694},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcss/LuXXLC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/SunFGLXZ18,
author = {Daniel Sun and
Alan D. Fekete and
Vincent Gramoli and
Guoqiang Li and
Xiwei Xu and
Liming Zhu},
title = {R\({}^{\mbox{2}}\)C: Robust Rolling-Upgrade in Clouds},
journal = {{IEEE} Trans. Dependable Secur. Comput.},
volume = {15},
number = {5},
pages = {811--823},
year = {2018},
url = {https://doi.org/10.1109/TDSC.2016.2615919},
doi = {10.1109/TDSC.2016.2615919},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tdsc/SunFGLXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsa/Ye0CGF18,
author = {Congcong Ye and
Guoqiang Li and
Hongming Cai and
Yonggen Gu and
Akira Fukuda},
title = {Analysis of Security in Blockchain: Case Study in 51{\%}-Attack Detecting},
booktitle = {5th International Conference on Dependable Systems and Their Applications,
{DSA} 2018, Dalian, China, September 22-23, 2018},
pages = {15--24},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/DSA.2018.00015},
doi = {10.1109/DSA.2018.00015},
timestamp = {Mon, 09 Aug 2021 01:32:18 +0200},
biburl = {https://dblp.org/rec/conf/dsa/Ye0CGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icics/GuoS0C18,
author = {Yun Guo and
Daniel Sun and
Guoqiang Li and
Shiping Chen},
editor = {David Naccache and
Shouhuai Xu and
Sihan Qing and
Pierangela Samarati and
Gregory Blanc and
Rongxing Lu and
Zonghua Zhang and
Ahmed Meddahi},
title = {Examine Manipulated Datasets with Topology Data Analysis: {A} Case
Study},
booktitle = {Information and Communications Security - 20th International Conference,
{ICICS} 2018, Lille, France, October 29-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11149},
pages = {358--373},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01950-1\_21},
doi = {10.1007/978-3-030-01950-1\_21},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icics/GuoS0C18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Zhang0LCXL18,
author = {Haitao Zhang and
Guoqiang Li and
Xiaohong Li and
Zhuo Cheng and
Jinyun Xue and
Shaoying Liu},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {An efficient approach for verifying automobile distributed application
systems on timing property},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {230--231},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3194945},
doi = {10.1145/3183440.3194945},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Zhang0LCXL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiaiaai/FukudaNHKTMAIAA18,
author = {Akira Fukuda and
Tsuneo Nakanishi and
Kenji Hisazumi and
Kunihiko Kaneko and
Shigeaki Tagashira and
Tsunenori Mine and
Yutaka Arakawa and
Shigemi Ishida and
Takahiro Ando and
Shuichi Ashihara and
Masakatsu Ura and
Yoshimichi Nakamura and
Soichiro Nakamura and
Weiqiang Kong and
Guoqiang Li},
title = {Toward Sustainable Smart Mobility Information Infrastructure Platform
- Current Status -},
booktitle = {7th International Congress on Advanced Applied Informatics, {IIAI-AAI}
2018, Yonago, Japan, July 8-13, 2018},
pages = {81--85},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IIAI-AAI.2018.00025},
doi = {10.1109/IIAI-AAI.2018.00025},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iiaiaai/FukudaNHKTMAIAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/GaoWS018,
author = {Min Gao and
Ruoyu Wang and
Daniel Sun and
Guoqiang Li},
title = {Intelligent Healthcare Knowledge Resources in Chinese: {A} Survey},
booktitle = {15th International Symposium on Pervasive Systems, Algorithms and
Networks, {I-SPAN} 2018, Yichang, China, October 16-18, 2018},
pages = {318--324},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/I-SPAN.2018.00061},
doi = {10.1109/I-SPAN.2018.00061},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispan/GaoWS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispan/LuoWSWL18,
author = {Jin Luo and
Ruoyu Wang and
Daniel Sun and
Yingying Wang and
Guoqiang Li},
title = {Comparison among Four Prominent Text Processing Tools},
booktitle = {15th International Symposium on Pervasive Systems, Algorithms and
Networks, {I-SPAN} 2018, Yichang, China, October 16-18, 2018},
pages = {325--330},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/I-SPAN.2018.00072},
doi = {10.1109/I-SPAN.2018.00072},
timestamp = {Thu, 04 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispan/LuoWSWL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/TaoLSC17,
author = {Xiuting Tao and
Guoqiang Li and
Daniel Sun and
Hongming Cai},
title = {A game-theoretic model and analysis of data exchange protocols for
Internet of Things in clouds},
journal = {Future Gener. Comput. Syst.},
volume = {76},
pages = {582--589},
year = {2017},
url = {https://doi.org/10.1016/j.future.2016.12.030},
doi = {10.1016/J.FUTURE.2016.12.030},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/TaoLSC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/ZhangLSLH17,
author = {Haitao Zhang and
Guoqiang Li and
Daniel Sun and
Yonggang Lu and
Ching{-}Hsien Hsu},
title = {Verifying cooperative software: {A} SMT-based bounded model checking
approach for deterministic scheduler},
journal = {J. Syst. Archit.},
volume = {81},
pages = {7--16},
year = {2017},
url = {https://doi.org/10.1016/j.sysarc.2017.09.008},
doi = {10.1016/J.SYSARC.2017.09.008},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/ZhangLSLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/XieLCJX17,
author = {Cheng Xie and
Guoqiang Li and
Hongming Cai and
Lihong Jiang and
Neal N. Xiong},
title = {Dynamic Weight-Based Individual Similarity Calculation for Information
Searching in Social Computing},
journal = {{IEEE} Syst. J.},
volume = {11},
number = {1},
pages = {333--344},
year = {2017},
url = {https://doi.org/10.1109/JSYST.2015.2443806},
doi = {10.1109/JSYST.2015.2443806},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/XieLCJX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/DingWLSXQ17,
author = {Yue Ding and
Dong Wang and
Guoqiang Li and
Daniel Sun and
Xin Xin and
Shiyou Qian},
title = {Exploiting long-term and short-term preferences and {RFID} trajectories
in shop recommendation},
journal = {Softw. Pract. Exp.},
volume = {47},
number = {6},
pages = {849--865},
year = {2017},
url = {https://doi.org/10.1002/spe.2460},
doi = {10.1002/SPE.2460},
timestamp = {Sat, 22 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/DingWLSXQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/CuiLCW17,
author = {Yi Cui and
Guoqiang Li and
Hao Cheng and
Daoyuan Wang},
editor = {Omar Hussain and
Lihong Jiang and
Xiang Fei and
Ci{-}Wei Lan and
Kuo{-}Ming Chao},
title = {Indexing for Large Scale Data Querying Based on Spark {SQL}},
booktitle = {14th {IEEE} International Conference on e-Business Engineering, {ICEBE}
2017, Shanghai, China, November 4-6, 2017},
pages = {103--108},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICEBE.2017.25},
doi = {10.1109/ICEBE.2017.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icebe/CuiLCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/WangW0Y17,
author = {Yuwei Wang and
Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Zhenhua Duan and
Luke Ong},
title = {Nested Timed Automata with Diagonal Constraints},
booktitle = {Formal Methods and Software Engineering - 19th International Conference
on Formal Engineering Methods, {ICFEM} 2017, Xi'an, China, November
13-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10610},
pages = {396--412},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68690-5\_24},
doi = {10.1007/978-3-319-68690-5\_24},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/WangW0Y17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8/YeLLJC17,
author = {Congcong Ye and
Chun Li and
Guoqiang Li and
Lihong Jiang and
Hongming Cai},
editor = {A Min Tjoa and
Li{-}Rong Zheng and
Zhuo Zou and
Maria Raffai and
Li Da Xu and
Niina Maarit Novak},
title = {A Behavior Analysis Method Towards Product Quality Management},
booktitle = {Research and Practical Issues of Enterprise Information Systems -
11th {IFIP} {WG} 8.9 Working Conference, {CONFENIS} 2017, Shanghai,
China, October 18-20, 2017, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {310},
pages = {12--20},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94845-4\_2},
doi = {10.1007/978-3-319-94845-4\_2},
timestamp = {Tue, 29 Dec 2020 18:39:31 +0100},
biburl = {https://dblp.org/rec/conf/ifip8/YeLLJC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/YangSYL17,
author = {Junli Yang and
Bo Song and
Bing Yan and
Guoqiang Li},
title = {A Novel Hidden Markov Model for Genome-Wide Association Studies},
booktitle = {2017 {IEEE} International Conference on Software Quality, Reliability
and Security Companion, {QRS-C} 2017, Prague, Czech Republic, July
25-29, 2017},
pages = {500--506},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/QRS-C.2017.86},
doi = {10.1109/QRS-C.2017.86},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/YangSYL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Wang0Y17,
author = {Yuwei Wang and
Guoqiang Li and
Shoji Yuen},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {Nested Timed Automata with Invariants},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {77--93},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_5},
doi = {10.1007/978-3-319-69483-2\_5},
timestamp = {Tue, 13 Apr 2021 10:56:13 +0200},
biburl = {https://dblp.org/rec/conf/setta/Wang0Y17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Tao017,
author = {Xiuting Tao and
Guoqiang Li},
editor = {Cong Tian and
Fumiko Nagoya and
Shaoying Liu and
Zhenhua Duan},
title = {The Complexity of Linear-Time Temporal Logic Model Repair},
booktitle = {Structured Object-Oriented Formal Language and Method - 7th International
Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10795},
pages = {69--87},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-90104-6\_5},
doi = {10.1007/978-3-319-90104-6\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Tao017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdbm/DouS0W17,
author = {Chenxiao Dou and
Daniel Sun and
Guoqiang Li and
Raymond K. Wong},
title = {Active Learning with Density-Initialized Decision Tree for Record
Matching},
booktitle = {Proceedings of the 29th International Conference on Scientific and
Statistical Database Management, Chicago, IL, USA, June 27-29, 2017},
pages = {14:1--14:12},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3085504.3085518},
doi = {10.1145/3085504.3085518},
timestamp = {Thu, 24 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssdbm/DouS0W17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jocs/GuTLSWJR16,
author = {Yonggen Gu and
Jie Tao and
Guoqiang Li and
Daniel W. Sun and
Xiaohong Wu and
Prem Prakash Jayaraman and
Rajiv Ranjan},
title = {A preemptive truthful VMs allocation online mechanism in private cloud},
journal = {J. Comput. Sci.},
volume = {17},
pages = {647--653},
year = {2016},
url = {https://doi.org/10.1016/j.jocs.2016.05.006},
doi = {10.1016/J.JOCS.2016.05.006},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jocs/GuTLSWJR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tetc/SunFZ0L16,
author = {Daniel Sun and
Min Fu and
Liming Zhu and
Guoqiang Li and
Qinghua Lu},
title = {Non-Intrusive Anomaly Detection With Streaming Performance Metrics
and Logs for DevOps in Public Clouds: {A} Case Study in {AWS}},
journal = {{IEEE} Trans. Emerg. Top. Comput.},
volume = {4},
number = {2},
pages = {278--289},
year = {2016},
url = {https://doi.org/10.1109/TETC.2016.2520883},
doi = {10.1109/TETC.2016.2520883},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tetc/SunFZ0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/WuGT0JSRZH16,
author = {Xiaohong Wu and
Yonggen Gu and
Jie Tao and
Guoqiang Li and
Prem Prakash Jayaraman and
Daniel Sun and
Rajiv Ranjan and
Albert Y. Zomaya and
Jingti Han},
title = {An online greedy allocation of VMs with non-increasing reservations
in clouds},
journal = {J. Supercomput.},
volume = {72},
number = {2},
pages = {371--390},
year = {2016},
url = {https://doi.org/10.1007/s11227-015-1567-9},
doi = {10.1007/S11227-015-1567-9},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tjs/WuGT0JSRZH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ACISicis/ZhangCTLL16,
author = {Haitao Zhang and
Zhuo Cheng and
Cong Tian and
Yonggang Lu and
Guoqiang Li},
title = {Verifying {OSEK/VDX} applications: An optimized SMT-based bounded
model checking approach},
booktitle = {15th {IEEE/ACIS} International Conference on Computer and Information
Science, {ICIS} 2016, Okayama, Japan, June 26-29, 2016},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICIS.2016.7550826},
doi = {10.1109/ICIS.2016.7550826},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ACISicis/ZhangCTLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/WangS0AN16,
author = {Ruoyu Wang and
Daniel Sun and
Guoqiang Li and
Muhammad Atif and
Surya Nepal},
editor = {James Joshi and
George Karypis and
Ling Liu and
Xiaohua Hu and
Ronay Ak and
Yinglong Xia and
Weijia Xu and
Aki{-}Hiro Sato and
Sudarsan Rachuri and
Lyle H. Ungar and
Philip S. Yu and
Rama Govindaraju and
Toyotaro Suzumura},
title = {LogProv: Logging events as provenance of big data analytics pipelines
with trustworthiness},
booktitle = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
Washington DC, USA, December 5-8, 2016},
pages = {1402--1411},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BigData.2016.7840748},
doi = {10.1109/BIGDATA.2016.7840748},
timestamp = {Fri, 19 Nov 2021 16:08:20 +0100},
biburl = {https://dblp.org/rec/conf/bigdataconf/WangS0AN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/DouSC0L16,
author = {Chenxiao Dou and
Daniel Sun and
Yi{-}Cheng Chen and
Guoqiang Li and
Jianquan Liu},
editor = {James Joshi and
George Karypis and
Ling Liu and
Xiaohua Hu and
Ronay Ak and
Yinglong Xia and
Weijia Xu and
Aki{-}Hiro Sato and
Sudarsan Rachuri and
Lyle H. Ungar and
Philip S. Yu and
Rama Govindaraju and
Toyotaro Suzumura},
title = {Probabilistic parallelisation of blocking non-matched records for
big data},
booktitle = {2016 {IEEE} International Conference on Big Data {(IEEE} BigData 2016),
Washington DC, USA, December 5-8, 2016},
pages = {3465--3473},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BigData.2016.7841009},
doi = {10.1109/BIGDATA.2016.7841009},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/DouSC0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/Wang0SXC16,
author = {Ruoyu Wang and
Guoqiang Li and
Daniel W. Sun and
Jianwen Xiang and
Hongming Cai},
title = {{CAT:} {A} Customized Automata Toolkit},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Companion, Vienna, Austria, August 1-3,
2016},
pages = {171--177},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS-C.2016.27},
doi = {10.1109/QRS-C.2016.27},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/Wang0SXC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/Fang0SC16,
author = {Bingbing Fang and
Guoqiang Li and
Daniel Sun and
Hongming Cai},
editor = {Martin Fr{\"{a}}nzle and
Deepak Kapur and
Naijun Zhan},
title = {Schedulability Analysis of Timed Regular Tasks by Under-Approximation
on {WCET}},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- Second International Symposium, {SETTA} 2016, Beijing, China, November
9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {147--162},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47677-3\_10},
doi = {10.1007/978-3-319-47677-3\_10},
timestamp = {Tue, 21 Mar 2023 20:59:17 +0100},
biburl = {https://dblp.org/rec/conf/setta/Fang0SC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/WangT016,
author = {Yuwei Wang and
Xiuting Tao and
Guoqiang Li},
editor = {Shaoying Liu and
Zhenhua Duan and
Cong Tian and
Fumiko Nagoya},
title = {On Termination and Boundedness of Nested Updatable Timed Automata},
booktitle = {Structured Object-Oriented Formal Language and Method - 6th International
Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10189},
pages = {15--31},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57708-1\_2},
doi = {10.1007/978-3-319-57708-1\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/WangT016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/WangLH15,
author = {Lichao Wang and
Guoqiang Li and
Zhenjiang Hu},
title = {Constructing format-preserving printing from syntax-directed definitions},
journal = {Sci. China Inf. Sci.},
volume = {58},
number = {11},
pages = {1--14},
year = {2015},
url = {https://doi.org/10.1007/s11432-015-5368-9},
doi = {10.1007/S11432-015-5368-9},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/chinaf/WangLH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/0001OY15,
author = {Guoqiang Li and
Mizuhito Ogawa and
Shoji Yuen},
editor = {Sriram Sankaranarayanan and
Enrico Vicario},
title = {Nested Timed Automata with Frozen Clocks},
booktitle = {Formal Modeling and Analysis of Timed Systems - 13th International
Conference, {FORMATS} 2015, Madrid, Spain, September 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9268},
pages = {189--205},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22975-1\_13},
doi = {10.1007/978-3-319-22975-1\_13},
timestamp = {Fri, 06 Sep 2019 10:57:16 +0200},
biburl = {https://dblp.org/rec/conf/formats/0001OY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/Fang0FX15,
author = {Bingbing Fang and
Guoqiang Li and
Ling Fang and
Jianwen Xiang},
title = {A Refined Algorithm for Reachability Analysis of Updatable Timed Automata},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Companion, Vancouver, BC, Canada, August
3-5, 2015},
pages = {230--236},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS-C.2015.47},
doi = {10.1109/QRS-C.2015.47},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/Fang0FX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wen0Y15,
author = {Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {On Reachability Analysis of Updatable Timed Automata with One Updatable
Clock},
booktitle = {Structured Object-Oriented Formal Language and Method - 5th International
Workshop, {SOFL+MSVL} 2015, Paris, France, November 6, 2015. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9559},
pages = {147--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31220-0\_11},
doi = {10.1007/978-3-319-31220-0\_11},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wen0Y15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/FangLYCH14,
author = {Ling Fang and
Guoqiang Li and
Yingjie You and
Chaobin Chen and
Liqin Hu},
title = {Toward {SIL} Evaluation for a Resilience Strategy},
booktitle = {25th {IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
pages = {473--477},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ISSREW.2014.41},
doi = {10.1109/ISSREW.2014.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/FangLYCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/npc/WuG0TCM14,
author = {Xiaohong Wu and
Yonggen Gu and
Guoqiang Li and
Jie Tao and
Jingyu Chen and
Xiaolong Ma},
editor = {Ching{-}Hsien Hsu and
Xuanhua Shi and
Valentina Salapura},
title = {Online Mechanism Design for VMs Allocation in Private Cloud},
booktitle = {Network and Parallel Computing - 11th {IFIP} {WG} 10.3 International
Conference, {NPC} 2014, Ilan, Taiwan, September 18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8707},
pages = {234--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44917-2\_20},
doi = {10.1007/978-3-662-44917-2\_20},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/npc/WuG0TCM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofl/Wen0Y14,
author = {Yunqing Wen and
Guoqiang Li and
Shoji Yuen},
editor = {Shaoying Liu and
Zhenhua Duan},
title = {An Over-Approximation Forward Analysis for Nested Timed Automata},
booktitle = {Structured Object-Oriented Formal Language and Method - 4th International
Workshop, {SOFL+MSVL} 2014, Luxembourg, Luxembourg, November 6, 2014,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8979},
pages = {62--80},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17404-4\_5},
doi = {10.1007/978-3-319-17404-4\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/sofl/Wen0Y14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/LiCOY13,
author = {Guoqiang Li and
Xiaojuan Cai and
Mizuhito Ogawa and
Shoji Yuen},
editor = {V{\'{\i}}ctor A. Braberman and
Laurent Fribourg},
title = {Nested Timed Automata},
booktitle = {Formal Modeling and Analysis of Timed Systems - 11th International
Conference, {FORMATS} 2013, Buenos Aires, Argentina, August 29-31,
2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8053},
pages = {168--182},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40229-6\_12},
doi = {10.1007/978-3-642-40229-6\_12},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/LiCOY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/WuG013,
author = {Xiaohong Wu and
Yonggen Gu and
Guoqiang Li},
editor = {Juan E. Guerrero},
title = {Game Analysis of Workload Factoring with the Hybrid Cloud},
booktitle = {The First International Symposium on Computing and Networking - Across
Practical Development and Theoretical Research, Dogo {SPA} Resort,
Matsuyama, Japan, December 4-6, 2013},
pages = {263--269},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CANDAR.2013.46},
doi = {10.1109/CANDAR.2013.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/WuG013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-net/JinXXLL12,
author = {Jianzhi Jin and
Kaihua Xu and
Naixue Xiong and
Yuhua Liu and
Guoqiang Li},
title = {Multi-index evaluation algorithm based on principal component analysis
for node importance in complex networks},
journal = {{IET} Networks},
volume = {1},
number = {3},
pages = {108--115},
year = {2012},
url = {https://doi.org/10.1049/iet-net.2011.0013},
doi = {10.1049/IET-NET.2011.0013},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-net/JinXXLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LiCY12,
author = {Guoqiang Li and
Xiaojuan Cai and
Shoji Yuen},
title = {Modeling and Analysis of Real-Time Systems with Mutex Components},
journal = {Int. J. Found. Comput. Sci.},
volume = {23},
number = {4},
pages = {831--852},
year = {2012},
url = {https://doi.org/10.1142/S0129054112400382},
doi = {10.1142/S0129054112400382},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LiCY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Li12,
author = {Guoqiang Li},
title = {Measuring Time Lag with Nested Preemptions and Resumptions},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {19--24},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.14},
doi = {10.1109/ISORCW.2012.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Li12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/ZhangLL12,
author = {Yizhou Zhang and
Hao Lin and
Guoqiang Li},
editor = {Antony Tang and
Henry Muccini},
title = {Emerald: An Automated Modeling and Verification Tool for Component-Based
Real-Time Systems},
booktitle = {2012 12th International Conference on Quality Software, Xi'an, Shaanxi,
China, August 27-29, 2012},
pages = {120--123},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/QSIC.2012.27},
doi = {10.1109/QSIC.2012.27},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/qsic/ZhangLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/XueLL12,
author = {Jianxin Xue and
Huan Long and
Guoqiang Li},
editor = {Tiziana Margaria and
Zongyan Qiu and
Hongli Yang},
title = {An Improved Full Abstraction Approach to Analyzing Locality Semantics},
booktitle = {Sixth International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2012, 4-6 July 2012, Beijing, China},
pages = {101--108},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TASE.2012.32},
doi = {10.1109/TASE.2012.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/XueLL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiGTT11,
author = {Guoqiang Li and
Yonggen Gu and
Xiuting Tao and
Jie Tao},
editor = {Zhenhua Duan and
C.{-}H. Luke Ong},
title = {A Game Theoretic Model and Tree Analysis Method for Fair Exchange
Protocols},
booktitle = {5th {IEEE} International Symposium on Theoretical Aspects of Software
Engineering, {TASE} 2011, Xi'an, China, 29-31 August 2011},
pages = {243--246},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/TASE.2011.47},
doi = {10.1109/TASE.2011.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiGTT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/LiCY10,
author = {Guoqiang Li and
Xiaojuan Cai and
Shoji Yuen},
title = {Modeling and analysis of real -time systems with mutex components},
booktitle = {24th {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2010, Atlanta, Georgia, USA, 19-23 April 2010 - Workshop Proceedings},
pages = {1--8},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/IPDPSW.2010.5470825},
doi = {10.1109/IPDPSW.2010.5470825},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/LiCY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/LiYA09,
author = {Guoqiang Li and
Shoji Yuen and
Masakazu Adachi},
editor = {Wei{-}Ngan Chin and
Shengchao Qin},
title = {Environmental Simulation of Real-Time Systems with Nested Interrupts},
booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
of Software Engineering, 29-31 July 2009, Tianjin, China},
pages = {21--28},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/TASE.2009.12},
doi = {10.1109/TASE.2009.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/LiYA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiO08,
author = {Guoqiang Li and
Mizuhito Ogawa},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Authentication Revisited: Flaw or Not, the Recursive Authentication
Protocol},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {374--385},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_32},
doi = {10.1007/978-3-540-88387-6\_32},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/atva/LiO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LiO07,
author = {Guoqiang Li and
Mizuhito Ogawa},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {On-the-Fly Model Checking of Fair Non-repudiation Protocols},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {511--522},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_36},
doi = {10.1007/978-3-540-75596-8\_36},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/LiO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/ZhangLF06,
author = {Min Zhang and
Guoqiang Li and
Yuxi Fu},
editor = {Licheng Jiao and
Lipo Wang and
Xinbo Gao and
Jing Liu and
Feng Wu},
title = {Secrecy of Signals by Typing in Signal Transduction},
booktitle = {Advances in Natural Computation, Second International Conference,
{ICNC} 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {4222},
pages = {384--393},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11881223\_47},
doi = {10.1007/11881223\_47},
timestamp = {Mon, 19 Apr 2021 14:35:00 +0200},
biburl = {https://dblp.org/rec/conf/icnc/ZhangLF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnc/ZhangLFZH05,
author = {Min Zhang and
Guoqiang Li and
Yuxi Fu and
Zhizhou Zhang and
Lin He},
editor = {Lipo Wang and
Ke Chen and
Yew{-}Soon Ong},
title = {Typing Aberrance in Signal Transduction},
booktitle = {Advances in Natural Computation, First International Conference, {ICNC}
2005, Changsha, China, August 27-29, 2005, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {3612},
pages = {668--677},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539902\_82},
doi = {10.1007/11539902\_82},
timestamp = {Tue, 11 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icnc/ZhangLFZH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdcat/GuF05,
author = {Yonggen Gu and
Yuxi Fu and
Guoqiang Li},
title = {A Simple Process Calculus for the analysis of Security Protocols},
booktitle = {Sixth International Conference on Parallel and Distributed Computing,
Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
China},
pages = {110--114},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/PDCAT.2005.48},
doi = {10.1109/PDCAT.2005.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pdcat/GuF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/ZhangLFZH04,
author = {Min Zhang and
Guoqiang Li and
Yuxi Fu and
Zhizhou Zhang and
Lin He},
editor = {Jun Zhang and
Ji{-}Huan He and
Yuxi Fu},
title = {Representation of the Signal Transduction with Aberrance Using Ipi
Calculus},
booktitle = {Computational and Information Science, First International Symposium,
{CIS} 2004, Shanghai, China, December 16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3314},
pages = {477--485},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30497-5\_75},
doi = {10.1007/978-3-540-30497-5\_75},
timestamp = {Tue, 11 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cis/ZhangLFZH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cis/GuLF04,
author = {Yonggen Gu and
Guoqiang Li and
Yuxi Fu},
editor = {Jun Zhang and
Ji{-}Huan He and
Yuxi Fu},
title = {Analyzing iKP Security in Applied Pi Calculus},
booktitle = {Computational and Information Science, First International Symposium,
{CIS} 2004, Shanghai, China, December 16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3314},
pages = {879--887},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30497-5\_136},
doi = {10.1007/978-3-540-30497-5\_136},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cis/GuLF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
