| 2007 |
|---|
| 27 | 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 |
| 2006 |
|---|
| 26 | EE | Xiaoshan Li:
A Characterization of UML Diagrams and their Consistency.
ICECCS 2006: 67-76 |
| 25 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
A Theory of Reactive Components.
Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006) |
| 24 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
rCOS: A refinement calculus of object systems.
Theor. Comput. Sci. 365(1-2): 109-142 (2006) |
| 2005 |
|---|
| 23 | EE | Quan Long,
Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Consistent Code Generation from UML Models.
Australian Software Engineering Conference 2005: 23-30 |
| 22 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Consistency Checking of UML Requirements.
ICECCS 2005: 411-420 |
| 21 | EE | Jifeng He,
Xiaoshan Li,
Zhiming Liu:
Component-Based Software Engineering.
ICTAC 2005: 70-95 |
| 20 | 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 |
|---|
| 19 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li,
Shengchao Qin:
A Relational Model for Object-Oriented Designs.
APLAS 2004: 415-436 |
| 18 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
A Formal Semantics of UML Sequence Diagram.
Australian Software Engineering Conference 2004: 168-177 |
| 17 | EE | Jing Liu,
Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Linking UML Models of Design and Requirement.
Australian Software Engineering Conference 2004: 329-338 |
| 16 | EE | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
rCOS: Refinement of Component and Object Systems.
FMCO 2004: 183-221 |
| 15 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He,
Quan Long:
Generating a Prototype from a UML Model of System Requirements.
ICDCIT 2004: 255-265 |
| 14 | EE | Jing Yang,
Quan Long,
Zhiming Liu,
Xiaoshan Li:
A Predicative Semantic Model for Integrating UML Models.
ICTAC 2004: 170-186 |
| 13 | | Zhiming Liu,
Jifeng He,
Xiaoshan Li:
Contract Oriented Development of Component Software.
IFIP TCS 2004: 349-366 |
| 12 | EE | Zhiming Liu,
Jifeng He,
Jing Liu,
Xiaoshan Li:
Unifying Views of UML.
Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004) |
| 11 | 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 |
|---|
| 10 | 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 |
|---|
| 9 | EE | Zhiming Liu,
Xiaoshan Li,
Jifeng He:
Using Transition Systems to Unify UML Models.
ICFEM 2002: 535-547 |
| 8 | EE | Jifeng He,
Zhiming Liu,
Xiaoshan Li:
Towards a Refinement Calculus for Object Systems.
IEEE ICCI 2002: 69-76 |
| 2001 |
|---|
| 7 | EE | Xiaoshan Li,
Zhiming Liu,
Zhensheng Guo:
Formal Object-Oriented Analysis and Design of an Online Ticketing System.
APSEC 2001: 259- |
| 6 | EE | Xiaoshan Li,
Zhiming Liu,
Jifeng He:
Formal and Use-Case Driven Requirement Analysis in UML.
COMPSAC 2001: 215-224 |
| 1999 |
|---|
| 5 | EE | Xiaoshan Li:
Specification and Simulation of a Concurrent Real-Time System.
PDSE 1999: 197-204 |
| 1998 |
|---|
| 4 | | Zhiming Liu,
Anders P. Ravn,
Xiaoshan Li:
Verifying duration properties of timed transition systems.
PROCOMET 1998: 327-345 |
| 1997 |
|---|
| 3 | | Xiaoshan Li,
Antonio Cau,
Ben C. Moszkowski,
Nick Coleman,
Hussein Zedan:
Proving the correctness of the interlock mechanism in processor design.
CHARME 1997: 5-22 |
| 1995 |
|---|
| 2 | | Chaochen Zhou,
Dang Van Hung,
Xiaoshan Li:
A Duration Calculus with Infinite Intervals.
FCT 1995: 16-41 |
| 1 | | Xiaoshan Li,
Wang Juan:
Specifying Optimal Design of a Steam-Boiler System.
Formal Methods for Industrial Applications 1995: 359-378 |
