The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Zhiming Liu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jifeng He, Zhiming Liu, Xiaoshan Li
    Towards a Refinement Calculus for Object Systems. [Citation Graph (0, 0)][DBLP]
    IEEE ICCI, 2002, pp:69-76 [Conf]
  2. Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin
    A Relational Model for Object-Oriented Designs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:415-436 [Conf]
  3. Xiaoshan Li, Zhiming Liu, Zhensheng Guo
    Formal Object-Oriented Analysis and Design of an Online Ticketing System. [Citation Graph (0, 0)][DBLP]
    APSEC, 2001, pp:259-0 [Conf]
  4. Zhiming Liu, Mathai Joseph
    Formalizing Real-Time Scheduling as Program Refinement. [Citation Graph (0, 0)][DBLP]
    ARTS, 1997, pp:295-309 [Conf]
  5. Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li
    Linking UML Models of Design and Requirement. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:329-338 [Conf]
  6. Xiaoshan Li, Zhiming Liu, Jifeng He
    A Formal Semantics of UML Sequence Diagram. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2004, pp:168-177 [Conf]
  7. Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
    Consistent Code Generation from UML Models. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2005, pp:23-30 [Conf]
  8. Xiaoshan Li, Zhiming Liu, Jifeng He
    Formal and Use-Case Driven Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2001, pp:215-224 [Conf]
  9. Bhim Prasad Upadhyaya, Zhiming Liu
    Formal Support for Development of JavaBeans? Component Systems. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 2004, pp:23-28 [Conf]
  10. Zhiming Liu, Jifeng He, Xiaoshan Li
    rCOS: Refinement of Component and Object Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:183-221 [Conf]
  11. Zhiming Liu, Mathai Joseph
    Verification of Fault Tolerance and Real Time. [Citation Graph (0, 0)][DBLP]
    FTCS, 1996, pp:220-229 [Conf]
  12. Zhiming Liu, Mathai Joseph
    Stepwise Development of Fault-Tolerant Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1994, pp:529-546 [Conf]
  13. Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long
    Generating a Prototype from a UML Model of System Requirements. [Citation Graph (0, 0)][DBLP]
    ICDCIT, 2004, pp:255-265 [Conf]
  14. Xiaoshan Li, Zhiming Liu, Jifeng He
    Consistency Checking of UML Requirements. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:411-420 [Conf]
  15. Yifeng Chen, Zhiming Liu
    From Durational Specifications to TLA Designs of Timed Automata. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:464-482 [Conf]
  16. Zhiming Liu, Jifeng He, Xiaoshan Li, Yifeng Chen
    A Relational Model for Formal Object-Oriented Requirement Analysis in UML. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2003, pp:641-664 [Conf]
  17. Zhiming Liu, Xiaoshan Li, Jifeng He
    Using Transition Systems to Unify UML Models. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:535-547 [Conf]
  18. Jing Yang, Quan Long, Zhiming Liu, Xiaoshan Li
    A Predicative Semantic Model for Integrating UML Models. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:170-186 [Conf]
  19. Jifeng He, Xiaoshan Li, Zhiming Liu
    Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:70-95 [Conf]
  20. Zhiming Liu
    A Summary of the Tutorials at ICTAC 2004. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:557-560 [Conf]
  21. Quan Long, Zongyan Qiu, Zhiming Liu, Lingshuang Shao, Jifeng He
    POST: A Case Study for an Incremental Development in rCOS. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:485-500 [Conf]
  22. Zhiming Liu, Jifeng He, Xiaoshan Li
    Contract Oriented Development of Component Software. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:349-366 [Conf]
  23. Yifeng Chen, Zhiming Liu
    Integrating Temporal Logics. [Citation Graph (0, 0)][DBLP]
    IFM, 2004, pp:402-420 [Conf]
  24. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
    Verifying duration properties of timed transition systems. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:327-345 [Conf]
  25. Zhiming Liu, Jifeng He, Xiaoshan Li
    Towards a Rigorous Approach to UML-Based Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:57-77 [Journal]
  26. Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li
    Unifying Views of UML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:101, n:, pp:95-127 [Journal]
  27. Zhiming Liu, Luís Soares Barbosa
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:1-2 [Journal]
  28. Jifeng He, Xiaoshan Li, Zhiming Liu
    A Theory of Reactive Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:173-195 [Journal]
  29. Zhiming Liu, Mathai Joseph
    Transformation of Programs for Fault-Tolerance. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1992, v:4, n:5, pp:442-469 [Journal]
  30. Zhiming Liu, Mathai Joseph, Tomasz Janowski
    Verification of Schedulability for Real-Time Programs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:510-532 [Journal]
  31. Zhiming Liu, Anders P. Ravn, Xiaoshan Li
    Unifying proof methodologies of duration calculus and timed linear temporal logic. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:140-154 [Journal]
  32. Jifeng He, Xiaoshan Li, Zhiming Liu
    rCOS: A refinement calculus of object systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:109-142 [Journal]
  33. Zhiming Liu, Mathai Joseph
    Verification, refinement and scheduling of real-time programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:253, n:1, pp:119-152 [Journal]
  34. Zhiming Liu, Mathai Joseph
    Specification and Verification of Fault-Tolerance, Timing, and Scheduling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:1, pp:46-89 [Journal]
  35. Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang
    Harnessing rCOS for Tool Support - The CoCoME Experience. [Citation Graph (0, 0)][DBLP]
    Formal Methods and Hybrid Real-Time Systems, 2007, pp:83-114 [Conf]
  36. Zhenbang Chen, Zhiming Liu, Volker Stolz, Lu Yang, Anders P. Ravn
    A Refinement Driven Component-Based Design. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:277-289 [Conf]
  37. Xin Chen, Zhiming Liu, Vladimir Mencl
    Separation of Concerns and Consistent Integration in Requirements Modelling. [Citation Graph (0, 0)][DBLP]
    SOFSEM (1), 2007, pp:819-831 [Conf]
  38. Xin Chen, Jifeng He, Zhiming Liu, Naijun Zhan
    A Model of Component-Based Programming. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:191-206 [Conf]
  39. Zhiming Liu, Mathai Joseph
    Real-Time and Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    PSSE, 2004, pp:156-219 [Conf]
  40. Xiaojian Liu, Zhiming Liu, Liang Zhao
    Object-Oriented Structure Refinement - A Graph Transformational Approach. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:187, n:, pp:145-159 [Journal]

  41. Modelling with Relational Calculus of Object and Component Systems - rCOS. [Citation Graph (, )][DBLP]


  42. A Graph-Based Operational Semantics of OO Programs. [Citation Graph (, )][DBLP]


  43. Developing a TTCN-3 Test Harness for Legacy Software. [Citation Graph (, )][DBLP]


  44. Verification of Linear Duration Invariants by Model Checking CTL Properties. [Citation Graph (, )][DBLP]


  45. An Extended cCSP with Stable Failures Semantics. [Citation Graph (, )][DBLP]


  46. Research on Dynamic Change of Grassland in West Jilin Province Based on 3S Technology. [Citation Graph (, )][DBLP]


  47. Formal Use of Design Patterns and Refactoring. [Citation Graph (, )][DBLP]


  48. A Component-Based Access Control Monitor. [Citation Graph (, )][DBLP]


  49. Harnessing Theories for Tool Support. [Citation Graph (, )][DBLP]


  50. Laws of Object-Orientation with Reference Semantics. [Citation Graph (, )][DBLP]


  51. Component Publications and Compositions. [Citation Graph (, )][DBLP]


  52. rCOS: Theory and Tool for Component-Based Model Driven Development. [Citation Graph (, )][DBLP]


  53. Model Checking Linear Duration Invariants of Networks of Automata. [Citation Graph (, )][DBLP]


  54. Methods and Tools for Formal Software Engineering. [Citation Graph (, )][DBLP]


  55. Integrating Theories and Techniques for Program Modelling, Design and Verification. [Citation Graph (, )][DBLP]


  56. Fault detection for high availability RAID system. [Citation Graph (, )][DBLP]


  57. Prototyping System Requirements Model. [Citation Graph (, )][DBLP]


  58. State Based Robustness Testing for Components. [Citation Graph (, )][DBLP]


Search in 0.007secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002