Tian Zhang, Frederic Jouault, Jean Bezivin, Xuandong Li. An MDE Based Method for Bridging Different Design Notations.
In Innovations in Systems and Software Engineering,
Vol.4, No.3, Springer, 2008, pp.203-213. download
Chinese Journal
陈鑫. 一种基于构件演算的主动构件精化方法.
In 《软件学报》,
Vol.19，No.5，2008，pp.1134-1148。 download
张天，张岩，于笑丰，王林章，李宣东. 基于MDA的设计模式建模与转换.
In 《软件学报》,
Vol.19，No.9，2008，pp.2203-2217。 download
陈鑫,李宣东. 一个基于设计演算的形式化用例分析建模框架.
In 软件学报,
Journal of Software, Vol.19, No.10, October 2008, pp.2539−2549 DOI: 10.3724/SP.J.1001.2008.02539 download
International Conference & Workshop
Jianhua Zhao, Linzhang Wang, Xuandong Li. A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking.
In Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2008),
Communications in Computer and Information Science 17, Springer 2008, ISBN 978-3-540-88478-1, pp.262-276. download
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. download
Lei Bin, Wang Linzhang, Li Xuandong. UML Activity Diagram based Testing of Java Concurrent Programs for Data Race and Inconsistency.
In Proceedings of IEEE International Conference on Software Testing Verification and Validation (ICST2008),
Norway, IEEE Computer Society Press, 2008, pp.200-209. download
Bu Lei, Li You, Wang Linzhang, Li Xuandong. BACH: Bounded Reachability Checker for Linear Hybrid Automata.
In Proceedings of the 8th International Conference on Formal Methods in Computer Aided Design (FMCAD2008),
USA, IEEE Computer Society Press, 2008, pp.65-68. download
Zhou zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao. Jasmine: A Tool for Model Driven Runtime Verification with UML Behavioral Models.
In Proceedings of 11th International Symposium of High Assurance System Engineering (HASE08),
IEEE Computer Society Press, 2008, pp.487-490. download
Tian Zhang, Fre ́de ́ric Jouault, Jean Be ́zivin, Jianhua Zhao. A MDE Based Approach for Bridging Formal Models.
In 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering,
DOI 10.1109/TASE.2008.21 p113-116 download
YU Xiaofeng, Teodor Sommestad, Casey Fung and Patrick C. K. Hung. Emergency Response Framework for Aviation XML Services on MANET.
In IEEE International Conference on Web Services 2008,
Page(s): 304 - 311 download
Xin Chen, Nan Ye, and Wenxu Ding. A Formal Approach to Analyzing Interference Problems in Aspect-Oriented Designs.
In International Symposium on Unifying Theories of Programming,
UTP, 2008, pp. 157-171 download
Yang Lu, Tang Jianwen, Zhao Jianhua, Li Xuandong. 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. download
Bin Lei,
Zhiming Liu,
Charles Morisset,
Xuandong Li. State Based Robustness Testing for Components.
In International Workshop on Formal Aspects of Component Software 2008,
Electronic Notes in Theoretical Computer Science 260 (2010) 173–188 download
