Professor Zhiming Liu - 刘志明

Cited by

	All	Since 2018
Citations	3458	768
h-index	33	16
i10-index	79	27

240

120

180

199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 10 15 21 37 40 52 31 45 51 53 131 208 233 133 183 157 197 113 175 187 149 143 157 90 94 158 152 165 183 16

Public access

View all

22 articles

3 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 ChenAssociate Professor, College of Computer, National University of Defense Technology, Changsha, ChinaVerified email at nudt.edu.cn
Naijun ZhanInstitute of Software Chinese Academy of SciencesVerified email at ios.ac.cn
Quan LongUniversity of CalgaryVerified email at ucalgary.ca
Charles MorissetSenior Lecturer in Security, Newcastle UniversityVerified email at ncl.ac.uk
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityVerified email at lsbu.ac.uk
Wei KeMacao Polytechnic InstituteVerified email at ipm.edu.mo
Esther PalomarUniversity of AlcalaVerified email at uah.es
Peter T. BreuerIndependent ResearcherVerified email at hecusys.com
Nafees QamarGovernors State UniversityVerified email at govst.edu
Jim WoodcockProfessor of Software Engineering, University of YorkVerified email at york.ac.uk
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityVerified email at tees.ac.uk
Xia ZengSouthwest UniversityVerified email at swu.edu.cn
Zhengfeng YangEast China Normal UniversityVerified email at sei.ecnu.edu.cn
Cristiano BertoliniResearcher, Federal University of PernambucoVerified email at cin.ufpe.br
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Verified email at iist.unu.edu

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	312	1996
rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical computer science 365 (1-2), 109-142, 2006	171*	2006
Component-based software engineering J He, X Li, Z Liu Theoretical Aspects of Computing–ICTAC 2005, 70-95, 2005	165*	2005
A formal semantics of UML sequence diagram X Li, Z Liu, J He Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004	122	2004
Transformation of programs for fault-tolerance Z Liu, M Joseph Formal Aspects of Computing 4, 442-469, 1992	105	1992
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	88	1999
Formal and use-case driven requirement analysis in UML X Li, Z Liu, J He 25th Annual International Computer Software and Applications Conference …, 2001	82*	2001
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	75	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	74	2003
Contract oriented development of component software Z Liu, H Jifeng, X Li Exploring New Frontiers of Theoretical Informatics, 349-366, 2004	68*	2004
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	67*	2007
Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005	63*	2005
Software development with UML Z Liu Technical Report 259, UNU/IIST, 2002	61*	2002
Overview of formal methods Z J, Wang: NJ, F XY, L ZM Journal of Software 30 (1), 33-61, 2019	60*	2019
A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006	60*	2006
Consistent code generation from uml models Q Long, Z Liu, X Li, J He Software Engineering Conference, 2005. Proceedings. 2005 Australian, 23-30, 2005	58	2005
Identifying microservices using functional decomposition S Tyszberowicz, R Heinrich, B Liu, Z Liu Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018	55	2018
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	54	2015
A relational model for object-oriented designs J He, Z Liu, X Li, S Qin Asian Conference on Programming Languages and Systems, 415-436, 2004	53*	2004
rCOS: Theory and tool for component-based model driven development Z Liu, C Morisset, V Stolz Fundamentals of Software Engineering: Third IPM International Conference …, 2010	52	2010

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