Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2016] [2015] [2014] [2013] [2012]
Selected Publications
    International Journal
  • 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
  • Chinese Journal
  • 卜磊,解定宝。混成系统形式化验证。 软件学报, 2014,25(2):219-233download
  • 张琦,王林章,张天,邵子立。一种优化的闪存地址映射方法。 软件学报, 2014,25(2):314-325download
  • 王林章,何剑涛,韩志雄,卜磊,赵建华,李宣东。设计模式指导的软件分簇方法。 中国科学:信息科学 , 2014, 44(1): 37-53download
  • 张鹏程,李宣东,李雯睿。基于博弈论的开放环境下场景规约监控语义。 《中国科学》(信息科学), download
  • 汤恩义,苏振东,李宣东。程序数值误差的扰动检测与优化。 《中国科学》(信息科学), download
  • 周筱羽,赵建华。中断驱动系统模型检验技术。 软件学报, download
  • International Conference & Workshop
  • 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