Zhiming Liu

United Nations University, Macao

other persons with the same name:

• Zhiming Liu 0002 - New Jersey Institute of Technology
• Zhiming Liu 0003 - Nanhua University, Hengyang, China
• Zhiming Liu 0004 - School of Economics and Management, Beihang University, Beijing, China
• Zhiming Liu 0005 - Sichuan University, Chengdu, China
• Zhiming Liu 0006 - Northeast Normal University, Changchun, China
• Zhiming Liu 0007 - Hubei Univ. of Educ., Wuhan

	2013
j25		Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao: A graph-based generic type system for object-oriented programs. Frontiers of Computer Science 7(1): 109-134 (2013)
j24		Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A framework for automated and certified refinement steps. ISSE 9(1): 3-16 (2013)
	2012
j23		Wei Ke, Xiaoshan Li, Zhiming Liu, Volker Stolz: rCOS: a formal model-driven engineering method for component-based software. Frontiers of Computer Science in China 6(1): 17-39 (2012)
j22		Zhiming Liu, Abhik Roychoudhury: Relating software validation to technology trends. STTT 14(6): 631-638 (2012)
j21		Zhenbang Chen, Zhiming Liu, Ji Wang: Failure-divergence semantics and refinement of long running transactions. Theor. Comput. Sci. 455: 31-65 (2012)
c50		Ruzhen Dong, Johannes Faber, Zhiming Liu, Jirí Srba, Naijun Zhan, Jiaqi Zhu: Unblockable compositions of software components. CBSE 2012: 103-108
c49		Tianhua Xu, Zhiming Liu, Tao Tang, Wei Zheng, Lin Zhao: Component Based Design of Fault Tolerant Devices in Cyber Physical System. ISORC Workshops 2012: 37-42
e7		Zhiming Liu, Alan Wassyng (Eds.): Foundations of Health Informatics Engineering and Systems - First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7151, Springer 2012, isbn 978-3-642-32354-6
	2011
j20		Zhiming Liu, Jim Woodcock: Editorial. Formal Asp. Comput. 23(2): 151 (2011)
c48		Dan Li, Xiaoshan Li, Zhiming Liu, Volker Stolz: Interactive Transformations from Object-Oriented Models to Component-Based Models. FACS 2011: 97-114
c47		Zhenbang Chen, Zhiming Liu, Ji Wang: Failure-Divergence Refinement of Compensating Communicating Processes. FM 2011: 262-277
i1		Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang: A Framework for Automated and Certified Refinement Steps. CoRR abs/1112.0215 (2011)
	2010
j19		Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li: State Based Robustness Testing for Components. Electr. Notes Theor. Comput. Sci. 260: 173-188 (2010)
j18		Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz: Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010)
c46		Roberto Bruni, Zhiming Liu, Liang Zhao: Graph Representation of Sessions and Pipelines for Structured Service Programming. FACS 2010: 259-276
c45		Zhenbang Chen, Zhiming Liu: An Extended cCSP with Stable Failures Semantics. ICTAC 2010: 121-136
c44		Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin: AutoPA: Automatic Prototyping from Requirements. ISoLA (1) 2010: 609-624
c43		Zhiming Liu, Charles Morisset, Shuling Wang: A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF 2010: 258-273
	2009
j17		Liang Zhao, Xiaojian Liu, Zhiming Liu, Zongyan Qiu: Graph transformations for object-oriented refinement. Formal Asp. Comput. 21(1-2): 103-131 (2009)
j16		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)
c42		Zhiming Liu, Charles Morisset, Volker Stolz: rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN 2009: 62-80
c41		Miaomiao Zhang, Zhiming Liu, Naijun Zhan: Model Checking Linear Duration Invariants of Networks of Automata. FSEN 2009: 244-259
c40		Wei Ke, Zhiming Liu, Shuling Wang, Liang Zhao: A Graph-Based Operational Semantics of OO Programs. ICFEM 2009: 347-366
p2		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
e6		Zhiming Liu, Anders P. Ravn (Eds.): Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5799, Springer 2009, isbn 978-3-642-04760-2
	2008
j15		Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)
j14		Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu: Validation of requirement models by automatic prototyping. ISSE 4(3): 241-248 (2008)
c39		Miaomiao Zhang, Dang Van Hung, Zhiming Liu: Verification of Linear Duration Invariants by Model Checking CTL Properties. ICTAC 2008: 395-409
c38		Long Quan, Zongyan Qiu, Zhiming Liu: Formal Use of Design Patterns and Refactoring. ISoLA 2008: 323-338
c37		Zhiming Liu, Charles Morisset, Volker Stolz: A Component-Based Access Control Monitor. ISoLA 2008: 339-353
c36		Leila Silva, Augusto Sampaio, Zhiming Liu: Laws of Object-Orientation with Reference Semantics. SEFM 2008: 217-226
c35		Naijun Zhan, Eun-Young Kang, Zhiming Liu: Component Publications and Compositions. UTP 2008: 238-257
p1		Hu Jun, Zhiming Liu, G. M. Reed, J. W. Sanders: Ensemble Engineering and Emergence. Software-Intensive Systems and New Computing Paradigms 2008: 162-178
	2007
j13		Xiaojian Liu, Zhiming Liu, Liang Zhao: Object-Oriented Structure Refinement - A Graph Transformational Approach. Electr. Notes Theor. Comput. Sci. 187: 145-159 (2007)
j12		Jorge Cuéllar, Zhiming Liu: SoSyM Special Section on Software Engineering and Formal Methods. Software and System Modeling 6(1): 37-38 (2007)
c34		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
c33		Zhenbang Chen, Abdelhakim 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
c32		Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan: A Model of Component-Based Programming. FSEN 2007: 191-206
c31		Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn: A Refinement Driven Component-Based Design. ICECCS 2007: 277-289
c30		Xin Chen, Zhiming Liu, Vladimir Mencl: Separation of Concerns and Consistent Integration in Requirements Modelling. SOFSEM (1) 2007: 819-831
e5		Chris George, Zhiming Liu, Jim Woodcock (Eds.): 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, isbn 978-3-540-74963-9
e4		Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): 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. Lecture Notes in Computer Science 4700, Springer 2007, isbn 978-3-540-75220-2
e3		Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.): Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4711, Springer 2007, isbn 978-3-540-75290-5
	2006
j11		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)
j10		Zhiming Liu, Luís Soares Barbosa: Preface. Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006)
j9		Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
j8		Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
c29		Joseph C. Okika, Anders P. Ravn, Zhiming Liu, Lokesh Siddalingaiah: Developing a TTCN-3 Test Harness for Legacy Software. AST 2006: 104-110
c28		Zhiming Liu, Vladimir Mencl, Anders P. Ravn, Lu Yang: Harnessing Theories for Tool Support. ISoLA 2006: 371-382
e2		Zhiming Liu, Jifeng He (Eds.): Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings. Lecture Notes in Computer Science 4260, Springer 2006, isbn 3-540-47460-9
	2005
j7		Zhiming Liu, Jifeng He, Xiaoshan Li: Towards a Rigorous Approach to UML-Based Development. Electr. Notes Theor. Comput. Sci. 130: 57-77 (2005)
c27		Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
c26		Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420
c25		Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
c24		Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He: POST: A Case Study for an Incremental Development in rCOS. ICTAC 2005: 485-500
c23		Zhiming Liu, R. Venkatesh: Methods and Tools for Formal Software Engineering. VSTTE 2005: 31-41
c22		Bernhard K. Aichernig, Jifeng He, Zhiming Liu, Mike Reed: Integrating Theories and Techniques for Program Modelling, Design and Verification. VSTTE 2005: 291-300
e1		Zhiming Liu, Keijiro Araki (Eds.): Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3407, Springer 2005, isbn 3-540-25304-1
	2004
j6		Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
j5		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)
c21		Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
c20		Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
c19		Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
c18		Bhim Prasad Upadhyaya, Zhiming Liu: Formal Support for Development of JavaBeans? Component Systems. COMPSAC 2004: 23-28
c17		Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
c16		Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
c15		Yifeng Chen, Zhiming Liu: From Durational Specifications to TLA Designs of Timed Automata. ICFEM 2004: 464-482
c14		Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li: A Predicative Semantic Model for Integrating UML Models. ICTAC 2004: 170-186
c13		Zhiming Liu: A Summary of the Tutorials at ICTAC 2004. ICTAC 2004: 557-560
c12		Zhiming Liu, Jifeng He, Xiaoshan Li: Contract Oriented Development of Component Software. IFIP TCS 2004: 349-366
c11		Yifeng Chen, Zhiming Liu: Integrating Temporal Logics. IFM 2004: 402-420
c10		Zhiming Liu, Mathai Joseph: Real-Time and Fault-Tolerant Systems. PSSE 2004: 156-219
	2003
c9		Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen: A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ICFEM 2003: 641-664
	2002
c8		Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
c7		Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
	2001
j4		Zhiming Liu, Mathai Joseph: Verification, refinement and scheduling of real-time programs. Theor. Comput. Sci. 253(1): 119-152 (2001)
c6		Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-
c5		Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
	1999
j3		Zhiming Liu, Mathai Joseph: Specification and Verification of Fault-Tolerance, Timing, and Scheduling. ACM Trans. Program. Lang. Syst. 21(1): 46-89 (1999)
	1998
c4		Zhiming Liu, Anders P. Ravn, Xiaoshan Li: Verifying duration properties of timed transition systems. PROCOMET 1998: 327-345
	1997
c3		Zhiming Liu, Mathai Joseph: Formalizing Real-Time Scheduling as Program Refinement. ARTS 1997: 295-309
	1996
c2		Zhiming Liu, Mathai Joseph: Verification of Fault Tolerance and Real Time. FTCS 1996: 220-229
	1995
j2		Zhiming Liu, Mathai Joseph, Tomasz Janowski: Verification of Schedulability for Real-Time Programs. Formal Asp. Comput. 7(5): 510-532 (1995)
	1994
c1		Zhiming Liu, Mathai Joseph: Stepwise Development of Fault-Tolerant Reactive Systems. FTRTFT 1994: 529-546
	1992
j1		Zhiming Liu, Mathai Joseph: Transformation of Programs for Fault-Tolerance. Formal Asp. Comput. 4(5): 442-469 (1992)

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 14:58:38 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page