Zhiming Liu

	2009
68		Zhiming Liu, Anders P. Ravn: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings Springer 2009
67		Zhiming Liu, Chengjun Liu: Robust Face Recognition Using Color Information. ICB 2009: 122-131
66		Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn: Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance 2009: 57-84
65		Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Asp. Comput. 21(1-2): 103-131 (2009)
64		Zhenbang Chen, Zhiming Liu, Anders P. Ravn, Volker Stolz, Naijun Zhan: Refinement and verification in component-based model-driven design. Sci. Comput. Program. 74(4): 168-196 (2009)
	2008
63		Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409
62		Long Quan, Zongyan Qiu, Zhiming Liu: Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338
61		Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353
60		Leila Silva, Augusto Sampaio, Zhiming Liu: Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226
59		Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders: Ensemble Engineering and Emergence. Software-Intensive Systems and New Computing Paradigms 2008: 162-178
58		Zhiming Liu, Chengjun Liu: Fusion of the complementary Discrete Cosine Features in the YIQ color space for face recognition. Computer Vision and Image Understanding 111(3): 249-262 (2008)
57		Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)
56		Zhiming Liu, Chengjun Liu: A Hybrid Color and Frequency Features Method for Face Recognition. IEEE Transactions on Image Processing 17(10): 1975-1980 (2008)
55		Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu: Validation of requirement models by automatic prototyping. ISSE 4(3): 241-248 (2008)
	2007
54		Cliff B. Jones, Zhiming Liu, Jim Woodcock: Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007 Springer 2007
53		Chris George, Zhiming Liu, Jim Woodcock: Domain Modeling and the Duration Calculus, International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures Springer 2007
52		Cliff B. Jones, Zhiming Liu, Jim Woodcock: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings Springer 2007
51		Zhiming Liu, Nanyan Ling: Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology. CCTA 2007: 277-285
50		Zhenbang Chen, Abdel Hakim Hannousse, Dang Van Hung, Istvan Knoll, Xiaoshan Li, Zhiming Liu, Yang Liu, Qu Nan, Joseph C. Okika, Anders P. Ravn, Volker Stolz, Lu Yang, Naijun Zhan: Modelling with Relational Calculus of Object and Component Systems - rCOS. CoCoME 2007: 116-145
49		Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
48		Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang: Harnessing rCOS for Tool Support - The CoCoME Experience. Formal Methods and Hybrid Real-Time Systems 2007: 83-114
47		Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
46		Yang Tao, Zhiming Liu, Yuxing Peng: Global Translational Motion Estimation (GTME). LSMS (1) 2007: 756-766
45		Xin Chen, Zhiming Liu, Vladimir Mencl: Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831
44		Xiaojian Liu, Zhiming Liu, Liang Zhao: Object-Oriented Structure Refinement - A Graph Transformational Approach. Electr. Notes Theor. Comput. Sci. 187: 145-159 (2007)
43		Jorge Cuéllar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38 (2007)
	2006
42		Zhiming Liu, Jifeng He: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings Springer 2006
41		Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang: Harnessing Theories for Tool Support. ISoLA 2006: 371-382
40		Yang Tao, Zhiming Liu, Yuxing Peng: A Model of Video Coding Based on Multi-agent. PRIMA 2006: 590-595
39		Zhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
38		Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
37		Jing Liu, Jifeng He, Zhiming Liu: A strategy for service realization in service-oriented design. Science in China Series F: Information Sciences 49(6): 864-884 (2006)
36		Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
	2005
35		Zhiming Liu, Keijiro Araki: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Springer 2005
34		Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
33		Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420
32		Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500
31		Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
30		Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
29		Zhiming Liu, R. Venkatesh: Methods and Tools for Formal Software Engineering. VSTTE 2005: 31-41
28		Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)
	2004
27		Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
26		Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
25		Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
24		Bhim Prasad Upadhyaya, Zhiming Liu: Formal Support for Development of JavaBeans? Component Systems. COMPSAC 2004: 23-28
23		Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
22		Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
21		Yifeng Chen, Zhiming Liu: From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482
20		Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li: A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186
19		Zhiming Liu: A Summary of the Tutorials at ICTAC 2004. ICTAC 2004: 557-560
18		Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366
17		Yifeng Chen, Zhiming Liu: Integrating Temporal Logics. IFM 2004: 402-420
16		Zhiming Liu, Mathai Joseph: Real-Time and Fault-Tolerant Systems. PSSE 2004: 156-219
15		Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
14		Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Unifying proof methodologies of duration calculus and timed linear temporal logic. Formal Asp. Comput. 16(2): 140-154 (2004)
	2003
13		Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664
	2002
12		Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
11		Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
	2001
10		Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-
9		Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
8		Zhiming Liu, Mathai Joseph: Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253(1): 119-152 (2001)
	1999
7		Zhiming Liu, Mathai Joseph: Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999)
	1998
6		Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345
	1997
5		Zhiming Liu, Mathai Joseph: Formalizing Real-Time Scheduling as Program Refinement. ARTS 1997: 295-309
	1996
4		Zhiming Liu, Mathai Joseph: Verification of Fault Tolerance and Real Time. FTCS 1996: 220-229
	1995
3		Zhiming Liu, Mathai Joseph, Tomasz Janowski: Verification of Schedulability for Real-Time Programs. Formal Asp. Comput. 7(5): 510-532 (1995)
	1994
2		Zhiming Liu, Mathai Joseph: Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546
	1992
1		Zhiming Liu, Mathai Joseph: Transformation of Programs for Fault-Tolerance. Formal Asp. Comput. 4(5): 442-469 (1992)

Coauthor Index

1	Bernhard K. Aichernig	[30]
2	Keijiro Araki	[35]
3	Luís Soares Barbosa	[39]
4	Xin Chen	[45] [49]
5	Yifeng Chen	[13] [17] [21]
6	Zhenbang Chen	[47] [48] [50] [64]
7	Jorge Cuéllar	[43]
8	Chris George	[53]
9	Zhensheng Guo	[10]
10	Abdel Hakim Hannousse	[50]
11	Jifeng He	[9] [11] [12] [13] [15] [18] [22] [23] [25] [26] [27] [28] [30] [31] [32] [33] [34] [36] [37] [38] [42] [49]
12	Dang Van Hung	[50] [63]
13	Tomasz Janowski	[3]
14	Cliff B. Jones	[52] [54]
15	Mathai Joseph	[1] [2] [3] [4] [5] [7] [8] [16]
16	Hu Jun	[59]
17	Istvan Knoll	[50]
18	Dan Li	[55]
19	Xiaoshan Li	[6] [9] [10] [11] [12] [13] [14] [15] [18] [20] [22] [23] [25] [26] [27] [28] [31] [33] [34] [36] [38] [48] [50] [55] [57]
20	Nanyan Ling	[51]
21	Chengjun Liu	[56] [58] [67]
22	Jicong Liu	[55]
23	Jing Liu	[15] [25] [37]
24	Xiaojian Liu	[44] [65]
25	Yang Liu	[50]
26	Quan Long	[20] [22] [32] [34]
27	Vladimir Mencl	[41] [45]
28	Charles Morisset	[61] [66]
29	Qu Nan	[50]
30	Joseph C. Okika	[50]
31	Yuxing Peng	[40] [46]
32	Shengchao Qin	[27]
33	Zongyan Qiu	[32] [62] [65]
34	Long Quan	[62]
35	Anders P. Ravn	[6] [14] [41] [47] [50] [64] [66] [68]
36	G. M. Reed	[59]
37	Mike Reed	[30]
38	Augusto Sampaio	[60]
39	J. W. Sanders	[59]
40	Lingshuang Shao	[32]
41	Leila Silva	[60]
42	Volker Stolz	[47] [48] [50] [61] [64]
43	Yang Tao	[40] [46]
44	Bhim Prasad Upadhyaya	[24]
45	R. Venkatesh	[29]
46	Jim Woodcock (J. C. P. Woodcock)	[52] [53] [54]
47	Jing Yang	[20]
48	Lu Yang	[41] [47] [48] [50]
49	Naijun Zhan	[49] [50] [64]
50	Miaomiao Zhang	[63] [66]
51	Liang Zhao	[44] [65]

Colors in the list of coauthors