dblp.uni-trier.dewww.uni-trier.de

Xuandong Li Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
45EEMinxue Pan, Lei Bu, Xuandong Li: TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695
44EELu Yang, Zhanqi Cui, Xuandong Li: A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. HPCC 2009: 630-635
43EEZhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437
2008
42EELei Bu, You Li, Linzhang Wang, Xuandong Li: BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4
41EEBin Lei, Linzhang Wang, Xuandong Li: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209
40EEJianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276
39EEXuandong 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
38EETian 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
37EEXiaofeng 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
36EEXuandong 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)
35EEXiaofeng 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
34EEXuandong 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
33EEXiaofeng 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
32EEJun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804
31EEXuandong Li, Lei Bu, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng: Scenario-Based Timing Consistency Checking for Time Petri Nets. FORTE 2006: 388-403
30EEYan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225
29EEJianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396
28EEYan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-based Component Behavior Filtration. SET 2006: 25-36
27EEYan 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)
26EEJianhua 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
25EEJun 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
24EEJun 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
23EEJianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005
22EEXuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312
21EEJianhua 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
20EELinzhang 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
19EEXuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256
18EEXuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)
2003
17EEJianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45
2002
16EEJianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432
15EEXuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)
14EEXuandong 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
13EEXuandong 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
12EEXuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75
11EEXuandong Li, Johan Lilius: Efficient verification of a class of time Petri nets using linear programming. Inf. Process. Lett. 77(5-6): 219-224 (2001)
10EEXuandong 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
8EEXuandong 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
2EEXuandong 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)