Xiaoshan Li

	2009
32		Yin Ling, Liu Jing, Xiaoshan Li: Validating Requirements Model of a B2B System. ACIS-ICIS 2009: 1020-1025
31		Lijie Yang, Xiaoshan Li: Animating the Brush-writing Process of Chinese Calligraphy Characters. ACIS-ICIS 2009: 683-688
	2008
30		Xiaoshan Li, Zhiming Liu: Prototyping System Requirements Model. Electr. Notes Theor. Comput. Sci. 207: 17-32 (2008)
29		Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu: Validation of requirement models by automatic prototyping. ISSE 4(3): 241-248 (2008)
	2007
28		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		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		Xiaoshan Li: A Characterization of UML Diagrams and their Consistency. ICECCS 2006: 67-76
25		Jifeng He, Xiaoshan Li, Zhiming Liu: A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160: 173-195 (2006)
24		Jifeng He, Xiaoshan Li, Zhiming Liu: rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365(1-2): 109-142 (2006)
	2005
23		Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He: Consistent Code Generation from UML Models. Australian Software Engineering Conference 2005: 23-30
22		Xiaoshan Li, Zhiming Liu, Jifeng He: Consistency Checking of UML Requirements. ICECCS 2005: 411-420
21		Jifeng He, Xiaoshan Li, Zhiming Liu: Component-Based Software Engineering. ICTAC 2005: 70-95
20		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		Jifeng He, Zhiming Liu, Xiaoshan Li, Shengchao Qin: A Relational Model for Object-Oriented Designs. APLAS 2004: 415-436
18		Xiaoshan Li, Zhiming Liu, Jifeng He: A Formal Semantics of UML Sequence Diagram. Australian Software Engineering Conference 2004: 168-177
17		Jing Liu, Zhiming Liu, Jifeng He, Xiaoshan Li: Linking UML Models of Design and Requirement. Australian Software Engineering Conference 2004: 329-338
16		Zhiming Liu, Jifeng He, Xiaoshan Li: rCOS: Refinement of Component and Object Systems. FMCO 2004: 183-221
15		Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long: Generating a Prototype from a UML Model of System Requirements. ICDCIT 2004: 255-265
14		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		Zhiming Liu, Jifeng He, Jing Liu, Xiaoshan Li: Unifying Views of UML. Electr. Notes Theor. Comput. Sci. 101: 95-127 (2004)
11		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		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		Zhiming Liu, Xiaoshan Li, Jifeng He: Using Transition Systems to Unify UML Models. ICFEM 2002: 535-547
8		Jifeng He, Zhiming Liu, Xiaoshan Li: Towards a Refinement Calculus for Object Systems. IEEE ICCI 2002: 69-76
	2001
7		Xiaoshan Li, Zhiming Liu, Zhensheng Guo: Formal Object-Oriented Analysis and Design of an Online Ticketing System. APSEC 2001: 259-
6		Xiaoshan Li, Zhiming Liu, Jifeng He: Formal and Use-Case Driven Requirement Analysis in UML. COMPSAC 2001: 215-224
	1999
5		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	Liu Jing	[32]
10	Wang Juan	[1]
11	Istvan Knoll	[28]
12	Dan Li	[29]
13	Yin Ling	[32]
14	Jicong Liu	[29]
15	Jing Liu	[12] [17]
16	Yang Liu	[28]
17	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] [30]
18	Quan Long	[14] [15] [23]
19	Ben C. Moszkowski	[3]
20	Qu Nan	[28]
21	Joseph C. Okika	[28]
22	Shengchao Qin	[19]
23	Anders P. Ravn	[4] [11] [28]
24	Volker Stolz	[27] [28]
25	Jing Yang	[14]
26	Lijie Yang	[31]
27	Lu Yang	[27] [28]
28	Hussein Zedan (Hussein S. M. Zedan)	[3]
29	Naijun Zhan	[28]
30	Chaochen Zhou (Zhou Chaochen)	[2]

Colors in the list of coauthors