List of Edited Books; All Publications

Selected Publications:

1. Lei B., Li X., Liu Z., Morisset C. and Stolz, V. (20xx)
   Robustness testing for software components. Science of Computer Programming, Accepted. [PDF]
3. Liu Z., Morisset C. and Stolz V. (2009)
   rCOS: Theory and tool for component-based model driven development. Keynote at 3rd International Conference on Foundations of Software Engineering (FSEN09), Lecture Notes in Computer Science 5961, pp. 62-18, Springer, 2009.
. [PDF].

4. Wei K., 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.
5. Zhang M.M., Liu Z., Morisset C. and Ravn A.P. (2009)
   Design and verification of fault-tolerant components. In Michael Butler , et al, (Eds.), Methods, Models, and Tools for Fault Tolerance, Lecture Notes in Computer Science 5454, pp. 57-84, Springer, 2009.
6. 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, [PDF].
7. 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.
8. Liang Z., Liu X., Liu, Z. and Qiu Z. (2009)
   Graph transformations for object-oriented refinement, Formal Aspects of Computing, 21(1), 2009 (Also available eclectronically)
9. 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. [pdf]
10. 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
11. 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. [PDF].
12. Chen X., He J., Liu Z. and Zhan N. (2007)
    A model of component-based programming, in Farhad Arbab, Marjan Sirjani (Eds.): International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Lecture Notes in Computer Science 4767, pp. 191-206, Springer, 2007 [PDF].
13. Chen X., Liu Z. and Mencl V. (2007)
    Seperation of concerns and consistency integration in requirements modelling. Proc. 33rd Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Scoence 4362, pp. 819 - 831, Springer, 2007 [PDF].
14. He J., Li X. and Liu Z. (2006)
    rCOS: a refinement calculus of object systems, Theoretical Computer Science Theor. Comput. Sci. 365(1-2): 109-142 (2006) [PDF]
15. Liu Z., Ravn A.P. and Li X. (2004)
    Unifying proof methodologies of duration calculus and timed linear temporal logic, Journal of Formal Aspects of Computing, Vol.16, No. 2, May (2004), pp. 140-154.
16. Liu Z., He J., Li X. and Chen Y. (2003)
    A relational model for object-oriented requirement analysis in UML, Proc. ICFEM 2003, Lecture Notes in Computer Science, Singapore, 5-7 November 2003 [PDF].


17. Liu Z., Li X. and He J.(2001)
    Formal and use-case driven requirement analysis in UML, Proceedings of COMPSAC'2001 International Conference, Chicago, Illinois, USA, IEEE Computer Society October 2001 [PS].
18. Liu Z. and Joseph M. (1999)
    Specification and verification of fault-tolerance, timing and scheduling , ACM Transactions on Languages and Systems, Vol. 21, No. 1, January (1999), pp. 46-89.[PS]

A Full List of Publications is Available Here