Zhiming Liu

2007
50		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
49		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
48		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
47	EE	Zhiming Liu, Nanyan Ling: Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology. CCTA 2007: 277-285
46	EE	Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
45	EE	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
44	EE	Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
43	EE	Yang Tao, Zhiming Liu, Yuxing Peng: Global Translational Motion Estimation (GTME). LSMS (1) 2007: 756-766
42	EE	Xin Chen, Zhiming Liu, Vladimir Mencl: Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831
41	EE	Xiaojian Liu, Zhiming Liu, Liang Zhao: Object-Oriented Structure Refinement - A Graph Transformational Approach. Electr. Notes Theor. Comput. Sci. 187: 145-159 (2007)
40	EE	Jorge Cuellar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38 (2007)
2006
39		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
38	EE	Yang Tao, Zhiming Liu, Yuxing Peng: A Model of Video Coding Based on Multi-agent. PRIMA 2006: 590-595
37	EE	Zhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
36	EE	Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
35	EE	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)
34	EE	Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
2005
33		Zhiming Liu, Keijiro Araki: Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers Springer 2005
32	EE	Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
31	EE	Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420
30	EE	Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500
29	EE	Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
28	EE	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	EE	Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
26	EE	Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
25	EE	Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
24	EE	Bhim Prasad Upadhyaya, Zhiming Liu: Formal Support for Development of JavaBeans? Component Systems. COMPSAC 2004: 23-28
23	EE	Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
22	EE	Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
21	EE	Yifeng Chen, Zhiming Liu: From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482
20	EE	Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li: A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186
19	EE	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	EE	Yifeng Chen, Zhiming Liu: Integrating Temporal Logics. IFM 2004: 402-420
16	EE	Zhiming Liu, Mathai Joseph: Real-Time and Fault-Tolerant Systems. PSSE 2004: 156-219
15	EE	Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
14	EE	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	EE	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	EE	Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
11	EE	Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
2001
10	EE	Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-
9	EE	Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
8	EE	Zhiming Liu, Mathai Joseph: Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253(1): 119-152 (2001)
1999
7	EE	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	Keijiro Araki	[33]
2	Luís Soares Barbosa	[37]
3	Xin Chen	[42] [46]
4	Yifeng Chen	[13] [17] [21]
5	Zhenbang Chen	[44] [45]
6	Jorge Cuellar	[40]
7	Chris George	[49]
8	Zhensheng Guo	[10]
9	Jifeng He	[9] [11] [12] [13] [15] [18] [22] [23] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [39] [46]
10	Tomasz Janowski	[3]
11	Cliff B. Jones	[48] [50]
12	Mathai Joseph	[1] [2] [3] [4] [5] [7] [8] [16]
13	Xiaoshan Li	[6] [9] [10] [11] [12] [13] [14] [15] [18] [20] [22] [23] [25] [26] [27] [28] [29] [31] [32] [34] [36] [45]
14	Nanyan Ling	[47]
15	Jing Liu	[15] [25] [35]
16	Xiaojian Liu	[41]
17	Quan Long	[20] [22] [30] [32]
18	Vladimir Mencl	[42]
19	Yuxing Peng	[38] [43]
20	Shengchao Qin	[27]
21	Zongyan Qiu	[30]
22	Anders P. Ravn	[6] [14] [44]
23	Lingshuang Shao	[30]
24	Volker Stolz	[44] [45]
25	Yang Tao	[38] [43]
26	Bhim Prasad Upadhyaya	[24]
27	Jim Woodcock (J. C. P. Woodcock)	[48] [49] [50]
28	Jing Yang	[20]
29	Lu Yang	[44] [45]
30	Naijun Zhan	[46]
31	Liang Zhao	[41]

Colors in the list of coauthors