7:50-8:15: Registration
8:15-8:30: Opening co-located with FMAC 2016
8:30-9:30: Invited Talk
9:30-10:00: Coffee Break
Special session(10:00-12:00, 25+5min per talk, Chair Lijun Zhang)
- Yuting Chen, Ting Su, Chengnian Sun, Zhendong Su, Jianjun Zhao,
Coverage-Directed Differential Testing of JVM Implementations
- Fengwei Xu, Ming Fu, Xinyu Feng, Xiaoran Zhang, Hui Zhang and Zhaohui Li,
A Practical Verification Framework for Preemptive OS Kernels
- Yu-Fang Chen, Ondrej Lengal, Lei Song, Tony Tan and Zhilin Wu,
The Commutativity Problem of the MapReduce Framework: A Transducer-based Approach
- Andrea Turrini,
A Simple Algorithm for Solving Qualitative Probabilistic Parity Games
System Analysis and Runtime Verification (13:00-15:30, 20+2min per talk, Chair Zhilin Wu)
- Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi and Zhibin Yang,
Parametric Runtime Verification of C Programs
- Xueguang Wu and Liqian Chen,
Numerical Static Analysis of Embedded Software with Interrupts
- Xin Li, Yongjuan Liang, Hong Qian, Yiqi Hu, Lei Bu, Yang Yu, Xin Chen and Xuandong Li,
Symbolic Execution of Complex Program Driven by Machine Learning Based Constraint Solving
- Fan Ming and Ting Liu,
Android Malware Detection and Family Identification through Frequent Subgraph
- Yingxia Wei, Rui Wang and Yu Jiang,
From Off-line Towards Real-time : A Runtime Verification Approach for Robot Systems
- Yueling Zhang, Min Zhang, Geguang Pu, Fu Song and Jianwen Li,
Towards Backbone Computing: A Greedy-Whitening Based Approach
- Andrzej Mizera, Jun Pang and Qixia Yuan,
Fast Simulation of Probabilistic Boolean Networks
Model Checking and Theorem Proving (16:00-18:30, 20+2min per talk, Chair Fei He)
- Bingqing Xu and Qin Li,
A Spatial Logic for Modeling and Verification of Collision-free Control of Vehicles
- Chunmiao Li and Xiaojuan Cai,
Hardness Results for Coverability Problem of Well-Structured Pushdown Systems
- Yuwei Wang and Guoqiang Li,
On Termination and Boundedness of Nested Updatable Timed Automata
- Xiuting Tao, Chihao Zhang and Guoqiang Li,
The Complexity of a Modifiable Model Checking of Linear Temporal Logic
- Xiyue Zhang, Weijiang Hong, Yi Li and Meng Sun,
Reasoning about Connectors in Coq
- Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang and Naijun Zhan,
Approximate Bisimulation and Discretization of Hybrid CSP