‪Professor Zhiming Liu - 刘志明‬

Citata da

	Tutte	Dal 2019
Citazioni	4113	1234
Indice H	35	18
i10-index	95	33

280

140

210

1993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202414 12 18 25 41 38 57 37 48 50 51 132 256 220 138 164 164 185 123 178 188 154 140 160 93 103 176 149 176 218 278 235

Accesso pubblico

Visualizza tutto

38 articoli

10 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Xiaoshan LiAssociate Professor of Computer Science, University of MacauEmail verificata su umac.mo
Anders P. RavnAalborg UniversityEmail verificata su cs.aau.dk
Volker StolzHøgskulen på Vestlandet & Universitetet i OsloEmail verificata su foldr.org
Zhenbang ChenProfessor, College of Computer, National University of Defense Technology, Changsha, ChinaEmail verificata su nudt.edu.cn
Naijun ZhanSchool of Computer Science, Peking UniversityEmail verificata su ios.ac.cn
Quan LongUniversity of CalgaryEmail verificata su ucalgary.ca
Charles MorissetAssociate Professor, Durham UniversityEmail verificata su durham.ac.uk
Wei KeMacao Polytechnic UniversityEmail verificata su mpu.edu.mo
Jonathan P. BowenEmeritus Professor of Computing, London South Bank UniversityEmail verificata su lsbu.ac.uk
Esther PalomarUniversity of AlcalaEmail verificata su uah.es
Nafees QamarBryant UniversityEmail verificata su bryant.edu
Xia ZengSouthwest UniversityEmail verificata su swu.edu.cn
Peter T. BreuerIndependent ResearcherEmail verificata su hecusys.com
Jim WoodcockProfessor of Software Engineering, University of YorkEmail verificata su york.ac.uk
Taolue ChenSchool of Computing and Mathematical Sciences, Birkbeck, University of LondonEmail verificata su bbk.ac.uk
Zhengfeng YangEast China Normal UniversityEmail verificata su sei.ecnu.edu.cn
Martin SchaefAmazon Web ServicesEmail verificata su amazon.com
Shengchao QinProfessor of Computer Science, Teesside UniversityEmail verificata su tees.ac.uk
Bo LiuSouthwest UniversityEmail verificata su swu.edu.cn
Cristiano BertoliniResearcher, Federal University of Santa MariaEmail verificata su cin.ufpe.br

Segui

Professor Zhiming Liu - 刘志明

Southwest University, Chongqing, China

Email verificata su swu.edu.cn - Home page

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


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Real-Time Systems: specification, verification, and analysis A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ... prentice Hall, 1996	321	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	172	2005
rCOS: A refinement calculus of object systems H Jifeng, X Li, Z Liu Theoretical computer science 365 (1-2), 109-142, 2006	169	2006
A formal semantics of UML sequence diagram X Li, Z Liu, J He Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004	144	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	97	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 J Wang, NJ Zhan, XY Feng, ZM Liu Journal of software 30 (1), 33-61, 2019	85	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, H Jifeng, X Li, Y Chen Formal Methods and Software Engineering: 5th International Conference on …, 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	75	2020
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	63	2020
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007	62	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
Learning safe neural network controllers with barrier certificates H Zhao, X Zeng, T Chen, Z Liu, J Woodcock Formal Aspects of Computing 33, 437-455, 2021	52	2021
A relational model for object-oriented designs J He, Z Liu, X Li, S Qin, WN Chin	52	2004

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori