The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xiaoshan Li: [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. 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]
  5. 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]
  6. 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]
  7. Xiaoshan Li, Antonio Cau, Ben C. Moszkowski, Nick Coleman, Hussein Zedan
    Proving the correctness of the interlock mechanism in processor design. [Citation Graph (0, 0)][DBLP]
    CHARME, 1997, pp:5-22 [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. Xiaoshan Li, Wang Juan
    Specifying Optimal Design of a Steam-Boiler System. [Citation Graph (0, 0)][DBLP]
    Formal Methods for Industrial Applications, 1995, pp:359-378 [Conf]
  10. Chaochen Zhou, Dang Van Hung, Xiaoshan Li
    A Duration Calculus with Infinite Intervals. [Citation Graph (0, 0)][DBLP]
    FCT, 1995, pp:16-41 [Conf]
  11. Zhiming Liu, Jifeng He, Xiaoshan Li
    rCOS: Refinement of Component and Object Systems. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:183-221 [Conf]
  12. 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]
  13. Xiaoshan Li, Zhiming Liu, Jifeng He
    Consistency Checking of UML Requirements. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2005, pp:411-420 [Conf]
  14. 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]
  15. Zhiming Liu, Xiaoshan Li, Jifeng He
    Using Transition Systems to Unify UML Models. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2002, pp:535-547 [Conf]
  16. 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]
  17. Jifeng He, Xiaoshan Li, Zhiming Liu
    Component-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:70-95 [Conf]
  18. Zhiming Liu, Jifeng He, Xiaoshan Li
    Contract Oriented Development of Component Software. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:349-366 [Conf]
  19. Xiaoshan Li
    Specification and Simulation of a Concurrent Real-Time System. [Citation Graph (0, 0)][DBLP]
    PDSE, 1999, pp:197-204 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. Xiaoshan Li
    A Characterization of UML Diagrams and their Consistency. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:67-76 [Conf]

  28. Animating the Brush-writing Process of Chinese Calligraphy Characters. [Citation Graph (, )][DBLP]


  29. Validating Requirements Model of a B2B System. [Citation Graph (, )][DBLP]


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


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


Search in 0.256secs, Finished in 0.257secs
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