1. Niu Jun and Wang Wei. Model Checking Interactive Markov Chains against Action-based Regular Specifications

2. Xin Li. Reachability Analysis of Conditional Pushdown Systems with Patterns

3. Yanhuan Fan, Yongming Li and Haiyu Pan. Constraint Reachability Objective in Lattice-valued Game Graph

4. Shuxian Zhang, Yongwang Zhao, Yan Teng and Feng Zhang. Model-driven Development and Formal Analysis of A GNC Telemetry System

5. Cao Yan, Huang Zhiqiu, Yu Yaoshen and Xia Yao. Specification and Verification of a Formal Adaptive Role-based Access Control Model for Cyber-Physical Systems

6. Xinghua Yao, Hengyang Wu and Yixiang Chen. PADS中迹的刻画以及基于迹等价的调度分析

7. 喻垚慎, 黄志球, 沈国华 王飞. 基于抽象解释的嵌入式软件模块化Cache行为分析框架

8. Cai Xiaowei and Zhang Min. 自治移动机器人永恒探索算法的符号化模型检测方法

9. 胡潇洒, 张越龄, 李建文, 蒲戈光 张敏. 基于不可满足原因的最小纠正集求解

1. Huaiying Sun, Hunqun Yu and Guisheng Fan. Modeling and analyzing the time minimized task scheduling in SDN-enabled Hadoop

2. Jincao Feng, Jiayi Shen, Yang Liu, Yihao Huang, Xiaoxuan Chen, Weikai Miao and Geguang Pu. A Formal Engineering Method for the Requirements Modeling of Railway Embedded Control Software

3. 陈颖, 刘冬梅, 朱鸿, 兰斌, 何娟娟. 服务组合的代数规约

4. 赵玉强 刘靖. 基于CPN模型的REST服务架构标准特征验证方法研究