The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Xuandong Li: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng
    Runtime Verification of Java Programs for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    Ada-Europe, 2006, pp:94-105 [Conf]
  2. Xuandong Li, Johan Lilius
    Checking compositions of UML sequence diagrams for timing inconsistency. [Citation Graph (0, 0)][DBLP]
    APSEC, 2000, pp:154-161 [Conf]
  3. Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li, Guoliang Zheng
    Generating Test Cases from UML Activity Diagram based on Gray-Box Method. [Citation Graph (0, 0)][DBLP]
    APSEC, 2004, pp:284-291 [Conf]
  4. Xuandong Li, Guoliang Zheng
    A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    APSEC, 1996, pp:93-0 [Conf]
  5. Xuandong Li, Dang Van Hung
    Checking Linear Duration Invariants by Linear Programming. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:321-332 [Conf]
  6. Xuandong Li, Dang Van Hung, Tao Zheng
    Checking Hybrid Automata for Linear Duration Invariants. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1997, pp:166-180 [Conf]
  7. Xuandong Li, Pei Yu, Jianhua Zhao, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. [Citation Graph (0, 0)][DBLP]
    CHARME, 2001, pp:465-480 [Conf]
  8. Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang
    Modelling and Analysis of Power Consumption for Component-Based Embedded Software. [Citation Graph (0, 0)][DBLP]
    EUC Workshops, 2006, pp:795-804 [Conf]
  9. Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Xuandong Li, Guoliang Zheng
    Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications. [Citation Graph (0, 0)][DBLP]
    EUC, 2005, pp:395-404 [Conf]
  10. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:34-45 [Conf]
  11. Xuandong Li, Bu Lei, Jun Hu, Jianhua Zhao, Tao Zhang, Guoliang Zheng
    Scenario-Based Timing Consistency Checking for Time Petri Nets. [Citation Graph (0, 0)][DBLP]
    FORTE, 2006, pp:388-403 [Conf]
  12. Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng
    Partial Order Path Technique for Checking Parallel Timed Automata. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 2002, pp:417-432 [Conf]
  13. Xuandong Li, Tao Zheng, Hou Jianmin, Jianhua Zhao, Guoliang Zheng
    Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP]
    HSCC, 1998, pp:384-399 [Conf]
  14. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
    Scenario-Based Component Behavior Derivation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2006, pp:206-225 [Conf]
  15. Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng
    Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. [Citation Graph (0, 0)][DBLP]
    ICPP Workshops, 2005, pp:240-247 [Conf]
  16. Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng
    Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2005, pp:- [Conf]
  17. Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng
    Verifying Compositional Designs for Scenario-Based Timing Specifications. [Citation Graph (0, 0)][DBLP]
    ISORC, 2004, pp:253-256 [Conf]
  18. Xuandong Li, Guoliang Zheng
    Enhancing Reusability and Maintainability in NDOOM. [Citation Graph (0, 0)][DBLP]
    OOIS, 1997, pp:236-246 [Conf]
  19. Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng
    Consistency Checking of Concurrent Models for Scenario-Based Specifications. [Citation Graph (0, 0)][DBLP]
    SDL Forum, 2005, pp:298-312 [Conf]
  20. Xuandong Li, Johan Lilius
    Timing Analysis of UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:661-674 [Conf]
  21. Xuandong Li, Cui Meng, Pei Yu, Jianhua Zhao, Guoliang Zheng
    Timing Analysis of UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:62-75 [Conf]
  22. Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng
    Deriving Available Behavior All Out from Incompatible Component Compositions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:349-361 [Journal]
  23. Xuandong Li, Sumit Jha Aanand, Lei Bu
    Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:3, pp:57-70 [Journal]
  24. Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng
    Duration-constrained regular expressions. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:2, pp:155-163 [Journal]
  25. Xuandong Li, Johan Lilius
    Efficient verification of a class of time Petri nets using linear programming. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2001, v:77, n:5-6, pp:219-224 [Journal]
  26. Jianhua Zhao, Xuandong Li, Guoliang Zheng
    A quadratic-time DBM-based successor algorithm for checking timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 2005, v:96, n:3, pp:101-105 [Journal]
  27. Xuandong Li
    Verifying Time Petri Nets by Linear Programming. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2001, v:16, n:1, pp:39-46 [Journal]
  28. Xuandong Li, Wenkai Tan, Guoliang Zheng
    Checking MSC Specifications for Timing Inconsistency. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2002, v:17, n:1, pp:47-55 [Journal]
  29. Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng
    Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking. [Citation Graph (0, 0)][DBLP]
    J. Comput. Sci. Technol., 2006, v:21, n:1, pp:41-51 [Journal]
  30. Xuandong Li, Jianhua Zhao, Pei Yu, Yong Li 0005, Tao Zheng, Guoliang Zheng
    Positive loop-closed automata: a decidable class of hybrid systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:79-108 [Journal]
  31. Mauno Rönkkö, Xuandong Li
    Linear Hybrid Action Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2001, v:8, n:1, pp:159-0 [Journal]
  32. Hou Jianmin, Xuandong Li, Xiaocong Fan, Guoliang Zheng
    A Message-based Real-Time Model by Object-Oriented Technique. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1997, v:31, n:3, pp:45-51 [Journal]
  33. Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Guoliang Zheng, Xuandong Li
    Towards a Model Driven Approach to Automatic BPEL Generation. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2007, pp:204-218 [Conf]
  34. Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Linzhang Wang, Jianhua Zhao, Xuandong Li
    A Model Driven Development Framework for Enterprise Web Services. [Citation Graph (0, 0)][DBLP]
    EDOC, 2006, pp:75-84 [Conf]
  35. Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li
    A model-driven development framework for enterprise Web services. [Citation Graph (0, 0)][DBLP]
    Information Systems Frontiers, 2007, v:9, n:4, pp:391-409 [Journal]

  36. TASS: Timing Analyzer of Scenario-Based Specifications. [Citation Graph (, )][DBLP]


  37. BACH 2 : Bounded reachability checker for compositional linear hybrid systems. [Citation Graph (, )][DBLP]


  38. BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. [Citation Graph (, )][DBLP]


  39. Model Checking of Hybrid Systems Using Shallow Synchronization. [Citation Graph (, )][DBLP]


  40. A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. [Citation Graph (, )][DBLP]


  41. Automatic Test Case Generation for UML Activity Diagrams. [Citation Graph (, )][DBLP]


  42. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. [Citation Graph (, )][DBLP]


  43. Improve Model Checking Efficiency Using Specific Knowledge about the System. [Citation Graph (, )][DBLP]


  44. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. [Citation Graph (, )][DBLP]


  45. Design pattern directed clustering for understanding open source code. [Citation Graph (, )][DBLP]


  46. UML state machine diagram driven runtime verification of Java programs for message interaction consistency. [Citation Graph (, )][DBLP]


  47. Modeling and integrating aspects with UML activity diagrams. [Citation Graph (, )][DBLP]


  48. Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. [Citation Graph (, )][DBLP]


  49. UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. [Citation Graph (, )][DBLP]


  50. Scenario-based Component Behavior Filtration. [Citation Graph (, )][DBLP]


  51. UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. [Citation Graph (, )][DBLP]


  52. Scope Logic: Extending Hoare Logic for Pointer Program Verification [Citation Graph (, )][DBLP]


  53. State Based Robustness Testing for Components. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002