Xi Liu, Shaofa Yang, J.W.Sanders. Compensation by Design.
In Formal Aspects of Computing, March 2013 1-54.,
download
Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li. WS-PSC Monitor: A tool chain for monitoring BPEL-based web service composition with scenario-based specifications.
In IET Softw., 2013, Vol. 7, Iss. 4, pp. 222–248,
download
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li. Verifying Aspect-Oriented Models Against Crosscutting Properties.
In International Journal of Software Engineering and Knowledge Engineering, Volume 23, Issue 05, June 2013 , 655-676.,
download
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin, Xin Chen. Loop invariant synthesis in a combined abstract domain.
In Journal of Symbolic Computation,
download
Xiaoxiao Ma, Bo Yan, Guanling Chen, Chunhui Zhang, Ke Huang, Jill Drury, Linzhang Wang. Design and Implementation of a Toolkit for Usability Testing of Mobile Apps.
In MONET,
Mobile Networks and Applications download
Fenglin Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li. Modeling and Evaluation of Wireless Sensor Network Protocols by Stochastic Timed Automata.
In ENTCS,
Electronic Notes in Theoretical Computer Science Volume 296, 16 August 2013, Pages 261–277 download
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Yi Wang, Zili Shao. Optimizing Translation Information Management in NAND Flash Memory Storage Systems.
In Proceedings of the 18th Asia and South Pacific Design Automation Conference (ASP-DAC2013), Japan,
IEEE Computer Society Press, 2013, pp.326-331 download
Mengchen Li, Yuanjun Chen, Linzhang Wang and Guoqing Xu. Dynamically Validating Static Memory Leak Warnings.
In Proceedings of International Conference on Software Testing and Analysis (ISSTA 2013), Switzerland, ACM Press, 2013,
download
You Li, Zhendong Su, Linzhang Wang, Xuandong Li. Steering Symbolic Execution to Less Traveled Paths.
In Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications (pp. 19-32). ACM.,
download
Jianhua Zhao, Xuandong Li. Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures.
In Theoretical Aspects of Computing–ICTAC 2013 (pp. 409-426). Springer Berlin Heidelberg.,
download
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, Rong Zheng and Neeraj Suri. Guaranteeing Proper-Temporal-Embedding Safety Rules in Wireless CPS.
In Dependable Systems and Networks (DSN), 2013 43rd Annual IEEE/IFIP International Conference on (pp. 1-12). IEEE.,
download
