Bu Lei and Li Xuandong. Path-Oriented Bounded Reachability Analysis of Composed Linear Hybrid Systems.
In International Journal on Software Tools for Technology Transfer,
Volume 13, Number 4, pp.307-317, Springer. download
Li Xuandong, Qiu Xiaokang, Wang Linzhang, Chen Xin, Zhou Zhou, Yu Liqian, and Zhao Jianhua. UML Interaction Model Driven Runtime Verification of Java Programs.
In IET Software,
Volume 5, Issue 2, Institution of Engineering and Technology, 2011, pp.142-156. download
Lei Bu, Qixin Wang, Xin Chen, Linzhang Wang, Tian Zhang, Jianhua Zhao and Xuandong Li. Toward Online Hybrid Systems Model Checking of Cyber-Physical Systems Time-Bounded Short-Run Behavior.
In ACM/IEEE International Conference on Cyber-Physical Systems 2011 ,
ACM SIGBED Review, Volume 8, Number 2 download
Chinese Journal
卜磊,李游,王林章,李宣东. BACH:线性混成自动机系统有界可达性验证工具.
In 《软件学报》,
Vol.22,No.5,2011,pp.640-658。 download
崔展齐,王林章,刘慧根,李宣东. 面向方面的计算误差处理技术:实例研究和评估.
In 《软件学报》,
Vol.22,No.11,2011,pp.2639-2651。 download
柳溪,杨璐,潘敏学,王林章. 场景驱动的服务行为调控.
In 《软件学报》,
Vol.22,No.6,2011,pp.1185-1198。 download
李倩,汤恩义,戴雪峰,王林章,赵建华. Java指针指向分析优化.
In 《软件学报》,
Vol.22,No.6,2011,pp.1140-1154。 download
崔展齐,王林章,李宣东. 一种目标制导的混合执行测试方法.
In 《计算机学报》,
vol34, no.6 p953-964, 2011。 download
International Conference & Workshop
Xin Chen, Nan Ye, Peng Jiang, Lei Bu, and Xuandong Li. Feedback-directed test case generation based on UML activity diagrams.
In Proceedings of 5th International Conference on Secure Software Integration & Reliability Improvement Companion (SSIRI-C 2011),
Jeju Island, IEEE Computer Society Press. download
Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li. Run-time Systems Failure Prediction via Proactive Monitoring.
In Automated Software Engineering 2011 ,
Page(s): 484 - 487 download
Lei Bu, Yang Yang, Xuandong Li. IIS-Guided DFS for Efficient Bounded Reachability Analysis of Linear Hybrid Automata.
In Proceedings of Haifa Verification Conference (HVC 2011),
Israel, Lecture Notes in Computer Science 7261, Springer, 2012, pp.35-49
download
Xi Liu,
JianwenSu,
Jian Yang. Preservation of Integrity Constraints by Workflow.
In OnTheMove Federated Conferences & Workshops 2011,
Lecture Notes in Computer Science 7044,
Springer, 2011,
pp. 64–81. download
Tao Li, Qixin Wang, Feng Tan, Lei Bu, Jian-nong Cao, Xue Liu, Yufei Wang and Rong Zheng. From Offline Long-Run to Online Short-Run: Exploring A New Approach of Hybrid Systems Model Checking for MDPnP.
In Proceedings of 3rd Joint Workshop On High Confidence Medical Devices, Software, and Systems(HCMDSS/MDPnP11),
Chicago, IL, U.S.A. download