Selected Publications

• 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, Oxford Press, 2008.

• 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. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC2008), Brazil, ACM Press, 2008, pp.384-389.

• Lu Yang, Jianwen Tang, Jianhua Zhao, Xuandong Li. A Case Study for Monitoring-Oriented Programming in Multi-core Architecture. In Proceedings of International Workshop on Multicore Software Engineering (IWMSE2008), Germany, ACM Press, 2008, pp.47-52.

• 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 (AE2006), 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, Gong Jiayu, Shi Yaoxin, and Zheng Guoliang. Verifying Compositional Designs for Scenario-Based Timing Specifications. In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC2004), Vienna, Austria, IEEE Computer Society Press, 2004, pp.253-256

• 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.

• 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.

• 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.

• Mauno Ronkko and Xuandong Li. Linear Hybrid Action Systems. In Nordic Journal of Computing, 8(1):159-177, 2001.

• Li Xuandong. Verifying Time Petri Nets by Linear Programming. In Journal of Computer Science and Technology, Vol.16, No.1, Springer, 2001, pp.39-46.

• Xuandong Li and Johan Lilius. Checking Compositions of UML Sequence Diagrams for Timing Inconsistency. In Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC2000), IEEE Computer Society Press, 2000, pp.154-161.

• 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.

• Xuandong Li and Johan Lilius. Checking Time Petri Nets for Linear Duration Properties. In Proceedings of 8th International Workshop on Petri Nets and Performance Models (PNPM99), IEEE Computer Society Press, 1999. pp.218-226.

• 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. A Modified Inheritance Mechanism Enhancing Reusability and Maintainability in Object-Oriented Languages. In Proceedings of Asia-Pacific Software Engineering Conference (APSEC'96), IEEE Computer Society Press, 1996, pp.93-102.

• 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.