Qin Li

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 17

Top Topics

Modelling Language

Safety Critical

Reactive Systems

Autonomous Driving

Top Venues

Sci. Comput. Program.

IEEE Trans. Computers

ACM Trans. Embed. Comput. Syst.

Publications

Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Trans. Computers 73 (4) (2024)
Ting Wang, Xin Jiang, Qin Li, Haibin Cai
GreedW: A Flexible and Efficient Decentralized Framework for Distributed Machine Learning. IEEE Trans. Computers 73 (3) (2024)
Shengyang Yao, Qin Li
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. TASE (2023)
Ming Li, Chenyi Zhang, Qin Li, Shuangqin Cheng
Monotonic learning with hypothesis evolution. Inf. Sci. 647 (2023)
Toshiaki Aoki, Qin Li
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. Sci. Comput. Program. 219 (2022)
Zhen Huang, Bo Li, Dehui Du, Qin Li
A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. ICTAC (2022)
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. 215 (2022)
Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. 216 (2022)
Yuqian Guan, Jian Guo, Qin Li
Formal Verification of a Hybrid IoT Operating System Model. IEEE Access 9 (2021)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
Event-based functional decomposition. Inf. Comput. 271 (2020)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. 28 (2) (2019)
Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. 31 (2) (2019)
Jifeng He, Qin Li
A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. 162 (2018)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. 1 (2) (2017)
Qin Li, Graeme Smith
Refining autonomous agents with declarative beliefs and desires. Formal Aspects Comput. 29 (2) (2017)
Jifeng He, Qin Li
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles (2017)
Qin Li, Graeme Smith
Formal development of multi-agent systems using MAZE. Sci. Comput. Program. 131 (2016)
Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong
Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Graeme Smith, Jeff W. Sanders, Qin Li
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC (2015)
Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS (2015)
Graeme Smith, Qin Li
MAZE: An Extension of Object-Z for Multi-Agent Systems. ABZ (2014)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. 8 (5) (2014)
Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong
Configuration of Services Based on Virtualization. TASE (2014)
Qin Li, Graeme Smith
A Formal Development Approach for Self-Organising Systems. TASE (2014)
Graeme Smith, Jeff W. Sanders, Qin Li
On Directional Bias for Network Coverage. BIC-TA (2014)
Graeme Smith, Jeff W. Sanders, Qin Li
A macro-level model for investigating the effect of directional bias on network coverage. CoRR (2014)
Qin Li, Jianqi Shi, Huibiao Zhu
A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. 10 (3) (2014)
Qin Li, Graeme Smith
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. ICECCS (2013)
Qin Li, Graeme Smith
A Refinement Framework for Autonomous Agents. SBMF (2013)
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE (2011)
Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang
Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) (2011)
Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE (2011)
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE (2011)
Fan Yang, Wen Su, Huibiao Zhu, Qin Li
Formalizing MapReduce with CSP. ECBS (2010)
Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
Promoting Models. UTP (2010)
Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu
Formal Approaches to Location Management in Mobile Communications. ICDCIT (2010)
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS (2010)
Qin Li, Huibiao Zhu, Jifeng He
A Denotational Semantical Model for Orc Language. ICTAC (2010)
Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu
Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) (2009)
Wen Su, Fan Yang, Huibiao Zhu, Qin Li
Modeling MapReduce with CSP. TASE (2009)
Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu
Formal Approaches to SMS Service Based on Pi Calculus. FCST (2009)
Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE (2009)
Qin Li, Huibiao Zhu
Towards Specification and Refinement of Contracts with Environment Changes. SEW (2009)
Qin Li, Huibiao Zhu, Jifeng He
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference (2009)
Qin Li, Huibiao Zhu, Jifeng He
Towards the Service Composition Through Buses. HASE (2008)
Qin Li, Huibiao Zhu, Jifeng He
An Inconsistency Free Formalization of B/S Architecture. SEW (2007)
Qin Li, Huibiao Zhu, Jing Li, Jifeng He
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM (2007)