Xuandong Li

2009
39	EE	Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
2008
38	EE	Bin Lei, Linzhang Wang, Xuandong Li: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209
37	EE	Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
36	EE	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
2007
35	EE	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
34	EE	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)
33	EE	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
32	EE	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
31	EE	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
30	EE	Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804
29	EE	Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
28	EE	Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
27	EE	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	EE	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	EE	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	EE	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	EE	Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
22	EE	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	EE	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	EE	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	EE	Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
18	EE	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
17	EE	Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
2002
16	EE	Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
15	EE	Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)
14	EE	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	EE	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	EE	Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
11	EE	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	EE	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	EE	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	EE	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	[34]
2	Lei Bu	[22] [34]
3	Zhanqi Cui	[39]
4	Xiaocong Fan	[3]
5	Jun Hu	[20] [22] [24] [25] [27] [28] [29] [30] [31] [33]
6	Dang Van Hung	[1] [5]
7	Hou Jianmin	[3] [6]
8	Gong Jiayu	[19]
9	Bin Lei	[32] [36] [38]
10	Bu Lei	[29]
11	Yong Li	[13] [14] [18]
12	Johan Lilius	[7] [8] [11]
13	Cui Meng	[12]
14	Xiaokang Qiu	[32] [36]
15	Mauno Rönkkö	[9]
16	Wenkai Tan	[15]
17	Chenghua Wang	[30]
18	Linzhang Wang	[20] [24] [31] [32] [33] [35] [36] [37] [38] [39]
19	W. Eric Wong	[36]
20	Dianxiang Xu	[39]
21	He Xu	[16]
22	Shi Yaoxin	[19]
23	Pei Yu	[12] [13] [14]
24	Xiaofeng Yu	[20] [24] [25] [27] [28] [31] [33] [35]
25	Jiesong Yuan	[20] [32]
26	Tao Zhang	[29]
27	Tian Zhang	[24] [25] [27] [28] [31] [33] [35]
28	Yan Zhang	[24] [25] [27] [28] [31] [33] [35]
29	Jianhua Zhao	[6] [12] [13] [14] [16] [17] [18] [19] [21] [22] [23] [26] [29] [31] [32] [33] [35] [37]
30	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] [32] [35]
31	Tao Zheng	[5] [6] [13] [14] [16] [17] [18] [26]
32	Xiuyi Zhou	[23]

Colors in the list of coauthors