Search the dblp DataBase
Xuandong Li :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Xuandong Li , Johan Lilius Checking compositions of UML sequence diagrams for timing inconsistency. [Citation Graph (0, 0)][DBLP ] APSEC, 2000, pp:154-161 [Conf ] 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 ] 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 ] Xuandong Li , Dang Van Hung Checking Linear Duration Invariants by Linear Programming. [Citation Graph (0, 0)][DBLP ] ASIAN, 1996, pp:321-332 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Xuandong Li , Tao Zheng , Hou Jianmin , Jianhua Zhao , Guoliang Zheng Hybrid Regular Expressions. [Citation Graph (0, 0)][DBLP ] HSCC, 1998, pp:384-399 [Conf ] 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 ] 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 ] 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 ] 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 ] Xuandong Li , Guoliang Zheng Enhancing Reusability and Maintainability in NDOOM. [Citation Graph (0, 0)][DBLP ] OOIS, 1997, pp:236-246 [Conf ] 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 ] Xuandong Li , Johan Lilius Timing Analysis of UML Sequence Diagrams. [Citation Graph (0, 0)][DBLP ] UML, 1999, pp:661-674 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] TASS: Timing Analyzer of Scenario-Based Specifications. [Citation Graph (, )][DBLP ] BACH 2 : Bounded reachability checker for compositional linear hybrid systems. [Citation Graph (, )][DBLP ] BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. [Citation Graph (, )][DBLP ] Model Checking of Hybrid Systems Using Shallow Synchronization. [Citation Graph (, )][DBLP ] A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. [Citation Graph (, )][DBLP ] Automatic Test Case Generation for UML Activity Diagrams. [Citation Graph (, )][DBLP ] A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. [Citation Graph (, )][DBLP ] Improve Model Checking Efficiency Using Specific Knowledge about the System. [Citation Graph (, )][DBLP ] Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. [Citation Graph (, )][DBLP ] Design pattern directed clustering for understanding open source code. [Citation Graph (, )][DBLP ] UML state machine diagram driven runtime verification of Java programs for message interaction consistency. [Citation Graph (, )][DBLP ] Modeling and integrating aspects with UML activity diagrams. [Citation Graph (, )][DBLP ] Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. [Citation Graph (, )][DBLP ] UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. [Citation Graph (, )][DBLP ] Scenario-based Component Behavior Filtration. [Citation Graph (, )][DBLP ] UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. [Citation Graph (, )][DBLP ] Scope Logic: Extending Hoare Logic for Pointer Program Verification [Citation Graph (, )][DBLP ] State Based Robustness Testing for Components. [Citation Graph (, )][DBLP ] Search in 0.090secs, Finished in 0.093secs