default search action
Qin Li 0002
Person information
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
- affiliation (former): University of Queensland, School of Information Technology and Electrical Engineering, Australia
Other persons with the same name
- Qin Li — disambiguation page
- Qin Li 0001
— Shenzhen Institute of Information Technology, School of Software Engineering, China (and 2 more)
- Qin Li 0003
- Qin Li 0004
- Qin Li 0005 — Zhengzhou Institute of Surveying and Mapping, China
- Qin Li 0006 — Chongqing Centers for Disease Control and Prevention, China
- Qin Li 0007
- Qin Li 0008 — Statoil Research Center, Porsgrunn, Norway
- Qin Li 0009
- Qin Li 0010
- Qin Li 0011
- Qin Li 0012
- Qin Li 0013
- Qin Li 0014 — Beihang University, Beijing, China
- Qin Li 0015 — University of Washington, Seattle, WA, USA
- Qin Li 0016
- Qin Li 0017 — Nanyang Technological University, Singapore, Singapore
- Qin Li 0018 — U.S. Food and Drug Administration, Silver Spring, MD, USA
- Qin Li 0019 — Leshan Normal University, Leshan, China
- Qin Li 0020 — New Jersey Institute of Technology, Big Bear Solar Observatory, Newark, NJ, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j20]Ting Wang
GreedW: A Flexible and Efficient Decentralized Framework for Distributed Machine Learning. IEEE Trans. Computers 73(3): 801-814 (2024) - [j19]Jianqi Shi
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Trans. Computers 73(4): 1048-1059 (2024) - [c35]Jiale Quan, Qin Li
A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection. ICECCS 2024: 223-244 - 2023
- [j18]Ming Li
Monotonic learning with hypothesis evolution. Inf. Sci. 647: 119455 (2023) - [c34]Shengyang Yao, Qin Li
A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. TASE 2023: 183-201 - [e1]Jonathan P. Bowen
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Lecture Notes in Computer Science 14080, Springer 2023, ISBN 978-3-031-40435-1 [contents] - 2022
- [j17]Xia Mao
A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. 215: 102763 (2022) - [j16]Xiaohong Chen
Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. 216: 102777 (2022) - [j15]Toshiaki Aoki
Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. Sci. Comput. Program. 219: 102821 (2022) - [c33]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: 238-254 - 2021
- [j14]Yuqian Guan
Formal Verification of a Hybrid IoT Operating System Model. IEEE Access 9: 59171-59183 (2021) - [c32]Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li:
Analyzing and Recommending Development Order Based on Design Class Diagram. KSEM 2021: 524-537 - [c31]Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao:
RE2B: Enhancing Correctness of Both Requirements and Design Models. TASE 2021: 191-198 - 2020
- [j13]Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong:
Event-based functional decomposition. Inf. Comput. 271: 104484 (2020) - [j12]Bai Xue
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3944-3955 (2020) - [c30]Xinyue Zhang, Qin Li:
Divideup: A Generic Improvement Approach for Supervised Learning Using Dataset Partition with Finer Semantical Information. SMC 2020: 635-641 - [i2]Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li:
PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR abs/2007.10141 (2020)
2010 – 2019
- 2019
- [j11]Bingqing Xu
A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. IEEE Access 7: 140566-140587 (2019) - [j10]Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu:
A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. 31(2): 291-309 (2019) - [j9]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): 10:1-10:31 (2019) - [c29]Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du:
A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE 2019: 128-135 - 2018
- [j8]Jifeng He, Qin Li
A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. 162: 3-34 (2018) - 2017
- [j7]Qin Li, Graeme Smith
Refining autonomous agents with declarative beliefs and desires. Formal Aspects Comput. 29(2): 227-249 (2017) - [j6]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): 9:1-9:32 (2017) - [c28]Jifeng He, Qin Li:
A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles 2017: 124-143 - [c27]Bingqing Xu, Qin Li:
A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. TASE 2017: 1-8 - 2016
- [j5]Qin Li
Formal development of multi-agent systems using MAZE. Sci. Comput. Program. 131: 126-150 (2016) - 2015
- [j4]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): 86:1-86:27 (2015) - [c26]Graeme Smith, Jeff W. Sanders, Qin Li:
A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC 2015: 73-81 - [c25]Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu:
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS 2015: 150-159 - 2014
- [j3]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): 709-725 (2014) - [j2]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. 97-D(9): 2356-2370 (2014) - [j1]Qin Li, Jianqi Shi, Huibiao Zhu:
A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. 10(3): 219-234 (2014) - [c24]Graeme Smith
MAZE: An Extension of Object-Z for Multi-Agent Systems. ABZ 2014: 72-85 - [c23]Graeme Smith
On Directional Bias for Network Coverage. BIC-TA 2014: 384-388 - [c22]Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong:
Configuration of Services Based on Virtualization. TASE 2014: 177-184 - [c21]Qin Li, Graeme Smith
A Formal Development Approach for Self-Organising Systems. TASE 2014: 209-212 - [i1]Graeme Smith, Jeff W. Sanders, Qin Li:
A macro-level model for investigating the effect of directional bias on network coverage. CoRR abs/1407.5762 (2014) - 2013
- [c20]Qin Li, Graeme Smith
Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. ICECCS 2013: 111-120 - [c19]Qin Li, Graeme Smith
A Refinement Framework for Autonomous Agents. SBMF 2013: 163-178 - 2011
- [c18]Si Liu
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE 2011: 157-162 - [c17]Si Liu
Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) 2011: 11-18 - [c16]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: 142-149 - [c15]Si Liu
Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE 2011: 195-198 - 2010
- [c14]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS 2010: 335-343 - [c13]Fan Yang, Wen Su, Huibiao Zhu, Qin Li:
Formalizing MapReduce with CSP. ECBS 2010: 358-367 - [c12]Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu:
Formal Approaches to Location Management in Mobile Communications. ICDCIT 2010: 243-254 - [c11]Qin Li, Huibiao Zhu, Jifeng He:
A Denotational Semantical Model for Orc Language. ICTAC 2010: 106-120 - [c10]Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu:
Promoting Models. UTP 2010: 234-252
2000 – 2009
- 2009
- [c9]Qin Li, Huibiao Zhu, Jifeng He:
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference 2009: 287-296 - [c8]Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu:
Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) 2009: 813-819 - [c7]Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu:
Formal Approaches to SMS Service Based on Pi Calculus. FCST 2009: 692-697 - [c6]Qin Li, Huibiao Zhu:
Towards Specification and Refinement of Contracts with Environment Changes. SEW 2009: 61-68 - [c5]Wen Su, Fan Yang, Huibiao Zhu, Qin Li:
Modeling MapReduce with CSP. TASE 2009: 301-302 - [c4]Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li:
Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE 2009: 327-328 - 2008
- [c3]Qin Li, Huibiao Zhu, Jifeng He:
Towards the Service Composition Through Buses. HASE 2008: 441-444 - 2007
- [c2]Qin Li, Huibiao Zhu, Jifeng He:
An Inconsistency Free Formalization of B/S Architecture. SEW 2007: 75-88 - [c1]Qin Li, Huibiao Zhu, Jing Li, Jifeng He:
Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM 2007: 61-76
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-04 21:25 CET 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: