Full List of Edited Books

Publications:

Journal and Electronic Journal 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]
  2. Chen Z., Liu Z., Ravn, A.P. and Stolz V. (2009)
    Refinement and Verification in Component-Based Model Driven Design. UNU-IIST Research Report 381. Published in Science of Computer Programming 74(4), 2009. [PDF]
  3. Lei B., Liu Z., Morisset C. and Li X (2009)
    State based robustness testing for components. Electronic Notes in Theoretical Computer Science 260, pp. 173-188, 2010. [PDF]
  4. 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)
  5. Li X. and Liu Z. (2008)
    Prototyping System Requirements Model. Electronic Notes in Theoretical Computer Science, 207:17-32, 2008.
  6. Li D., Li X. and Liu Z. (2008)
    Validation of requirement models by automatic prototyping, Innovations in Systems and Software Engineering, 4(3):1975-1980, 2008 (DOI).
  7. Hannousse A.H., Kazar O., Meslan D and Liu Z. (2007)
    A cohabitation framework for AOSD Models, International Review on Computer and Software, 2(4): 2885-2991, 2007.
  8. Liu X., Liu Z. and Zhao L. (2007)
    Object-oriented structure refinement - a graph transformational. Electronic Notes in Theoretical Computer Science, Volume 187 145-159, 2007.
  9. Liu J., He J. and Liu Z. (2006)
    A strategy for services realization in service-oriented design (English), Science in China, 49(6), 2006.
  10. Liu J., He J. and Liu Z. (2006)
    A strategy for services realization in service-oriented design, Science in China E (Chinese), 36(10), 2006.
  11. 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]
  12. He J., Li X. and Liu Z. (2006)
    A theory of reactive components, Electronic Notes of Theoretical Computer Science, Volume 160 , pp. 173-195 2006.
  13. Liu Z., He J. and Li X. (2005)
    Towards a Rigorous Approach to UML-Based Development, Electronic Notes in Theoretical Computer Science, Volume 130, May (2005), pp. 57-77.
  14. Liu Z., He J. Li X. and Liu J. (2004)
    Unifying Views of UML , Electronic Notes in Theoretical Computer Science, Volume 101, November (2004), pp. 95-127.
  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. and Joseph M. (2001)
    Verification, refinement and scheduling of real-time programs , Theoretical Computer Science, Vol.253, No. 1, January (2001), pp. 119-152
  17. 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]
  18. Liu Z., Joseph M. and Janowski T. (1995)
    Verification of schedulability for real-time programs, Formal Aspects of Computing, Vol. 7, No. 5 (1995), pp. 510-532.
  19. Liu Z., Ravn A.P., Sorensen E.V. and Zhou, C.C. (1994)
    Towards a calculus of systems dependability, Journal of High Integrity Systems, Vol. 1, No. 1, Oxford University Press. (1994), pp49-65.
  20. Liu Z. and Joseph M. (1992)
    Transformations of programs for fault-tolerance,, Formal Aspects of Computing, Vol 4, No. 5 (1992), pp. 442-469.
  21. Liu Z. (1989)
    A Continuous Algebraic Semantics of CSP, Journal of Computer Science and Technology (1989), Volume 4, Number 4, pp. 304-314.

Editorial Work

  1. Zhiming Liu and Anders P. ravn (Editor): Automated Technology for Verification and Analysis, Proceedings of 7th International Symposium, ATVA 2009, Lecture Notes in Computer Science 5799, Macao, China, October 14-16, 2009.
  2. Jorge Cuellar, Zhiming Liu (Guest Editor): SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38.
  3. Jones, Cliff; Liu, Zhiming; Woodcock, Jim. (Editors) (2007)
    Theoretical Aspects of Computing -- ICTAC 2007, Lecture Notes in Computer Science 4711, Springer 2007.
  4. George, Chris; Liu, Zhiming; Woodcock, Jim. (Editors) (2007)
    Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures, Lecture Notes in Computer Science 4710 , Springer, 2007.
  5. Jones, Cliff; Liu, Zhiming; Woodcock, Jim. (Editors) (2007)
    Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays Lecture Notes in Computer Science 4700 , Springer 2007.
  6. Liu,Zhiming; He, Jifeng. (Editors) (2006)
    Mathematical Frameworks for Component software: Models for Analysis and Synthesis, Series on Component-Based Software Development - Vol. 2, World Scientific, 2006. .
  7. Liu, Zhiming; He, Jifeng (Editors) (2006)
    Formal Engineering Methods -- ICFEM 2006, the 8th International Conference, Macao SAR, China, November 1-3 2006, Proceedings, Springer. Lecture Notes in Computer Science 4260.
  8. Liu Z. and Barbosa L. (Editors) (2006)
    Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 2005), Macao 24-25 October 2005. Electronic Notes of Theoretical Computer Science, Volume 160 , 2006.
  9. Liu Z. and Araki K. (Editors) (2005)
    Theoretical Aspects of Computer -- ICTAC 2004, First International Colloquium, Guiyang, China, September 2004, Revised Sepected Papers, Lecture Notes in Computer Science 3407, Springer, 2005.
  10. Cuella J. and Liu Z. (Editors) (2004)
    Proceedings of the 2nd IEEE International Conference on Software Engineering and Formal Methods ( SEFM 2004), 28-31 September 2004, Beijing, IEEE Computer Society Press.

Conferences and Chapters of Books

  1. 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.
  2. 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.
  3. Zhang M., Liu Z. and Zhan N. (2009)
    Model checking linear durition invariants of Network of Automata. 3rd International Conference on Foundations of Software Engineering (FSEN09), Lecture Notes in Computer Science 5961, pp. 144-259, Springer, 2009.
  4. 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].
  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. Liu Z., Morisset C. and Volker Stolz. (2008)
    A component-based access control monitor. In International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, volume 17 of Communications in Computer and Information Science. Springer, 2008 [pdf].
  7. 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]
  8. Silva L., Sampaio A. and Liu Z. (2008)
    Laws of Object-Orientation with Reference Semantics. In Proc. IEEE Conference on Software Engineering and Formal Methods (SEFM 2008), Cape Town, South Africa, 10-14 November 2008, IEEE Computer Society.
  9. 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
  10. Zhang M., Dang, V.H. and Liu Z. (2008)
    Verification of Linear Duration Invariants by Model Checking CTL Properties. Proceedings of ICTAC 2008, LNCS 5160, Springer, 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. Liu Z. and Venkatesh R. (2007)
    Methods and Tools for Formal Software Engineering, in Bertrand Meyer, Jim Woodcock (Eds.): VSTTE Conference, Verified Software: Theories, Tools, Experiments, Lecture Notes in Computer Science 4171, pp. 47-58, Springer 2007.
  14. Aichernig A.K., He, J., Liu Z. and Reed M. (2007)
    Theories and Techniques of Program Modelling, Design and Verificatio, in Bertrand Meyer, Jim Woodcock (Eds.): VSTTE Conference, Verified Software: Theories, Tools, Experiments, Lecture Notes in Computer Science 4171, pp. 331-340, Springer 2007.
  15. Chen Z., Li X., Liu Z., Stolz V. and Yang L. (2007)
    Harnessing rCOS for Tool Support - The CoCoME Experience, in C. Jones, Z. Liu and J. Woodcock, (Eds.) Formal Methods and Hybrid Real-Time Systems, LNCS 2700, pp.83-114, Springer, 2007.
  16. Chen Z., Liu Z., Ravn A.P, Stolz V. and Yang L. (2007)
    A refinement driven component-based design. Proc. 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS07), pp. 277-289, Aucland, New Zealand, IEEE Computer Society, July 2007.
  17. 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].

  18. Liu Z., He J. and Li X. (2006)
    Chapter 10. rCOS: A relational calculus of components. In Z. Liu and J. He (Eds.), Mathematical Frameworks for Component Software -- Models for Analysis and Synthesis, 207-238, World Scientific, 2006.

  19. Liu Z., Mencl V., Ravn A.P. and Yang L. (2006)
    Harnessing theories for tool development. Proc. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA 2006), 15-19 November 2006, Paphos, Cyprus [PDF].

  20. Liu Z. and Joseph M. (2006)
    Real-time and fault-tolerant systems. In A. Cavalcanti, A. Sampaio and J. woodcock (Eds.), Refinement Techniques in Software Engineering, Lecture Notes in Computer Science 3167: 156-219, Springer-Verlag, 2006.

  21. Okika J.C, Ravn A.P, Liu Z. and Siddalingaiah L (2006)
    Developing a TTCN-3 test harness for legacy software. Proc. 2006 International Workshop on Autonation of Software Test: 104-110 , ACM Press, 2006.

  22. Li X., Liu Z. and He J.(2005)
    Consistency Checking of UML Requirements. Proc. ICECCS 2005: 411-420, IEEE Computer Society Press, 2005.

  23. Long Q., Qiu Z., Liu Z., Shao L. and He J. (2005)
    POST: A Case Study for an Incremental Development in rCOS. Proc. ICTAC 2005, LNCS 3722: 485-500, Springer, 2005.

  24. He J., Li X. and Liu Z. (2005)
    Component-Based Software Engineering. Proc. ICTAC 2005, LNCS 3722: 70-95, Springer 2005.

  25. Liu Z., He J. and Li X. (2005).
    rCOS: Refinement of Component and Object Systems. Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Revised Lectures. Lecture Notes in Computer Science 3657: 183-221, Springer 2005.

  26. Long Q., Liu Z., Li X. and He J. (2005)
    Consistent Code Generation from UML Models. Proc. Australian Software Engineering Conference 2005 (ASWEC05): 23-30, IEEE Computer Scociety, 2005.

  27. Yang J., Long Q., Liu Z. and Li X.(2005)
    A Predicative Semantic Model for Integrating UML Models, Proc. of 1st International Colloquium on Theoretical Aspects of Computing (ICTAC 2004), Lecture Notes in Computer Science 3074, Springer, 2005.

  28. Liu Z., He J. Li X. and Liu J. (2004)
    A Rigorious Approch to UML-Based Development, Proc. Brazilian Symposium on Formal Methods (Invited Talk), 29 November -- 01 December, 2004, Recife, Brazil, pp. 48-57, Editora Universitaria UFPE.

  29. Li X., Liu Z., He J. and Long Q. (2004)
    Generating Prototypes from a UML Model of Requirements, Proc. 1st International Conference on Distributed Computing and Internet Technology (ICDCIT2004), Lecture Notes in Computer Science 2347, Springer, Bhubaneswar, India, December, 2004.

  30. Chen Y. and Liu Z. (2004)
    From Durational Specifications to TLA Designs of Timed Automata, Proc. 6th International Conference on Formal Engineering Methods (ICFEM 2004), 8--12 November 2004, Seatle, USA, pp.464--482, Lecture Notes in Computer Science 3308, Springer.

  31. He J., Liu Z, Li X. and Qin S. (2004)
    A Relational Model for Object-Oriented Designs, Proc. 2nd Asian Symposium on Programming Languages and Systems (APLAS 2004), 4--6 November 2004, Taiwan, pp.415--436, Lecture Notes in Computer Science 3302, Springer.

  32. Upadhyaya B.P. and Liu Z. (2004)
    Formal Support to Development of JavaBeean Component Systems, Proc. 28th International Computer Software and Applications Conference (COMPSAC 2004), 27-30 September 2004, Hong Kong, pp.23-28, IEEE Computer Society Press.

  33. Upadhyaya B.P. and Liu Z. (2004)
    A design level formal model for JavaBeans. In Nagib Callaos, William Lesso, Shusaku Nomura, and Jianna Zhang, editors, Proc. of 8th World Multiconference on Systemics, Cybernetics and Informatics (SCI), 2004.

  34. Liu Z., He J. and Li X.(2004)
    Contract-Oriented Development of Component Software, Proc. 3rd IFIP International Conference on Theoretical Computer Science, 23-26 August 2004, Toulouse, France, pp.355-272, Kluwer.

  35. Li X., Liu Z. and He J. (2004)
    A Formal Semantics of UML Sequence Diagram, Proc. Australian Software Engineering Conference, 12-16 May 2004, Melboutne, Australia, pp.168-177, IEEE Computer Society Press.

  36. Liu J., Liu Z., He J. and Li X. (2004)
    Linking UML Models of Design and Requirement, Proc. Australian Software Engineering Conference, 12-16 May 2004, Melboutne, Australia, pp.329-338, IEEE Computer Society Press.

  37. Chen Y and Liu Z. (2004)
    Integrating Temporal Logics, Proc. IFM04, Lecture Notes in Computer Science 2999, Singapore, 6-8 May 2004, Kent, UK., 402-420.

  38. Liu J., Liu Z. He J., Li X. and Chen Y. (2004)
    Towards the Integration of a Formal Object-Oriented Method and the Rational Unified Process, Software Evolution with UML and XML, H. Yang (Ed.), Idea Group Inc., 2004.

  39. 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].

  40. Liu Z., Li X. and He J. (2002)
    Using transition systems to unify UML requirement models, Proceedings of the 4th International Conference on Formal Engineering Methods (ICEFM2002), LNCS 2495, pages 535-547, Springer, 2002.

  41. He J., Liu Z. and Li X. (2002)
    Towards a refinement calculus for object-oriented systems, Proceedings of ICCI02 as a Keynote talk, Alberta, Canada, pages 69-76, IEEE Computer Society, 2002.

  42. Li X., Liu Z. and Guo. Z. (2001)
    A formal design of online ticketing system in UML , Proceedings of APSEC2001, Macau, IEEE Computer Soceity, 2001

  43. Liu Z., He, J. and Li X. (2001)
    Toward a formal use of UML for software requirement analysis , in Hamid Arabnia (eds), The Proceedings of PDPTA'2001 International Conference, Las Vegas, USA, June 25-28, CSREA (2001), pp27-33.

  44. 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].

  45. Liu Z., Ravn A.P. and Li X. (1998)
    Verifying duration propertities of timed transition systems, in D. Gries and W -P. de Roever (eds.), Proceedings of IFIP Working Conference on Programming Concepts and Methods (PROCOMET'98), Shelter Island, New York, June 8-12, Chapman & Hall (1998), pp327-345.

  46. Liu Z. and Joseph M. (1997)
    Formalizing real-time scheduling as program refinement, Proc. of ARTS'97, Lecture Notes in Computer Science (1997) 1231, pp.295-309.

  47. Liu Z. and Joseph M. (1996)
    Verification of fault tolerance and real time, in Proceedings of the Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, IEEE Computer Society, (1996), pp220-229

  48. Liu Z. (1996)
    Specification and verification in the duration calculus, in M. Joseph (ed.), Real-time Systems: Specification, Verification and Analysis, Prentice Hall (1996), pp.182-228

  49. Liu Z. and Joseph M. (1994)
    Stepwise development of fault-tolerant reactive systems, in Proc. of FTRTFT '94, Lecture Notes in Computer Science, 863, (1994), pp529-546

  50. Liu Z. and Joseph M. (1995)
    A Formal framework for fault-tolerant programs, in C. Mitchell and V. Stavridou (eds.), Mathematics of Dependable Systems, The Institute of Mathematics & Its Applications Conference Series, New Series Number 55, Oxford University Press (1995).
  51. Liu Z., Nordahl J. and E.V. Sorensen E.V. (1995)
    Compositional Design and Renement of Probabilistic Real-Time Systems, in C. Mitchell and V. Stavridou (eds.), Mathematics of Dependable Systems, The Institute of Mathematics and Its Applications Conference Series, New Series Number 55, pp. 149-163, Oxford University Press, 1995.
  52. Liu Z., Nordahl J. and E.V. Sorensen E.V. (1993)
    Composition and Renement of Probabilistic Real-Time Systems, in Proceedings of the 12th International Conference on Computer Safety, Reliability and Security, pp. 31-40, Springer-Verlag, 1993.
  53. Liu Z., Ravn A.P., Srensen E.V. and Zhou C. (1993)
    A Probabilistic Duration Calculus. In H. Kopetz and Y. Kakuda, editors, Dependable Computing and Fault-tolerant Systems Vol. 7: Responsive Computer Systems, pages 30-52. Springer, 1993.
  54. Liu Z. and Joseph M. (1993)
    Specification and verification of recovery in asynchronous communicating systems, in J. Vytopil (ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems, Kluwer Academic Publishers (1993).

Selected Unpublished papers (Externally reviewed or cited)

  1. 1. Liu Z., Ravn A.P. and Stolz V. ( 2008)
    The rCOS method in a nutshell. In Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.
  2. Chen Z., Liu Z. and Stolz V. (2008)
    The rCOS tool. In Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop, number CS-TR-1099 in Technical Report Series. Newcastle University, May 2008.
  3. Liu Z., He J., Li X. and Chen Y. (2004)
    Consistency and Refinement of UML Models, UML 2004 Workshop on Consistency Problems in UML-Based Software Development, 11 October, 2004, Lisbon.

  4. Liu Z., He J., Li X. and Liu J. (2003)
    Unifying views of UML,
    Presented UML 2003 Workshop on Compositional Verification of UML Models, SF, USA, 21 October 2003.

  5. Liu Z., Li X. and He J. (2003)
    A component calculus, In V.H. Dang and Z. Liu (eds.), Proc. FME 2003 Workshop on Formal Aspects of Component Software, Pisa, Italy, 8-14 September 2003.

  6. Liu Z. (2001)
    Object-Oriented Software Development Using UML, Research Report 229 , UNU-IIST, P.O. Box 3058, Macau, March 2001.
  7. Liu Z., Ravn A.P. and Li X. (1999)
    Unifying proof methodologies of Duration Calculus and Timed Linear Temporal Logic , In M.R. Hansen, editor, Proceedings of the 10th European Summer School in Logic, Language and Information (ESSLLI'98) Workshop on Duration Calculus, Saarbrucken, Germany, 1998.

  8. Liu Z. (1991)
    Faul-Tolerant Programming by Transformations, PhD Theis, Department of Computer Science, The University of Warwick, Coventry, CV4 7AL, UK. ( PostScript File)
  9. Liu Z. (1989)
    A semantic model of UNITY, Technical Report CS-RR 144, Department of Computer Science, University of Warwick, Coventry, CV1 7AL, UK.
  10. Liu Z. (1989)
    Modelling Checkpointing and Recovery within UNITY, Technical Report CS-RR 145, Department of Computer Science, University of Warwick, Coventry, CV1 7AL, UK.

Any opinions and views expressed on this page are the author's and not those of UNU/IIST.
 
Last modified: 02 August, 2005