Xuandong Li

Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao: Optimizing translation information management in NAND flash memory storage systems. ASP-DAC 2013: 326-331

Minxue Pan, You Li, Lei Bu, Xuandong Li: Loop reduction techniques for reachability analysis of linear hybrid automata. SCIENCE CHINA Information Sciences 55(12): 2663-2674 (2012)

Minxue Pan, Xuandong Li: Timing analysis of MSC specifications with asynchronous concatenation. STTT 14(6): 639-651 (2012)

Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao: Timing analysis of scenario-based specifications using linear programming. Softw. Test., Verif. Reliab. 22(2): 121-143 (2012)

Xuelin Zhang, Tian Zhang, Xuandong Li: Query by Drawing Examples of UML Model. APSEC Workshops 2012: 154-157

Xi Liu, Jianwen Su, Xuandong Li: Proactive Enforcement of Data Consistency by Business Processes. APSEC 2012: 701-704

Yang Yang, Lei Bu, Xuandong Li: Forward and backward: Bounded model checking of linear hybrid automata from two directions. FMCAD 2012: 204-208

Lei Bu, Dingbao Xie, Xin Chen, Linzhang Wang, Xuandong Li: Demo Abstract: BACHOL - Modeling and Verification of Cyber-Physical Systems Online. ICCPS 2012: 222

Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li: Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS 2012: 237

Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li: Time-leverage point detection for time sensitive software maintenance. ICSM 2012: 567-570

Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li: Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE 2012: 369-374

Wenxu Ding, Xin Chen, Peng Jiang, Nan Ye, Lei Bu, Xuandong Li: Path-oriented Test Data Generation Driven by Component Linear Fitting Functions. SERE (Companion) 2012: 37-38

Nan Ye, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, Xuandong Li: Regression Test Cases Generation Based on Automatic Model Revision. TASE 2012: 127-134

Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao: UML interaction model-driven runtime verification of Java programs. IET Software 5(2): 142-156 (2011)

Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao, Xuandong Li: Toward online hybrid systems model checking of cyber-physical systems' time-bounded short-run behavior. SIGBED Review 8(2): 7-10 (2011)

Lei Bu, Xuandong Li: Path-oriented bounded reachability analysis of composed linear hybrid systems. STTT 13(4): 307-317 (2011)

Lei Bu, Yang Yang, Xuandong Li: IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata. Haifa Verification Conference 2011: 35-49

Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li: Run-time systems failure prediction via proactive monitoring. ASE 2011: 484-487

Xin Chen, Nan Ye, Peng Jiang, Lei Bu, Xuandong Li: Feedback-Directed Test Case Generation Based on UML Activity Diagrams. SSIRI (Companion) 2011: 9-10

Huajie Chen, Tian Zhang, Lei Bu, Xuandong Li: An Instrumentation Tool for Program Dynamic Analysis in Java. SSIRI (Companion) 2011: 60-67

Nan Ye, Xin Chen, Peng Jiang, Wenxu Ding, Xuandong Li: Automatic Regression Test Selection Based on Activity Diagrams. SSIRI (Companion) 2011: 166-171

Lei Bu, Xin Chen, Linzhang Wang, Xuandong Li: Online Verification of Control Parameter Calculations in Communication Based Train Control System. CoRR abs/1101.4271 (2011)

Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li: State Based Robustness Testing for Components. Electr. Notes Theor. Comput. Sci. 260: 173-188 (2010)

Zhi Jin, Xuandong Li: Preface. Int. J. Software and Informatics 4(3): 347-349 (2010)

Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz: Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010)

Lei Bu, You Li, Linzhang Wang, Xin Chen, Xuandong Li: BACH 2 : Bounded reachability checker for compositional linear hybrid systems. DATE 2010: 1512-1517

Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover, Stefano Tonetta: Model Checking of Hybrid Systems Using Shallow Synchronization. FMOODS/FORTE 2010: 155-169

Lu Yang, Liqian Yu, Jianwen Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li: McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. ICECCS 2010: 255-256

Qian Li, Jianhua Zhao, Xuandong Li: Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. ISoLA (1) 2010: 564-578

Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su: Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. ISSTA 2010: 131-142

You Li, Lu Yang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li: Extending Ada to support multi-core based monitoring and fault tolerance. SIGAda 2010: 53-62

Lei Bu, Jianhua Zhao, Xuandong Li: Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming. VMCAI 2010: 78-94

Jianhua Zhao, Xuandong Li: Scope Logic with Local Reasoning and Pre/Post-State Properties. CoRR abs/1012.2553 (2010)

Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li: UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52(5): 545-556 (2009)

Minxue Pan, Lei Bu, Xuandong Li: TASS: Timing Analyzer of Scenario-Based Specifications. CAV 2009: 689-695

Lu Yang, Zhanqi Cui, Xuandong Li: A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. HPCC 2009: 630-635

Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao, Xuandong Li: Design pattern directed clustering for understanding open source code. ICPC 2009: 295-296

Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu: Modeling and integrating aspects with UML activity diagrams. SAC 2009: 430-437

Jianhua Zhao, Xuandong Li: Scope Logic: Extending Hoare Logic for Pointer Program Verification. CoRR abs/0912.4184 (2009)

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)

Lei Bu, You Li, Linzhang Wang, Xuandong Li: BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. FMCAD 2008: 1-4

Bin Lei, Linzhang Wang, Xuandong Li: UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency. ICST 2008: 200-209

Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276

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

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)

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)

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

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)

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)

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

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

Jun Hu, Xuandong Li, Guoliang Zheng, Chenghua Wang: Modelling and Analysis of Power Consumption for Component-Based Embedded Software. EUC Workshops 2006: 795-804

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

Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-Based Component Behavior Derivation. ICFEM 2006: 206-225

Mingsong Chen, Xiaokang Qiu, Xuandong Li: Automatic Test Case Generation for UML Activity Diagrams. AST 2006: 2-8

Yan Zhang, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng: Scenario-based Component Behavior Filtration. SET 2006: 25-36

Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng: Improve Model Checking Efficiency Using Specific Knowledge about the System. ISoLA 2006: 392-396

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)

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

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

Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng: Compatibility Between Shared Variable Valuations in Timed Automaton Network Model-Checking. IPDPS 2005

Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312

Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li, Guoliang Zheng: Duration-constrained regular expressions. Formal Asp. Comput. 16(2): 155-163 (2004)

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

Xuandong Li, Jianhua Zhao, Gong Jiayu, Shi Yaoxin, Guoliang Zheng: Verifying Compositional Designs for Scenario-Based Timing Specifications. ISORC 2004: 253-256

Jianhua Zhao, Xuandong Li, Tao Zheng, Guoliang Zheng: Removing Irrelevant Atomic Formulas for Checking Timed Automata Efficiently. FORMATS 2003: 34-45

Xuandong Li, Wenkai Tan, Guoliang Zheng: Checking MSC Specifications for Timing Inconsistency. J. Comput. Sci. Technol. 17(1): 47-55 (2002)

Xuandong Li, Jianhua Zhao, Yu Pei, 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)

Jianhua Zhao, He Xu, Xuandong Li, Tao Zheng, Guoliang Zheng: Partial Order Path Technique for Checking Parallel Timed Automata. FTRTFT 2002: 417-432

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)

Xuandong Li: Verifying Time Petri Nets by Linear Programming. J. Comput. Sci. Technol. 16(1): 39-46 (2001)

Mauno Rönkkö, Xuandong Li: Linear Hybrid Action Systems. Nord. J. Comput. 8(1): 159- (2001)

Xuandong Li, Yu Pei, Jianhua Zhao, Yong Li, Tao Zheng, Guoliang Zheng: Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. CHARME 2001: 465-480

Xuandong Li, Cui Meng, Yu Pei, Jianhua Zhao, Guoliang Zheng: Timing Analysis of UML Activity Diagrams. UML 2001: 62-75

Xuandong Li, Johan Lilius: Checking compositions of UML sequence diagrams for timing inconsistency. APSEC 2000: 154-161

Xuandong Li, Johan Lilius: Timing Analysis of UML Sequence Diagrams. UML 1999: 661-674

Xuandong Li, Tao Zheng, Jianmin Hou, Jianhua Zhao, Guoliang Zheng: Hybrid Regular Expressions. HSCC 1998: 384-399

Jianmin Hou, Xuandong Li, Xiaocong Fan, Guoliang Zheng: A Message-based Real-Time Model by Object-Oriented Technique. Operating Systems Review 31(3): 45-51 (1997)

Xuandong Li, Dang Van Hung, Tao Zheng: Checking Hybrid Automata for Linear Duration Invariants. ASIAN 1997: 166-180

Xuandong Li, Guoliang Zheng: Enhancing Reusability and Maintainability in NDOOM. OOIS 1997: 236-246

Xuandong Li, Guoliang Zheng: A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. APSEC 1996: 93-

Xuandong Li, Dang Van Hung: Checking Linear Duration Invariants by Linear Programming. ASIAN 1996: 321-332