An Inconsistency Free Formalization of B/S Architecture. - Qin Li 002; Huibiao Zhu; Jifeng He 001 (SEW, 2007)

Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. - Qin Li 002; Huibiao Zhu; Jing Li 062; Jifeng He 001 (WS-FM, 2007)

Towards the Service Composition Through Buses. - Qin Li 002; Huibiao Zhu; Jifeng He 001 (HASE, 2008)

A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. - Qin Li 002; Huibiao Zhu; Jifeng He 001 (Australian Software Engineering Conference, 2009)

Formal Modeling and Analyzing Kerberos Protocol. - Qin Li 002; Fan Yang; Huibiao Zhu; Longfei Zhu (CSIE (7), 2009)

Formal Approaches to SMS Service Based on Pi Calculus. - Hongyan Mao; Ningkang Jiang; Qin Li 002; Huibiao Zhu (FCST, 2009)

Towards Specification and Refinement of Contracts with Environment Changes. - Qin Li 002; Huibiao Zhu (SEW, 2009)

Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. - Jieqi Ding; Han Zhu; Huibiao Zhu; Qin Li 002 (TASE, 2009)

Modeling MapReduce with CSP. - Wen Su; Fan Yang; Huibiao Zhu; Qin Li 002 (TASE, 2009)

Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. - Jieqi Ding; Han Zhu; Huibiao Zhu; Qin Li 002 (ECBS, 2010)

Formalizing MapReduce with CSP. - Fan Yang; Wen Su; Huibiao Zhu; Qin Li 002 (ECBS, 2010)

Formal Approaches to Location Management in Mobile Communications. - Juanhua Kang; Qin Li 002; Huibiao Zhu; Wenjuan Wu (ICDCIT, 2010)

A Denotational Semantical Model for Orc Language. - Qin Li 002; Huibiao Zhu; Jifeng He 001 (ICTAC, 2010)

Promoting Models. - Qin Li 002; Yongxin Zhao; Xiaofeng Wu; Si Liu 001 (UTP, 2010)

A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. - Si Liu 003; Yongxin Zhao; Huibiao Zhu; Qin Li 002 (HASE, 2011)

Formal Approaches to Wireless Sensor Networks. - Si Liu 003; Xiaofeng Wu; Qin Li 002; Huibiao Zhu; Qian Wang (SSIRI (Companion), 2011)

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. - Yanhong Huang; Yongxin Zhao; Longfei Zhu; Qin Li 002; Huibiao Zhu; Jianqi Shi (TASE, 2011)

Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. - Si Liu 003; Yongxin Zhao; Huibiao Zhu; Qin Li 002 (TASE, 2011)

Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. - Qin Li 002; Graeme Smith 001 (ICECCS, 2013)

A Refinement Framework for Autonomous Agents. - Qin Li 002; Graeme Smith 001 (SBMF, 2013)

MAZE: An Extension of Object-Z for Multi-Agent Systems. - Graeme Smith 001; Qin Li 002 (ABZ, 2014)

On Directional Bias for Network Coverage. - Graeme Smith 001; Jeff W. Sanders; Qin Li 002 (BIC-TA, 2014)

Configuration of Services Based on Virtualization. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Shi Zhang; Ping Gong 004; Zhong Hong (TASE, 2014)

A Formal Development Approach for Self-Organising Systems. - Qin Li 002; Graeme Smith 001 (TASE, 2014)

A macro-level model for investigating the effect of directional bias on network coverage. - Graeme Smith 001; Jeff W. Sanders; Qin Li 002 (CoRR, 2014)

A UTP semantic model for Orc language with execution status and fault handling. - Qin Li 002; Yongxin Zhao; Huibiao Zhu; Jifeng He 001 (Frontiers Comput. Sci., 2014)

Investigating System Survivability from a Probabilistic Perspective. - Yongxin Zhao; Yanhong Huang; Qin Li 002; Huibiao Zhu; Jifeng He 001; Jianwen Li; Xi Wu 005 (IEICE Trans. Inf. Syst., 2014)

A formal framework for service mashups with dynamic service selection. - Qin Li 002; Jianqi Shi; Huibiao Zhu (Innov. Syst. Softw. Eng., 2014)

A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. - Graeme Smith 001; Jeff W. Sanders; Qin Li 002 (ACSC, 2015)

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. - Qin Li 002; Jinxun Wang; Qiwen Xu; Yanhong Huang; Huibiao Zhu (ICECCS, 2015)

Analyzing Event-Based Scheduling in Concurrent Reactive Systems. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Lin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong (ACM Trans. Embed. Comput. Syst., 2015)

Formal development of multi-agent systems using MAZE. - Qin Li 002; Graeme Smith 001 (Sci. Comput. Program., 2016)

A Hybrid Relational Modelling Language. - Jifeng He 001; Qin Li 002 (Concurrency, Security, and Puzzles, 2017)

A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. - Bingqing Xu; Qin Li 002 (TASE, 2017)

Refining autonomous agents with declarative beliefs and desires. - Qin Li 002; Graeme Smith 001 (Formal Aspects Comput., 2017)

Event-Based Mobility Modeling and Analysis. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Lin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong; Donghuo Chen (ACM Trans. Cyber Phys. Syst., 2017)

A new roadmap for linking theories of programming and its applications on GCL and CSP. - Jifeng He 001; Qin Li 002 (Sci. Comput. Program., 2018)

A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Yi Ao; Dehui Du (TASE, 2019)

A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. - Bingqing Xu; Qin Li 002; Tong Guo; Dehui Du (IEEE Access, 2019)

A mathematical analysis of improved EigenAnt algorithm. - Genwang Gou; Yongxin Zhao; Qin Li 002; Qiwen Xu (J. Exp. Theor. Artif. Intell., 2019)

Isolation Modeling and Analysis Based on Mobility. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Zhong Hong; Shi Zhang; Ping Gong 004 (ACM Trans. Softw. Eng. Methodol., 2019)

Divideup: A Generic Improvement Approach for Supervised Learning Using Dataset Partition with Finer Semantical Information. - Xinyue Zhang; Qin Li 002 (SMC, 2020)

Event-based functional decomposition. - Jianmin Jiang; Huibiao Zhu; Qin Li 002; Yongxin Zhao; Shi Zhang; Ping Gong 004; Zhong Hong (Inf. Comput., 2020)

PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. - Bai Xue 001; Miaomiao Zhang 003; Arvind Easwaran; Qin Li 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Analyzing and Recommending Development Order Based on Design Class Diagram. - Wenhan Wu; Yongxin Zhao; Chao Peng; Yongjian Li; Qin Li 002 (KSEM, 2021)

RE2B: Enhancing Correctness of Both Requirements and Design Models. - Shiling Feng; Xiaohong Chen 007; Qin Li 002; Yongxin Zhao (TASE, 2021)

Formal Verification of a Hybrid IoT Operating System Model. - Yuqian Guan; Jian Guo 005; Qin Li 002 (IEEE Access, 2021)

A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. - Zhen Huang; Bo Li; Dehui Du; Qin Li 002 (ICTAC, 2022)

Taint Trace Analysis For Java Web Applications. - Yaju Li; Chenyi Zhang 001; Qin Li 002 (SEKE, 2022)

Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. - Toshiaki Aoki; Qin Li 002 (Sci. Comput. Program., 2022)

Formally verifying consistency of sequence diagrams for safety critical systems. - Xiaohong Chen 007; Qianqian Liu; Frédéric Mallet; Qin Li 002; Shubin Cai; Zhi Jin (Sci. Comput. Program., 2022)

A refinement development approach for enhancing the safety of PLC programs with Event-B. - Xia Mao; Yueling Zhang; Jianqi Shi; Yanhong Huang; Qin Li 002 (Sci. Comput. Program., 2022)

A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. - Shengyang Yao; Qin Li 002 (TASE, 2023)

Monotonic learning with hypothesis evolution. - Ming Li; Chenyi Zhang 001; Qin Li 002; Shuangqin Cheng (Inf. Sci., 2023)

A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection. - Jiale Quan; Qin Li 002 (ICECCS, 2024)

GreedW: A Flexible and Efficient Decentralized Framework for Distributed Machine Learning. - Ting Wang 001; Xin Jiang; Qin Li 002; Haibin Cai (IEEE Trans. Computers, 2024)

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. - Jianqi Shi; Yinghao Chen; Qin Li 002; Yanhong Huang; Yang Yang 141; Mengyan Zhao (IEEE Trans. Computers, 2024)

A Framework for Runtime Safety of Industrial Control Systems Through Runtime Verification. - Qin Li 002; Yuanzhe Li; Xia Mao; Ting Wang 001; Tengfei Li 002 (IEEE Internet Things J., 2025)