关注
Professor Zhiming Liu - 刘志明
标题
引用次数
引用次数
年份
Real-Time Systems: specification, verification, and analysis
A Burns, A Welling, K Ramamritham, J Hooman, S Schneider, Z Liu, ...
prentice Hall, 1996
3191996
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
1702005
rCOS: A refinement calculus of object systems
H Jifeng, X Li, Z Liu
Theoretical computer science 365 (1-2), 109-142, 2006
1662006
A formal semantics of UML sequence diagram
X Li, Z Liu, J He
Software Engineering Conference, 2004. Proceedings. 2004 Australian, 168-177, 2004
1412004
Transformation of programs for fault-tolerance
Z Liu, M Joseph
Formal Aspects of Computing 4, 442-469, 1992
1051992
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
951999
Overview of formal methods
Z J, Wang: NJ, F XY, L ZM
Journal of Software 30 (1), 33-61, 2019
88*2019
Identifying microservices using functional decomposition
S Tyszberowicz, R Heinrich, B Liu, Z Liu
Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018
872018
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
782009
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
782003
Formal and use-case driven requirement analysis in UML
X Li, Z Liu, J He
25th Annual International Computer Software and Applications Conference …, 2001
782001
Consistency checking of UML requirements
X Li, Z Liu, J He
10th IEEE International Conference on Engineering of Complex Computer …, 2005
65*2005
Synthesizing barrier certificates using neural networks
H Zhao, X Zeng, T Chen, Z Liu
Proceedings of the 23rd international conference on hybrid systems …, 2020
632020
Consistent code generation from uml models
Q Long, Z Liu, X Li, J He
Software Engineering Conference, 2005. Proceedings. 2005 Australian, 23-30, 2005
622005
A model of component-based programming
X Chen, J He, Z Liu, N Zhan
International Symposium on Fundamentals of Software Engineering …, 2007
602007
Human-cyber-physical systems: concepts, challenges, and research opportunities
Z Liu, J Wang
Frontiers of Information Technology & Electronic Engineering 21 (11), 1535-1553, 2020
572020
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
562015
A theory of reactive components
J He, X Li, Z Liu
Electronic Notes in Theoretical Computer Science 160, 173-195, 2006
562006
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
522009
系统目前无法执行此操作,请稍后再试。
文章 1–20