Professor Zhiming Liu - 刘志明

Cited by

	All	Since 2019
Citations	4050	1186
h-index	35	17
i10-index	90	32

280

140

210

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 12 18 25 41 38 57 37 48 49 51 130 254 220 138 164 165 185 124 176 188 154 141 160 92 97 172 145 174 213 275 205

Public access

View all

36 articles

9 articles

available

not available

Based on funding mandates

Co-authors

Xiaoshan LiAssociate Professor of Computer Science, University of MacauVerified email at umac.mo
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloVerified email at foldr.org
Zhenbang ChenProfessor, College of Computer, National University of Defense Technology, Changsha, ChinaVerified email at nudt.edu.cn
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
Quan LongUniversity of CalgaryVerified email at ucalgary.ca
Charles MorissetReader in Security, Newcastle UniversityVerified email at ncl.ac.uk
Wei KeMacao Polytechnic UniversityVerified email at mpu.edu.mo
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Esther PalomarUniversity of AlcalaVerified email at uah.es
Nafees QamarBryant UniversityVerified email at bryant.edu
Peter T. BreuerIndependent ResearcherVerified email at hecusys.com
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Xia ZengSouthwest UniversityVerified email at swu.edu.cn
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonVerified email at bbk.ac.uk
Zhengfeng YangEast China Normal UniversityVerified email at sei.ecnu.edu.cn
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Bo LiuSouthwest UniversityVerified email at swu.edu.cn
Cristiano BertoliniResearcher, Federal University of Santa MariaVerified email at cin.ufpe.br

Professor Zhiming Liu - 刘志明

Southwest University, Chongqing, China

Verified email at swu.edu.cn - Homepage

Computer Science Software Engineering Formal Methods Model-Driven Design Cyber-Physical Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	321	1996
rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical computer science 365 (1-2), 109-142, 2006	169	2006
Component-based software engineering: the need to link methods and their theories H Jifeng, X Li, Z Liu Theoretical Aspects of Computing–ICTAC 2005: Second International Colloquium …, 2005	169	2005
A formal semantics of UML sequence diagram X Li, Z Liu, J He Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004	143	2004
Transformation of programs for fault-tolerance Z Liu, M Joseph Formal Aspects of Computing 4, 442-469, 1992	105	1992
Identifying microservices using functional decomposition S Tyszberowicz, R Heinrich, B Liu, Z Liu Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018	95	2018
Specification and verification of fault-tolerance, timing, and scheduling Z Liu, M Joseph ACM Transactions on Programming Languages and Systems (TOPLAS) 21 (1), 46-89, 1999	95	1999
Overview of formal methods Z J, Wang: NJ, F XY, L ZM Journal of Software 30 (1), 33-61, 2019	90*	2019
Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009	79	2009
A relational model for formal object-oriented requirement analysis in UML Z Liu, J He, X Li, Y Chen Formal Methods and Software Engineering, 641-664, 2003	79	2003
Formal and use-case driven requirement analysis in UML X Li, Z Liu, J He 25th Annual International Computer Software and Applications Conference …, 2001	76	2001
Synthesizing barrier certificates using neural networks H Zhao, X Zeng, T Chen, Z Liu Proceedings of the 23rd international conference on hybrid systems …, 2020	71	2020
Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005	67*	2005
Consistent code generation from uml models Q Long, Z Liu, X Li, J He Software Engineering Conference, 2005. Proceedings. 2005 Australian, 23-30, 2005	65	2005
Human-cyber-physical systems: concepts, challenges, and research opportunities Z Liu, J Wang Frontiers of Information Technology & Electronic Engineering 21 (11), 1535-1553, 2020	61	2020
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	61	2007
Regular property guided dynamic symbolic execution Y Zhang, Z Chen, J Wang, W Dong, Z Liu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015	57	2015
A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006	57	2006
rCOS: Theory and tool for component-based model driven development Z Liu, C Morisset, V Stolz International Conference on Fundamentals of Software Engineering, 62-80, 2009	54	2009
Medshare: a novel hybrid cloud for medical resource sharing among autonomous healthcare providers Y Yang, X Li, N Qamar, P Liu, W Ke, B Shen, Z Liu IEEE Access 6, 46949-46961, 2018	51	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors