Xiaoshan Li

2008
29	EE	Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)
2007
28	EE	Zhenbang Chen, Abdel Hakim 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
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

Coauthor Index

1	Antonio Cau	[3]
2	Yifeng Chen	[10]
3	Zhenbang Chen	[27] [28]
4	Nick Coleman	[3]
5	Zhensheng Guo	[7]
6	Abdel Hakim Hannousse	[28]
7	Jifeng He	[6] [8] [9] [10] [12] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25]
8	Dang Van Hung	[2] [28]
9	Wang Juan	[1]
10	Istvan Knoll	[28]
11	Jing Liu	[12] [17]
12	Yang Liu	[28]
13	Zhiming Liu	[4] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [27] [28] [29]
14	Quan Long	[14] [15] [23]
15	Ben C. Moszkowski	[3]
16	Qu Nan	[28]
17	Joseph C. Okika	[28]
18	Shengchao Qin	[19]
19	Anders P. Ravn	[4] [11] [28]
20	Volker Stolz	[27] [28]
21	Jing Yang	[14]
22	Lu Yang	[27] [28]
23	Hussein Zedan (Hussein S. M. Zedan)	[3]
24	Naijun Zhan	[28]
25	Chaochen Zhou (Zhou Chaochen)	[2]

Colors in the list of coauthors