Qin Li - RankMe

63 papers B 4C 7Misc 11Journal 26Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Framework for Runtime Safety of Industrial Control Systems Through Runtime Verification. IEEE Internet Things J. Qin Li, Yuanzhe Li, Xia Mao, Ting Wang, Tengfei Li
2025	J	`jnl`	Consistent Assistant Domains Transformer for Source-Free Domain Adaptation. IEEE Trans. Image Process. Renrong Shao, Wei Zhang, Kangyang Luo, Qin Li, Jun Wang
2025	J	`jnl`	Consistent Assistant Domains Transformer for Source-free Domain Adaptation. CoRR Renrong Shao, Wei Zhang, Kangyang Luo, Qin Li, Jun Wang
2025	J	`jnl`	Monotonic learning in the PAC framework: A new perspective. Knowl. Based Syst. Ming Li, Chenyi Zhang, Qin Li
2024	B	`conf`	A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection. ICECCS Jiale Quan, Qin Li
2024	J	`jnl`	Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Trans. Computers Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao
2024	J	`jnl`	GreedW: A Flexible and Efficient Decentralized Framework for Distributed Machine Learning. IEEE Trans. Computers Ting Wang, Xin Jiang, Qin Li, Haibin Cai
2023	Misc	`conf`	A Hierarchical Spatial Logic for Knowledge Sharing and Fusion in Intelligent Connected Vehicle Cooperation. TASE Shengyang Yao, Qin Li
2023	J	`jnl`	Monotonic learning with hypothesis evolution. Inf. Sci. Ming Li, Chenyi Zhang, Qin Li, Shuangqin Cheng
2023	—	`ed.`	Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday Theories of Programming and Formal Methods Jonathan P. Bowen, Qin Li, Qiwen Xu
2022	C	`conf`	A Model Checking Based Approach to Detect Safety-Critical Adversarial Examples on Autonomous Driving Systems. ICTAC Zhen Huang, Bo Li, Dehui Du, Qin Li
2022	J	`jnl`	A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
2022	J	`jnl`	Formally verifying consistency of sequence diagrams for safety critical systems. Sci. Comput. Program. Xiaohong Chen, Qianqian Liu, Frédéric Mallet, Qin Li, Shubin Cai, Zhi Jin
2022	J	`jnl`	Selected papers from the 14th international symposium on Theoretical Aspects of Software Engineering. Sci. Comput. Program. Toshiaki Aoki, Qin Li
2022	C	`conf`	Taint Trace Analysis For Java Web Applications. SEKE Yaju Li, Chenyi Zhang, Qin Li
2021	C	`conf`	Analyzing and Recommending Development Order Based on Design Class Diagram. KSEM Wenhan Wu, Yongxin Zhao, Chao Peng, Yongjian Li, Qin Li
2021	J	`jnl`	Formal Verification of a Hybrid IoT Operating System Model. IEEE Access Yuqian Guan, Jian Guo, Qin Li
2021	Misc	`conf`	RE2B: Enhancing Correctness of Both Requirements and Design Models. TASE Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao
2020	B	`conf`	Divideup: A Generic Improvement Approach for Supervised Learning Using Dataset Partition with Finer Semantical Information. SMC Xinyue Zhang, Qin Li
2020	J	`jnl`	Event-based functional decomposition. Inf. Comput. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2020	J	`jnl`	PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. CoRR Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2020	J	`jnl`	PAC Model Checking of Black-Box Continuous-Time Dynamical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Bai Xue, Miaomiao Zhang, Arvind Easwaran, Qin Li
2019	Misc	`conf`	A Quantitative Safety Verification Approach for the Decision-making Process of Autonomous Driving. TASE Bingqing Xu, Qin Li, Tong Guo, Yi Ao, Dehui Du
2019	J	`jnl`	A Scenario-Based Approach for Formal Modelling and Verification of Safety Properties in Automated Driving. IEEE Access Bingqing Xu, Qin Li, Tong Guo, Dehui Du
2019	J	`jnl`	A mathematical analysis of improved EigenAnt algorithm. J. Exp. Theor. Artif. Intell. Genwang Gou, Yongxin Zhao, Qin Li, Qiwen Xu
2019	J	`jnl`	Isolation Modeling and Analysis Based on Mobility. ACM Trans. Softw. Eng. Methodol. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Zhong Hong, Shi Zhang, Ping Gong
2018	J	`jnl`	A new roadmap for linking theories of programming and its applications on GCL and CSP. Sci. Comput. Program. Jifeng He, Qin Li
2017	—	`conf`	A Hybrid Relational Modelling Language. Concurrency, Security, and Puzzles Jifeng He, Qin Li
2017	Misc	`conf`	A bounded multi-dimensional modal logic for autonomous cars based on local traffic and estimation. TASE Bingqing Xu, Qin Li
2017	J	`jnl`	Event-Based Mobility Modeling and Analysis. ACM Trans. Cyber Phys. Syst. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong, Donghuo Chen
2017	J	`jnl`	Refining autonomous agents with declarative beliefs and desires. Formal Aspects Comput. Qin Li, Graeme Smith
2016	J	`jnl`	Formal development of multi-agent systems using MAZE. Sci. Comput. Program. Qin Li, Graeme Smith
2015	B	`conf`	A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
2015	—	`conf`	A Macro-Level Model for Investigating the E ect of Directional Bias on Network Coverage. ACSC Graeme Smith, Jeff W. Sanders, Qin Li
2015	J	`jnl`	Analyzing Event-Based Scheduling in Concurrent Reactive Systems. ACM Trans. Embed. Comput. Syst. Jianmin Jiang, Huibiao Zhu, Qin Li, Yongxin Zhao, Lin Zhao, Shi Zhang, Ping Gong, Zhong Hong
2014	Misc	`conf`	A Formal Development Approach for Self-Organising Systems. TASE Qin Li, Graeme Smith
2014	J	`jnl`	A UTP semantic model for Orc language with execution status and fault handling. Frontiers Comput. Sci. Qin Li, Yongxin Zhao, Huibiao Zhu, Jifeng He
2014	J	`jnl`	A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. Qin Li, Jianqi Shi, Huibiao Zhu
2014	J	`jnl`	A macro-level model for investigating the effect of directional bias on network coverage. CoRR Graeme Smith, Jeff W. Sanders, Qin Li
2014	Misc	`conf`	Configuration of Services Based on Virtualization. TASE Jianmin Jiang, Huibiao Zhu, Qin Li, Shi Zhang, Ping Gong, Zhong Hong
2014	J	`jnl`	Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014	C	`conf`	MAZE: An Extension of Object-Z for Multi-Agent Systems. ABZ Graeme Smith, Qin Li
2014	—	`conf`	On Directional Bias for Network Coverage. BIC-TA Graeme Smith, Jeff W. Sanders, Qin Li
2013	—	`conf`	A Refinement Framework for Autonomous Agents. SBMF Qin Li, Graeme Smith
2013	B	`conf`	Using Bounded Fairness to Specify and Verify Ordered Asynchronous Multi-agent Systems. ICECCS Qin Li, Graeme Smith
2011	—	`conf`	A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2011	—	`conf`	Formal Approaches to Wireless Sensor Networks. SSIRI (Companion) Si Liu, Xiaofeng Wu, Qin Li, Huibiao Zhu, Qian Wang
2011	Misc	`conf`	Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
2011	Misc	`conf`	Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE Si Liu, Yongxin Zhao, Huibiao Zhu, Qin Li
2010	C	`conf`	A Denotational Semantical Model for Orc Language. ICTAC Qin Li, Huibiao Zhu, Jifeng He
2010	Misc	`conf`	Formal Approaches to Location Management in Mobile Communications. ICDCIT Juanhua Kang, Qin Li, Huibiao Zhu, Wenjuan Wu
2010	—	`conf`	Formal Modeling and Verifications of Deadlock Prevention Solutions in Web Service Oriented System. ECBS Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
2010	—	`conf`	Formalizing MapReduce with CSP. ECBS Fan Yang, Wen Su, Huibiao Zhu, Qin Li
2010	—	`conf`	Promoting Models. UTP Qin Li, Yongxin Zhao, Xiaofeng Wu, Si Liu
2009	—	`conf`	A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. Australian Software Engineering Conference Qin Li, Huibiao Zhu, Jifeng He
2009	Misc	`conf`	Formal Approaches to Deadlock Analysis in Competitions of Shared Web Resources. TASE Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
2009	—	`conf`	Formal Approaches to SMS Service Based on Pi Calculus. FCST Hongyan Mao, Ningkang Jiang, Qin Li, Huibiao Zhu
2009	—	`conf`	Formal Modeling and Analyzing Kerberos Protocol. CSIE (7) Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu
2009	Misc	`conf`	Modeling MapReduce with CSP. TASE Wen Su, Fan Yang, Huibiao Zhu, Qin Li
2009	C	`conf`	Towards Specification and Refinement of Contracts with Environment Changes. SEW Qin Li, Huibiao Zhu
2008	—	`conf`	Towards the Service Composition Through Buses. HASE Qin Li, Huibiao Zhu, Jifeng He
2007	C	`conf`	An Inconsistency Free Formalization of B/S Architecture. SEW Qin Li, Huibiao Zhu, Jifeng He
2007	—	`conf`	Scalable Formalization of Publish/Subscribe Messaging Scheme Based on Message Brokers. WS-FM Qin Li, Huibiao Zhu, Jing Li, Jifeng He