Lei Bu, Wen Xiong, Chieh-Jan Mike Liang, Shi Han, Dongmei Zhang, Shan Lin, Xuandong Li. Systematically Ensuring The Confidence of Real Time Home Automation IoT Systems. In ACM Transactions on Cyber-Physical Systems, Vol.2, No.3, ACM Press, 2018.
Dingbao Xie, Wen Xiong, Lei Bu, Xuandong Li. Deriving Unbounded Reachability Proof of Linear Hybrid Automata during Bounded Checking Procedure. In IEEE Transactions on Computers, Vol.66, No.3, IEEE Computer Society Press, 2017.
Dingbao Xie, Lei Bu, Xuandong Li. SAT-LP-IIS Joint-Directed Path-Oriented Bounded Reachability Analysis of Linear Hybrid Automata. In Formal Methods in System Design, Vol.45, No.1, Springer, 2014, pp.42-62.
Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao. Timing Analysis of Scenario-Based Specifications using Linear Programming. In Software Testing, Verification and Reliability, Vol.22, No.2, Wiley InterScience, 2012, pp.121-143.
Li Xuandong, Qiu Xiaokang, Wang Linzhang, Chen Xin, Zhou Zhou, Yu Liqian, Zhao Jianhua. UML Interaction Model Driven Runtime Verification of Java Programs. In IET Software, Volume 5, Issue 2, Institution of Engineering and Technology, 2011, pp.142-156.
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao and Xuandong Li. Toward Online Hybrid Systems Model Checking of Cyber-Physical Systems' Time-Bounded Short-Run Behavior. In Proceedings of ACM/IEEE Second International Conference on Cyber-Physical Systems (ICCPS2011), Work-in-Progress Session. In ACM SIGBED Review, Vol.8, No.2, 2011.
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li. UML Activity Diagram-Based Automatic Test Case Generation for Java Programs. In The Computer Journal, Vol.52, No.5, Oxford Press, 2009, pp.545-556.
Pan Minxue, Bu Lei, Li Xuandong. TASS: Timing Analyzer of Scenario-Based Specifications. In Proceedings of the 21th International Conference on Computer Aided Verification (CAV2009), France, Lecture Notes in Computer Science 5643, Springer, 2009, pp.689-695.
Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Jun Hu, Jianhua Zhao, Xuandong Li. A Model Driven Development Framework for Enterprise Web Services. In Information Systems Frontiers, Vol.9, No.4, Springer, 2007, pp.391-409.
Li Xuandong, Bu Lei, Hu Jun, Zhao Jianhua, Zheng Tao, Zheng Guoliang. Scenario-Based Timing Consistency Checking for Time Petri Nets. In Proceedings of the 26th International Conference on Formal Methods for Networked and Distributed Systems (FORTE2006), France, 2006, Lecture Notes in Computer Science 4229, Springer, pp.389-404.
Xuandong Li, Sumit Kumar Jha, Lei Bu. Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. In Proceedings of the Fourth International Workshop on Bounded Model Checking (BMC06), USA, 2006, Electronic Notes in Theoretical Computer Science, Volume 174, Issue 3, Elsevier Science, 2007, pp.57-70.
Li Xuandong, Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua, Zheng Guoliang. Runtime Verification of Java Programs for Scenario-Based Specifications. In Proceedings of the 11th International Conference on Reliable Software Technologies (Ada-Europe2006), Portugal, 2006, Lecture Notes in Computer Science 4006, Springer, pp.94-106.
Li Xuandong, Hu Jun, Bu Lei, Zhao Jianhua, Zheng Guoliang. Consistency Checking of Concurrent Models for Scenario-Based Specifications. In Proceedings of the 12th International SDL Forum (SDL2005), Norway, 2005, Lecture Notes in Computer Science 3530, Springer, pp.298-312.
Li Xuandong, Zhao Jianhua, Zheng Tao, Li Yong, and Zheng Guoliang. Duration-Constrained Regular Expressions. In Formal Aspects of Computing, Vol.16, No.2, Springer, 2004, pp.155-163.
Li Xuandong, Zhao Jianhua, Pei Yu, Li Yong, Zheng Tao, and Zheng Guoliang. Positive Loop-Closed Automata: A Decidable Class of Hybrid Systems. In Journal of Logic and Algebraic Programming, Vol.52-53(C), Elsevier Science, 2002, pp.79-108.
Li Xuandong, Tan Wenkai, and Zheng Guoliang. Checking MSC Specifications for Timing Inconsistency. In Journal of Computer Science and Technology, Vol.17, No.1, Springer, 2002, pp.47-55.
Xuandong Li and Johan Lilius. Efficient Verification of a Class of Time Petri Nets Using Linear Programming. In Information Processing Letters, Vol.77/5-6, Elsevier Science, 2001, pp.219-224.
Li Xuandong, Cui Meng, Pei Yu, Zhao Jianhua, Zheng Guoliang. Timing Analysis of UML Activity Diagrams. In Martin Gogolla, Cris Kobryn (Eds.), UML'20001 - The Unified Modeling Language, Lecture Notes in Computer Science 2185, Springer, 2001, pp.62-75.
Li Xuandong, Pei Yu, Zhao Jianhua, Li Yong, Zheng Tao, Zheng Guoliang. Efficient Verification of a Class of Linear Hybrid Automata Using Linear Programming. In Tiziana Margaria, Tom Melham (Eds.), Correct Hardware Design and Verification Methods, Lecture Notes in Computer Science 2144, Springer, 2001, pp.465-479.
Mauno Ronkko and Xuandong Li. Linear Hybrid Action Systems. In Nordic Journal of Computing, 8(1):159-177, 2001.
Xuandong Li and Johan Lilius.
Timing Analysis of UML Sequence Diagrams. In Pobert France, Bernhard Rumpe (Eds.),
UML'99 - The Unified Modeling Language, Lecture Notes in Computer Science 1723, Springer, 1999, pp.661-674.
Li Xuandong, Zheng Tao, Hou Jianmin, Zhao Jianhua, and Zheng Guoliang.
Hybrid Regular Expressions. In Thomas A. Henzinger and Shankar Sastry
(Eds.),
Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 1386, Springer, 1998, pp.384-399.
Li Xuandong, Dang Van Hung, and Zheng Tao.
Checking Hybrid Automata for
Linear Duration Invariants. In R.K. Shyamasunder, K. Ueda (Eds.),
Advance in Computing Science, Lecture Notes in Computer Science 1345,
Springer, 1997, pp.166-180.
Li Xuandong and Zheng Guoliang.
Enhancing Reusability and maintainability in NDOOM. In
Proceedings of the 4th International Conference on Object-Oriented Information Systems (OOIS'97), Australia, November 1997, Springer, pp.236-246.
Li Xuandong and Dang Van Hung.
Checking Linear Duration Invariants by
Linear Programming. In Joxan Jaffar and Roland H.C. Yap (Eds.),
Concurrency and Parallelism, Programming, Network, and Security, Lecture Notes in Computer Science 1179, Springer, 1996, pp.321-332.
Li Xuandong and Zheng Guoliang.
Objectpattern: A New Encapsulation
Mechanism Enhancing Reusability and Maintainability in Object-Oriented
Languages. In
Proceedings of the twentieth International Conference on
Technology of Object-Oriented Languages and Systems (TOOLS USA'96), Prentice Hall, 1996.