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 | 170 | 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 | 88* | 2019 |
Identifying microservices using functional decomposition S Tyszberowicz, R Heinrich, B Liu, Z Liu Dependable Software Engineering. Theories, Tools, and Applications: 4th …, 2018 | 87 | 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 |
Synthesizing barrier certificates using neural networks H Zhao, X Zeng, T Chen, Z Liu Proceedings of the 23rd international conference on hybrid systems …, 2020 | 63 | 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 | 62 | 2005 |
A model of component-based programming X Chen, J He, Z Liu, N Zhan International Symposium on Fundamentals of Software Engineering …, 2007 | 60 | 2007 |
Human-cyber-physical systems: concepts, challenges, and research opportunities Z Liu, J Wang Frontiers of Information Technology & Electronic Engineering 21 (11), 1535-1553, 2020 | 57 | 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 | 52 | 2009 |