Tao Li, Feng Tan, Qixin Wang, Lei Bu, Jian-nong Cao, Xue Liu. From Offline towards Real-Time: A Hybrid Systems Model Checking and CPS Co-Design Approach for Medical Device Plug-and-Play Collaborations.
In IEEE Transactions on Parallel and Distributed Systems Volume:25 Issue:3 ,
download
Xie Dingbao, Bu Lei, Zhao Jianhua, Li Xuandong. SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata.
In Formal Methods in System Design, 45(1): 42-62, 2014.,
download
Qi Zhang, Xuandong Li, Linzhang Wang, Tian Zhang, Zili Shao. Data-assemblage: a translation-page-aware data block allocation strategy for flash-based solid state drives.
In Design Automation for Embedded Systems,
download
Feng Tan, Yufei Wang, Qixin Wang, Lei Bu, and Neeraj Suri. A Lease based Hybrid Design Pattern for Proper-Temporal-Embedding of Wireless CPS Interlocking.
In IEEE Transactions on Parallel and Distributed Systems,
download
Zhou Xiaoli, Linzhang Wang, Li Xuandong, Zhao Jianhua. An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability.
In Software Engineering and Knowledge Engineering 2014,
Xie Dingbao, Bu Lei, Li Xuandong. Deriving Unbounded Proof of Linear Hybrid Automata From Bounded Verification .
In Proceedings of Real-Time Systems Symposium, 2014,
download
Li Yongchao Li You Wang Linzhang Chen Guanling. Automatic XACML requests generation for testing access control policies.
In International Conference on Software Engineering and Knowledge Engineering ,
download