Zhao Jianhua, Li Xuandong, Zheng Guoliang. A quadratic-time DBM-based successor algorithm for checking timed automata.
In Information Processing Letters,
Vol.96/3, Elsevier Science, 2005, pp.101-105. download
Chinese Journal
王林章，李宣东，郑国梁. 一个基于UML协作图的集成测试用例生成方法.
In 《电子学报》,
Vol.32，No.8，2005，pp.1290-1296。 download
裴玉，徐启文，李宣东，郑国梁. QRDChecker：一个QRDC模型检验工具.
In 《软件学报》,
Vol.16，No.3，2005，pp.355-364。 download
裴玉,李宣东,郑国梁. LDPChecker——一个实时和混成系统模型检验工具.
In 计算机研究与发展,
Journal of Computer Research and Development, 42(1), p38-46, 2005 download
International Conference & Workshop
Jianhua Zhao, Xiuyi Zhou, Xuandong Li, Guoliang Zheng. Compatibility between shared variable valuations in timed automaton network model-checking.
In Proceedings of the Thirteenth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS2005),
IEEE Computer Society Press, 2005. download
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, Springer. download
Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Wang Linzhang, Li Xuandong, Zheng Guoliang. Scenario-Based Verification of Component-Based Embedded Software Designs.
In Proceedings of 34th International Conference on Parallel ProcessingWorkshops (ICPP 2005 Workshops),
Norway, 2005, IEEE Computer Society Press, pp.240-247. download
Hu Jun, Yu Xiaofeng, Zhang Yan, Zhang Tian, Li Xuandong, Zheng Guoliang. Checking Component-Based Embedded Software Designs for Scenario-Based Timing Specifications.
In Proceedings of IFIP International Conference on Embedded And Ubiquitous Computing (EUC2005),
Lecture Notes in Computer Science 3824, Springer, 2005, pp.395-404. download
