Xuandong Li

	2009
45		Minxue Pan, Lei Bu, Xuandong Li: TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695
44		Lu Yang, Zhanqi Cui, Xuandong Li: A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. HPCC 2009: 630-635
43		Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
	2008
42		Lei Bu, You Li, Linzhang Wang, Xuandong Li: BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4
41		Bin Lei, Linzhang Wang, Xuandong Li: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209
40		Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
39		Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong: UML state machine diagram driven runtime verification of Java programs for message interaction consistency. SAC 2008: 384-389
38		Tian Zhang, Frédéric Jouault, Jean Bézivin, Xuandong Li: An MDE-based method for bridging different design notations. ISSE 4(3): 203-213 (2008)
	2007
37		Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li: Towards a Model Driven Approach to Automatic BPEL Generation. ECMDA-FA 2007: 204-218
36		Xuandong Li, Sumit Jha Aanand, Lei Bu: Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electr. Notes Theor. Comput. Sci. 174(3): 57-70 (2007)
35		Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li: A model-driven development framework for enterprise Web services. Information Systems Frontiers 9(4): 391-409 (2007)
	2006
34		Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105
33		Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li: A Model Driven Development Framework for Enterprise Web Services. EDOC 2006: 75-84
32		Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804
31		Xuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
30		Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
29		Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
28		Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-based Component Behavior Filtration. SET 2006: 25-36
27		Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Deriving Available Behavior All Out from Incompatible Component Compositions. Electr. Notes Theor. Comput. Sci. 160: 349-361 (2006)
26		Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. J. Comput. Sci. Technol. 21(1): 41-51 (2006)
	2005
25		Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng: Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. EUC 2005: 395-404
24		Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng: Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247
23		Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
22		Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
21		Jianhua Zhao, Xuandong Li, Guoliang Zheng: A quadratic-time DBM-based successor algorithm for checking timed automata. Inf. Process. Lett. 96(3): 101-105 (2005)
	2004
20		Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng: Generating Test Cases from UML Activity Diagram based on Gray-Box Method. APSEC 2004: 284-291
19		Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
18		Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
	2003
17		Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
	2002
16		Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
15		Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)
14		Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li, Tao Zheng, Guoliang Zheng: Positive loop-closed automata: a decidable class of hybrid systems. J. Log. Algebr. Program. 52-53: 79-108 (2002)
	2001
13		Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480
12		Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
11		Xuandong Li, Johan Lilius: Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett. 77(5-6): 219-224 (2001)
10		Xuandong Li: Verifying Time Petri Nets by Linear Programming. J. Comput. Sci. Technol. 16(1): 39-46 (2001)
9		Mauno Rönkkö, Xuandong Li: Linear Hybrid Action Systems. Nord. J. Comput. 8(1): 159- (2001)
	2000
8		Xuandong Li, Johan Lilius: Checking compositions of UML sequence diagrams for timing inconsistency. APSEC 2000: 154-161
	1999
7		Xuandong Li, Johan Lilius: Timing Analysis of UML Sequence Diagrams. UML 1999: 661-674
	1998
6		Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399
	1997
5		Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180
4		Xuandong Li, Guoliang Zheng: Enhancing Reusability and Maintainability in NDOOM. OOIS 1997: 236-246
3		Hou Jianmin, Xuandong Li, Xiaocong Fan, Guoliang Zheng: A Message-based Real-Time Model by Object-Oriented Technique. Operating Systems Review 31(3): 45-51 (1997)
	1996
2		Xuandong Li, Guoliang Zheng: A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC 1996: 93-
1		Xuandong Li, Dang Van Hung: Checking Linear Duration Invariants by Linear Programming. ASIAN 1996: 321-332

Coauthor Index

1	Sumit Jha Aanand	[36]
2	Jean Bézivin	[38]
3	Lei Bu	[22] [31] [36] [42] [45]
4	Zhanqi Cui	[43] [44]
5	Xiaocong Fan	[3]
6	Jun Hu	[20] [22] [24] [25] [27] [30] [31] [32] [33] [35]
7	Dang Van Hung	[1] [5]
8	Hou Jianmin	[3] [6]
9	Gong Jiayu	[19]
10	Frédéric Jouault	[38]
11	Bin Lei	[29] [34] [39] [41]
12	You Li	[42]
13	Yong Li	[13] [14] [18]
14	Johan Lilius	[7] [8] [11]
15	Cui Meng	[12]
16	Minxue Pan	[45]
17	Xiaokang Qiu	[34] [39]
18	Mauno Rönkkö	[9]
19	Wenkai Tan	[15]
20	Chenghua Wang	[32]
21	Linzhang Wang	[20] [24] [33] [34] [35] [37] [39] [40] [41] [42] [43]
22	W. Eric Wong	[39]
23	Dianxiang Xu	[43]
24	He Xu	[16]
25	Lu Yang	[44]
26	Shi Yaoxin	[19]
27	Pei Yu	[12] [13] [14]
28	Xiaofeng Yu	[20] [24] [25] [27] [28] [30] [33] [35] [37]
29	Jiesong Yuan	[20] [34]
30	Tao Zhang	[31]
31	Tian Zhang	[24] [25] [27] [28] [30] [33] [35] [37] [38]
32	Yan Zhang	[24] [25] [27] [28] [30] [33] [35] [37]
33	Jianhua Zhao	[6] [12] [13] [14] [16] [17] [18] [19] [21] [22] [23] [26] [29] [31] [33] [34] [35] [37] [40]
34	Guoliang Zheng	[2] [3] [4] [6] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [37]
35	Tao Zheng	[5] [6] [13] [14] [16] [17] [18] [26]
36	Xiuyi Zhou	[23]

Colors in the list of coauthors