Publications

Filters: Author is Zhiming Liu  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
L
X. Liu, Z. Liu, and L. Zhao, Object-Oriented Structure Refinement - A Graph Transformational Approach, , 07/2006. Abstract  Download: report340.pdf (282.03 KB)
Z. Liu, Lecture Notes on Programming Concurrent Computer Systems, , 05/2005. Abstract  Download: report325.pdf (385.83 KB)
Z. Liu, N. Qamar, and J. Qian, "An Automated routine childhood immunization approach using openEHR", 14th World Congress on Medical and Health Informatics (MedInfo’13), Copenhagen, Denmark, MedInfo'13 , 08/2013. Abstract
Z. Liu, H. Jifeng, and L. Xiaoshan, "Contract-Oriented Component Software Development", IFIP WCC, Macau, UNU-IIST, pp. 349-366, 2004. Abstract  Download: report298.pdf (197.11 KB)
Z. Liu, and M. Joseph, Real-Time and Fault-Tolerant Systems - Specification, Verification, Refinement and Scheduling, , 05/2005. Abstract  Download: report323.pdf (414.38 KB)
Z. Liu, C. Morisset, and S. Wang, Isabelle Proof Obligations for Graph-based Refinement of rCOS Programs, : UNU-IIST, 05/2010. Abstract  Download: report430.pdf (227.52 KB)
Z. Liu, J. He, J. Liu, and X. Li, "Unifying Views of UML", Electron. Notes Theor. Comput. Sci., vol. 101, Amsterdam, The Netherlands, The Netherlands, Elsevier Science Publishers B. V., pp. 95–127, 2004. Abstract  Download: report288.pdf (182.07 KB)
Z. Liu, Proceedings of the First International Colloquium on Theoretical Aspects of Computing ICTAC04, Guiyang, China 20 - 24 September 2004, , 09/2004. Abstract  Download: report310toc.pdf (50.65 KB)
Z. Liu, C. Morisset, and V. Stolz, "rCOS: Theory and tool for component-based model driven development", 3rd International Conference on Foundations of Software Engineering (FSEN09): Springer, 2009. Abstract  Download: report406.pdf (231.66 KB)
Z. Liu, M. Schaef, N. Zhan, and J. Zhu, Composable Automata for Component Interfaces, , 12/2010. Abstract  Download: report446.pdf (265.57 KB)
Z. Liu, H. Jifeng, X. Li, and Y. Chen, "A Relational Model for Formal Object-Oriented Requirement Analysis in UML", ICFEM2003, Singapore, Springer-Verlag, pp. 641 - 664, 2003. Abstract  Download: report287.pdf (196.85 KB)
Z. Liu, A. P. Ravn, Z Volker Stolz, and N. Zhan, Refinement and Verification in Component-Based Model Driven Design, , 11/2007. Abstract  Download: report388.pdf (2.02 MB)
Z. Liu, V. Mencl, A. P. Ravn, and L. Yang, Harnessing Theories for Tool Support, , 08/2006. Abstract  Download: 
Z. Liu, M. Shaef, N. Zhan, and J. Zhu, An Automata Model of Component-Based Architecture, : UNU-IIST, 08/2010. Abstract  Download: report438.pdf (278.66 KB)
X. Liu, Z. Liu, and L. Zhao, "Object-oriented structure refinement - a graph transformational approach", REFINE 2006, vol. 187: Elsevier, pp. 145-159, 2007. Abstract  Download: ENTCS07.pdf (366.83 KB)
Z. Liu, C. Morisset, and V. Stolz, rCOS: Theory and Tool for Component-Based Model Driven Development, , 02/2009. Abstract  Download: report406.pdf (231.66 KB)
Z. Liu, X. Li, J. Liu, and H. Jifeng, "Integrating and Refining UML Models", UML2004 Workshop on Consistency Problems in UML-based Software Development, Lisbon, Portugal, 10/2004. Abstract  Download: report295.pdf (237.77 KB)
Z. Liu, M. Schaef, N. Zhan, and J. Zhu, Composable Automata for Component Interfaces, : UNU-IIST, 12/2010. Abstract  Download: report446.pdf (265.57 KB)
J. Liu, Z. Liu, H. Jifeng, and X. Li, Linking UML Models of Design and Requirement, , 2004. Abstract  Download: report293.pdf (177.8 KB)