A list sorted by categories is available here

Journals and Transactions:

  • Suyu Ma, Cheng Chen, Zhenchang Xing, Lizhen Qu, Chunyang Chen, Guoqiang Li*. Easy-to-Deploy API Extraction by Multi-Level Feature Embedding and Transfer Learning. IEEE Transactions on Software Engineering, accepted

  • Tongyao Jia, Jiafeng Li, Li Zhuo*, Guoqiang Li*. Effective Meta-Attention Dehazing Networks for Vision-Based Outdoor Industrial Systems. IEEE Transactions on Industrial Informatics, accepted

  • Junfang Jia, Valeriia Tumanian, Guoqiang Li*. Discovering Semantically Related Technical Terms and Web Resources in Q&A Discussions. Frontiers of Information Technology & Electronic Engineering, accepted

  • Junfang Jia, Valeriia Tumanian, Guoqiang Li*. In Favor of or Against Multi-Lingual Q&A Sites? Exploring the Evidences from User and Knowledge Perspectives . Behaviour & Information Technology, accepted

  • Xiao Sun, Zhengmeng Pei, Chen Zhang, Guoqiang Li*, Jianhua Tao. Design and Analysis of a Human-machine Interaction System for Researching Human's Dynamic Emotion. IEEE Transactions on Systems, Man and Cybernetics: Systems, accepted

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

  • Junfang Jia, Guoqiang Li*. Learning Natural Ordering of Tags in Domain-Specific Q&A sites . Frontiers of Information Technology & Electronic Engineering, Vol. 22(2), 170-184, 2021

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

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

  • Ruoyu Wang, Daniel Sun*, Guoqiang Li*, Raymond Wong, Shiping Chen. Pipeline Provenance for Cloud-Based Big Data Analytics. Software: Practice and Experience, Vol. 50(5), 658-674, 2020

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

  • Hong Zhang, Yifan Yang, Ding Yuan, Daniel Sun, Jun Zhang, Guoqiang Li, Mingui Sun. Video Denoising for Security and Privacy in Fog Computing. Concurrency and Computation: Practice and Experience, Vol. 31 (22), e4763, 2019

  • Daniel Sun, Shiping Chen, Guoqiang Li, Yuanyuan Zhang, and Muhammad Atif. Multi-objective Optimisation of Online Distributed Software Update for DevOps in Clouds. ACM Transactions on Internet Technology, Vol. 19(3), 43, 2019

  • Zhong Wang, Daniel Sun, Guangtao Xue, Shiyou Qian, Guoqiang Li, Minglu Li. Ada-Things: An Adaptive Virtual Machine Monitoring and Migration Strategy for Internet of Things Applications. Journal of Parallel and Distributed Computing, Vol. 132, 164-176, 2019

  • Daniel Sun, Guoqiang Li, Yuanyuan Zhang, Liming Zhu, Raj Gaire. Statistically Managing Cloud Operations for Latency-tail-tolerance in IoT-Enabled Smart Cities. Journal of Parallel and Distributed Computing, Vol. 127, 184-195, 2019

  • Chenxiao Dou, Yi Cui, Daniel Sun, Raymond Wong, Muhammad Atif, Guoqiang Li, Rajiv Ranjan. Unsupervised Blocking and Probabilistic Parallelisation for Record Matching of Distributed Big Data. The Journal of Supercomputing, Vol. 75(2), 623-645, 2019

  • Chengxi Huang, Li Da Xu, Hongming Cai, Guoqiang Li, Jiawei Du, Lihong Jiang. A Context-Based Service Matching Approach Towards Functional Reliability for Industrial Systems. Enterprise Information Systems, Vol. 13(2), 196-218, 2019

  • Yifan Yang, Hong Zhang*, Ding Yuan, Daniel Sun, Guoqiang Li*, Rajiv Ranjan, Mingui Sun. Hierarchical Extreme Learning Machine based Image Denoising Network for Visual Internet of Things . Applied Soft Computing, Vol.74, 747-759, 2019

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

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

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

  • Lifei Lu, Lida Xu, Boyi Xu, Guoqiang Li, Hongming Cai. Fog Computing Approach for Music Cognition System Based on Machine Learning Algorithm. IEEE Transactions on Computational Social Systems, Vol. 5(4), 1142-1151, 2018

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

  • Daniel Sun, Alan Fekete, Vincent Gramoli, Guoqiang Li, Xiwei Xu, Liming Zhu. R2C: Robust Rolling-Upgrade in Clouds. IEEE Transactions on Dependable and Secure Computing, Vol. 15(5), 811-823, 2018

  • Qi Zhao, Boxue Zhang, Shuchang Lyu, Hong Zhang*, Daniel Sun, Guoqiang Li*, Wenquan Feng. A CNN-SIFT Hybrid Pedestrian Navigation Method based on First-Person Vision. Remote Sensing, Vol. 10(8), 1229, 2018

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

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

  • Xiao Sun, Chen Zhang, Guoqiang Li*, Daniel Sun, Fuji Ren, Albert Zomaya, Rajiv Ranjan. Detecting Users' Anomalous Emotion Using Social Media for Business Intelligence. Journal of Computational Science, Vol. 25, 193-200, 2018

  • Yue Ding, Dong Wang, Xin Xin, Guoqiang Li*, Daniel Sun, Xuezhi Zeng, Rajiv Ranjan. SCFM: Social and Crowdsourcing Factorization Machines for Recommendation. Applied Soft Computing, Vol. 66, 548-556, 2018

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

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

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

  • Ruoyu Wang, Guoqiang Li*, Jianwen Xiang, Hongming Cai. A Customized Automata Algorithm and Toolkit for Language Learning and Application. International Journal of Big Data Intelligence, Vol. 5(1&2), 114-123, 2018

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

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

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

  • Xiuting Tao, Guoqiang Li*, Daniel Sun, Hongming Cai. A Game-Theoretic Model and Analysis of Data Exchange Protocols for Internet of Things in Clouds. Future Generation Computer Systems, Vol. 76, 582-589, 2017

  • Yue Ding, Dong Wang, Guoqiang Li*, Daniel Sun, Xin Xin, Shiyou Qian. Exploiting Long- and Short-term Preferences and RFID Trajectories in Shop Recommendation. Software: Practice and Experience, Vol. 47(6), 849-865, 2017

  • Cheng Xie, Guoqiang Li, Hongming Cai, Lihong Jiang, Naixue Xiong. Dynamic Weight based Individual Similarity Calculation for Information Searching in Social Computing . IEEE Systems Journal, Vol. 11(1), 333-344, 2017

  • Yonggen Gu, Jie Tao, Guoqiang Li*. Daniel Sun, Xiaohong Wu, Padma Sheela Jayaraman and Rajiv Ranjan. A Preemptive Truthful VMs Allocation Online Mechanism in Private Cloud. Journal of Computational Science, Vol.17 (3), 647–653, 2016

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

  • Daniel Sun, Min Fu, Liming Zhu, Guoqiang Li and Qinghua Lu. Non-Intrusive Anomaly Detection with Streaming Metrics and Logs for DevOps in Public Clouds. IEEE Transactions on Emerging Topics in Computing, Vol. 4(2), 278 - 289, 2016

  • Xiaohong Wu, Yonggen Gu, Jie Tao, Guoqiang Li*, Prem Prakash Jayaraman, Daniel W. Sun, Rajiv Ranjan, Albert Y. Zomaya, Jingti Han. An Online Greedy Allocation of VMs with Non-Increasing Reservations in Clouds. The Journal of Supercomputing, Vol. 72 (2), 371-390, 2016

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

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

  • Jianzhi Jin, Kaihua Xu, Naixue Xiong, Yuhua Liu, Guoqiang Li. Multi-index Evaluation Algorithm Based on PCA for the Node importance in Complex Networks. IET networks,Vol. 1(3), 108-115, 2012

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

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

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

  • Chinese Journals

  • 殷炜宏,王若愚,段倩倩,李国强. 基于时态边缘算子的时间序列自主分段表示法. 计算机工程与科学, 已录用, 2020

  • 吴金娥,王若愚,段倩倩,李国强. 基于反向k近邻过滤异常的群数据异常检测. 上海交通大学学报(自然版), 已录用, 2020

  • 谭锦豪,李国强. 基本并行进程活性的限界模型检测. 软件学报, 31(8), 2388-2403, 2020

  • 丁如江,李国强. 非交互式Petri网可覆盖性验证的高效实现. 软件学报, 30(7), 1939-1952, 2019

  • 李春淼,蔡小娟,李国强. 良结构下推系统的可覆盖性问题的下界. 软件学报, 29(10), 3009-3020,2018

  • 傅育熙,李国强,田聪. 形式化方法的理论基础专题前言. 软件学报, 29(6), 1515-1516, 2018

  • 叶聪聪,李国强,蔡鸿明,顾永跟. 区块链的安全检测模型. 软件学报, 29(5), 1348-1359, 2018

  • 杨启哲,李国强. 基于通讯Petri网的异步通讯程序验证模型. 软件学报, 28 (4),804-818,2017

  • 刘立,李国强. 异步多进程时间自动机的可覆盖性问题. 软件学报, 28 (5),1080-1090,2017

  • 李彦龙,李国强,董笑菊. 树比较可视化文献综述. 软件学报, 27 (5), 1074-1090, 2016

  • 王立超,李国强,蔡小娟. 反语法分析中语法分析树的构建. 上海交通大学学报(自然版), 49(11),1625-1629, 2015

  • 靳阳,蔡小娟,李国强. 良结构下推系统的表达能力. 上海交通大学学报(自然版), 49(8),1084-1089, 2015

  • 黄明璋,李国强.基于模型检测的并发程序分析综述.计算机应用与软件,31(12),1-6,2014

  • 李国强,顾永跟,傅育熙. 基于Spi演算的Kerberos认证协议形式化研究. 计算机科学,31(11),7-10,2004

  • Conferences and Workshops:

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

  • Jieshan Chen, Mulong Xie, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li. Object Detection for Graphical User Interface: Old Fashioned or Deep Learning or a Combination?. In Proceedings of the ACM Joint Meeting on the 18th European Software Engineering Conference and the 28 Symposium on the Foundations of Software Engineering (ESEC/FSE'20), 1202-1214, 2020

  • Jieshan Chen, Chunyang Chen*, Zhenchang Xing, Xiwei Xu, Liming Zhu, Guoqiang Li*, Jinshui Wang*. Unblind Your Apps: Predicting Natural-Language Labels for Mobile GUI Components by Deep Learning. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 322-334, 2020 (Distinguished paper award!)

  • Dehai Zhao, Zhenchang Xing, Chunyang Chen, Xiwei Xu, Liming Zhu, Guoqiang Li*, Jinshui Wang*. Seenomaly: Vision-Based Linting of GUI Animation Effects Against Design-Don't Guidelines. In Proceedings of the 42nd International Conference on Software Engineering (ICSE'20), 1286-1297, 2020

  • Ruoyu Wang, Xiaobo Hu, Daniel Sun*, Guoqiang Li*, Raymond Wong, Shiping Chen, Jianquan Liu. Statistical Detection of Collective Collective Data Fraud. In Proceedings of the 27th IEEE International Conference on Multimedia & Expo (ICME'20), 1-6, 2020

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

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

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

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

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

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

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

  • Akira Fukuda,Tsuneo Nakanishi, Kenji Hisazumi, Kunihiko Kaneko, Shigeaki Tagashira, Tsunenori Mine, Yutaka Arakawa, Shigemi Ishida, Takahiro Ando, Shuichi Ashihara, Masakatsu Ura, Yoshimichi Nakamura, Soichiro Nakamura, Weiqiang Kong, Guoqiang Li. Toward Sustainable Smart Mobility Information Infrastructure Platform . In Proceedings of the 7th IIAI International Congress on Advanced Applied Informatics (IIAI-AAI) , IEEE Society, 81-85, 2018

  • Min Gao, Ruoyu Wang, Daniel Sun, Guoqiang Li. Intelligent Healthcare Knowledge Resources in Chinese: A Survey. In Proceedings of the 1st International Workshop on Intelligent Health Care: AI and Systems (IHC'18 @ ISPAN'18), IEEE Society, 318-324, 2018

  • Jin Luo, Ruoyu Wang, Daniel Sun, Yingying Wang, Guoqiang Li. Comparison Among Four Prominent Text Processing Tools. In Proceedings of the 1st International Workshop on Intelligent Health Care: AI and Systems (IHC'18 @ ISPAN'18), IEEE Society, 325-330, 2018

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

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

  • Congcong Ye, Chun Li, Guoqiang Li, Lihong Jiang, and Hongming Cai. A Behavior Analysis Method Towards Product Quality Management. In Proceedings of the 11th IFIP WG 8.9 International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS'17) , LNBIP 310, 12-20, 2017

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

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

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

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

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

  • Chenxiao Dou, Daniel Sun, Guoqiang Li, Raymond K. Wong. Active Learning with Density-Initialized Decision Tree for Record Matching. In Proceedings of the 29th International Conference on Scientific and Statistical Database Management (SSDBM'17), ACM, 14:1-14:12, 2017

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

  • Chenxiao Dou, Daniel Sun, Yi-Cheng Chen, Guoqiang Li, Jianquan Liu. Probabilistic Parallelisation of Blocking Non-matched Records for Big Data. In Proceedings of the 3rd International Workshop on Pattern Mining and Application of Big Data (BigPMA'16 @ BigData'16), IEEE Society, 3465-3473, 2016 (Best paper award!)

  • Ruoyu Wang, Daniel Sun, Guoqiang Li, Muhammad Atif, Surya Nepal. LogProv: Logging Events as Provenance of Big Data Analytics Pipelines with Trustworthiness Evaluation. In Proceedings of the 4th IEEE International Conference on Big Data (BigData'16), IEEE Society, 1402-1411, 2016

  • Xiuting Tao, Chihao Zhang, Guoqiang Li. The Complexity of a Modifiable Model Checking of Linear Temporal Logic. In the 2nd Young Researchers Workshop on Formal Methods (YR-SETTA'16), 2016

  • Guoqiang Li. Yunqing Wen, Shoji Yuen. Updatable Timed Automata with One Updatable Clock. In the 1st National Conference on Formal Methods and Applications (FMAC'16), 2016

  • Haitao Zhang, Zhuo Cheng, Guoqiang Li, Shaoying Liu. autoC: an Efficient Translator for Model Checking Deterministic Scheduler based OSEK/VDX Applications. In the 1st National Conference on Formal Methods and Applications (FMAC'16), 2016

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

  • Ruoyu Wang, Guoqiang Li, Daniel Sun, Jianwen Xiang, Hongming Cai. CAT: A Customized Automata Toolkit. In Proceedings of the 2nd IEEE International Workshop on Software Engineering and Knowledge Management (SEKM'16 @ QRS'16), IEEE Society, 171-177, 2016

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

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

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

  • Guoqiang Li, Yunqing Wen, Shoji Yuen. Updatable Timed Automata with One Updatable Clock. In the 1st Young Researchers Workshop on Formal Methods (YR-SETTA'15), 2015

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Theses:

  • Formal Research of Security Protocols Based on Process Calculus. Master Thesis, March, 2005. In Chinese [PDF]

  • On-the-fly Model Checking of Security Protocols. Doctoral Thesis, March, 2008. [PDF] [Slides]

  • Books:

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2003, Vol. of Discrete Mathematics. In Chinese

  • Instructions to the Postgraduate Entrance Examination Majoring the CS of 2004, Vol. of Discrete Mathematics. In Chinese

  • Guoqiang Li
    Last modified: Tuesday, Apr. 25, 2017.