Zhang Yan, Hu Jun, Yu Xiaofeng, Zhang Tian, Li Xuandong, Zheng Guoliang. Deriving Available Behavior All Out from Incompatible Component Compositions.
In Proceedings of International Workshop on Formal Aspects of Component Software (FACS2005),
Electronic Notes in Theoretical Computer Science, Vol.160, Elsevier Science, 2006, pp.349-361. download
Zhao Jianhua, Li Xuandong, Zheng Tao, Zheng Guoliang. Remove Irrelevant Atomic Formulas for Timed Automaton Model Checking.
In Journal of Computer Science and Technology,
Vol.21, No.1, Springer, 2006, pp.41-51. download
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, pp.57-70. download
Zhang Yan, Yu Xiaofeng, Zhang Tian, Li Xuandong, Zheng Guoliang. Scenario-based Component Behavior Filtration.
In Proceedings of IFIP Working Conference on Software Engineering Techniques (SET2006),
Poland, 2006, Springer, pp.25-36. download
Chinese Journal
袁洁松，王林章，李宣东，郑国梁. UMLTGF：一个基于灰盒方法从UML活动图生成测试用例的工具.
In 《计算机研究与发展》,
43（1）：46-53，2006。 download
胡军,于笑丰,张岩,李宣东,郑国梁. 基于场景构件式实时软件设计的一致性检验.
In 软件学报,
Journal of Software, Vol.17, No.1, January 2006, pp.48−58 DOI: 10.1360/jos170048 download
胡军,于笑丰,张 岩, 王林章,李宣东, 郑国梁. 基于场景规约的构件式系统设计分析与验证.
In 计算机学报,
Chinese Journal of computers, vol29, no.4, Apr 2006, p513-525 download
International Conference & Workshop
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, Lecture Notes in Computer Science 4006, Springer, 2006, pp.94-106. download
Hu Jun, Li Xuandong, Zheng Guoliang. Modelling and Analysis of Power Consumption for Component-based Embedded Software.
In EUC WorkshopsProceedings,
Lecture Notes in Computer Science 4097, Springer, 2006, pp.795-804. download
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. download
Yu Xiaofeng, Hu Jun, Zhang Yan, Zhang Tian, Wang Linzhang, Zhao Jianhua, Li Xuandong. A Model Driven Development Framework for Enterprise Web Services.
In Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC2006),
IEEE Computer Society, 2006, pp.75-84. download
Zhao Jianhua, Lei Bin, Li Xuandong, Zheng Guoliang. Improve Model Checking Efficiency Using Specific Knowledge about the System.
In Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA2006),
IEEE Computer Society Press, 2006, pp.392-396. download
Yan Zhang, Jun Hu, Xiaofeng Yu, Tian Zhang, Xuandong Li, Guoliang Zheng. Scenario-based Component Behavior Derivation.
In Proceedings of the Eighth International Conference on Formal Engineering Methods (ICFEM2006),
Lecture Notes in Computer Science 4260, Springer,2006, pp.206-225. download
Chen Mingsong, Qiu Xiaokang, and Li Xuandong. Automatic Test Case Generation for UML Activity Diagrams.
In Proceedings of International Workshop on Automated Software Testing (AST06),
ACM Press, 2006, pp.2-8. download
