Zhiming Liu

Senior Research Fellow

  • Zhiming Liu
    Casa Silva Mendes, Estrada do Engenheiro Trigo No. 4, Macao SAR
    +853 8504 0457

    Research Interests

    • Applications of the above to sustainable development
    • Component-based and object-oriented software design
    • Foundations and methods of Software engineering: theories
    • healthcare informatics in particular
    • Model-driven software design
    • Real-time and fault-tolerant systems
    • techniques and tools for software modeling
    • validation and verification
    • Web-based computing


    PhD., Computer Science, University of Warwick, UK.
    M.Sc., Computer Science, Institute of Software, Chinese Academy of Science, China
    B.Sc., Applied Mathematics, Institute of Information Engineering and Technology, China

    Biographical Statement

    Zhiming Liu received his B.Sc. in Applied Mathematics in 1982, M.Sc. in Computer Science from the Institute of Software of the Chinese Academy of Science in 1987, and Ph.D. in Computer Science from the University of Warwick (UK) in 1991. He did his postdoctoral research at the University of Warwick and the Technical University of Denmark from 1991-1994. He was a university lecturer in Computer Science at the University of Leicester (U.K.) from 1994-2005. He is currently a Senior Research Fellow of the UNU International Institute for Software Technology in Macau (UNU-IIST).

    Zhiming Liu’s research is in the area of information engineering and centres on sound methods of modeling, design and analysis of dependable computing systems. He has done renowned work in formal modeling and analysis real-time and fault-tolerant systems, embedded systems, the transformational approach he developed for specification and verification of fault-tolerant and real-time properties in particular.  His current research focuses on techniques and tools for modeling, design and analysis of object-oriented, component-based and web-based systems. He is currently leading a team working on the development of a method, known as rCOS, of model driven design component-based and object-oriented software.

    Zhiming Liu has over 80 peer reviewed publications in mainstream journals and international conferences. He has also edited a dozen of books/proceedings and special issues of journals. Zhiming Liu is an invited speakers of a number of conferences and invited lecturer of numerous tutorial and schools. He is often invited to give talks and seminars in computer science institutes and departments of universities in the world. He is a  member of the editorial board of the Springer Journal of Innovations in Systems and Software Engineering, a member of the editorial board of Scientific Annals of Computer Science, and a member of  ACM and IEEE.

  • Peer-reviewed Journal Articles

    • Lei B., Li X., Liu Z., Morisset C. and Stolz, V. (2010). Robustness testing for software components. Science of Computer Programming, 75(10), pp. 879-897, 2010.
    • Chen Z., Liu Z., Ravn, A.P. and Stolz V. (2009). Refinement and Verification in Component-Based Model Driven Design. Science of Computer Programming, 74(4), 2009.
    • Liang Z., Liu X., Liu, Z. and Qiu Z. (2009). Graph transformations for object-oriented refinement. Formal Aspects of Computing, 21(1), 2009.
    • Long Q., Qiu Z. and Liu Z. (2008). Formal use of design patterns and refactoring. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science, Springer, 2008.
    • Hu J., Liu Z., Reed M.G. and Sanders J.W. (2008) Ensemble Engineering and Emergence. In M Wirsing et al (eds), Software Intensive Systems, LNCS 5380, 162-178, Springer Verlag, 2008.

    Other Publications (Conference Proceedings, etc)

    • Liu Z., Morisset C. and Stolz V. (2009). rCOS: Theory and tool for component-based model driven development. Keynote by Liu Z. at 3rd International Conference on Foundations of Software Engineering (FSEN09), Lecture Notes in Computer Science 5961, pp. 62-80, Springer, 2009.
    • Ke W., Liu Z. and Wang S. and Zhao L. (2009). A graph-based operational semantics of OO programs. Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Lecture Notes in Computer Science 5885, pp. 347-366, Springer, 2009.
    • Kang E.Y., Liu Z. and Zhan Z. (2009). Component publications and compositions. In Post Event Proceedings of International Symposium on Unifying Theories of Programming (UTP08), to appear in Lecture Notes in Computer Science, Springer, 2009.
    • Chen Z., Hannousse A.H., Dang V.H., Knoll I., Li X., Liu Z., Liu Y., Nan Q., Okika J.C., Ravn A.P., Stolz V., Yang L. and Zhan N. (2008). Modelling with Relational Calculus of Object and Component Systems – rCOS. In Andreas Rausch, Ralf Reussner, Raffaela Mirandola, Frantisek Plasil (Eds.): The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]. Lecture Notes in Computer Science 5153, pp. 116-145, Springer 2008.