Professor Zhiming Liu - 刘志明

Citado por

	Total	Desde 2019
Citas	3910	1053
Índice h	35	16
Índice i10	86	27

280

140

210

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 12 18 24 41 40 57 37 48 51 51 131 252 211 135 165 166 183 124 176 188 155 141 163 93 96 172 147 175 219 275 64

Acceso público

Ver todo

29 artículos

4 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Xiaoshan LiAssociate Professor of Computer Science, University of MacauDirección de correo verificada de umac.mo
Anders P. RavnAalborg UniversityDirección de correo verificada de cs.aau.dk
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloDirección de correo verificada de foldr.org
Zhenbang ChenProfessor, College of Computer, National University of Defense Technology, Changsha, ChinaDirección de correo verificada de nudt.edu.cn
Naijun ZhanInstitute of Software Chinese Academy of SciencesDirección de correo verificada de ios.ac.cn
Quan LongUniversity of CalgaryDirección de correo verificada de ucalgary.ca
Charles MorissetReader in Security, Newcastle UniversityDirección de correo verificada de ncl.ac.uk
Wei KeMacao Polytechnic UniversityDirección de correo verificada de mpu.edu.mo
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityDirección de correo verificada de lsbu.ac.uk
Esther PalomarUniversity of AlcalaDirección de correo verificada de uah.es
Nafees QamarBryant UniversityDirección de correo verificada de bryant.edu
Peter T. BreuerIndependent ResearcherDirección de correo verificada de hecusys.com
Jim WoodcockProfessor of Software Engineering, University of YorkDirección de correo verificada de york.ac.uk
Xia ZengSouthwest UniversityDirección de correo verificada de swu.edu.cn
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonDirección de correo verificada de bbk.ac.uk
Zhengfeng YangEast China Normal UniversityDirección de correo verificada de sei.ecnu.edu.cn
Martin SchaefAmazon Web ServicesDirección de correo verificada de amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityDirección de correo verificada de tees.ac.uk
Cristiano BertoliniResearcher, Federal University of Santa MariaDirección de correo verificada de cin.ufpe.br
Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)Dirección de correo verificada de iist.unu.edu

Seguir

Professor Zhiming Liu - 刘志明

Southwest University, Chongqing, China

Dirección de correo verificada de swu.edu.cn - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	319	1996
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
rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical computer science 365 (1-2), 109-142, 2006	166	2006
A formal semantics of UML sequence diagram X Li, Z Liu, J He Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004	141	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	95	1999
Overview of formal methods Z J, Wang: NJ, F XY, L ZM Journal of Software 30 (1), 33-61, 2019	87*	2019
Identifying microservices using functional decomposition S Tyszberowicz, R Heinrich, B Liu, Z Liu Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018	84	2018
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	78	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	78	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	78	2001
Consistency checking of UML requirements X Li, Z Liu, J He 10th IEEE International Conference on Engineering of Complex Computer …, 2005	65*	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	62	2005
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	59	2007
Synthesizing barrier certificates using neural networks H Zhao, X Zeng, T Chen, Z Liu Proceedings of the 23rd international conference on hybrid systems …, 2020	58	2020
Human-cyber-physical systems: concepts, challenges, and research opportunities Z Liu, J Wang Frontiers of Information Technology & Electronic Engineering 21 (11), 1535-1553, 2020	56	2020
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	56	2015
A theory of reactive components J He, X Li, Z Liu Electronic Notes in Theoretical Computer Science 160, 173-195, 2006	56	2006
Towards a calculus of systems dependability Z Liu, AP Ravn, EV Sørensen, C Zhou University of Warwick. Department of Computer Science, 1992	53*	1992
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	51	2009

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores