Jinghui Lv, Yude Bai, Zhenchang Xing, Xiaohong Li and Weimin Ge
1. A Character-Level Convolutional Neural Network for Predicting Exploitability of Vulnerability
Xi Wang, Ridha Khedri and Weikai Miao
2. A Formal Engineering Approach to Product Family Modeling
Qunhao Sha, Qizhe Yang and Guoqiang Li
3. A Parallel Implementation Of Liveness On Knowledge Graphs Under Label Constraints
Ningning Chen, Huibiao Zhu and Huixing Fang
4. A Proof System for HRML with Extended Hoare Logic
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang and Shengchao Qin
5. A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models
Wei Chen
6.A wp Characterization of Jump Statements
Liqian Chen, Banghu Yin, Dengping Wei and Ji Wang
7. An Abstract Domain to Infer Linear Absolute Value Equalities
Wei Chen
8. Behind Clint and Hoare's goto Proof Rule
Qianqian Zhang, Yao Zhang, Xiaohong Li and Bin Wu
9. Discovering Properties about Arrays via Path Dependence Analysis
Sanjana Singh, Divyanjali Sharma and Subodh Sharma
10. Dynamic Verification of C/C++11 Concurrency over Multi Copy Atomics
Jiajia Yang, Xiaohong Chen and Ling Yin
11. Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach
Hongjian Jiang, Yongjian Li, Sijun Tan and Yongxin Zhao
12. Encoding Induction Proof into Dafny
Lei Liang and Si Liu
13. Exploring Design Alternatives for Replicated RAMP Transactions Using Maude
Uli Fahrenberg and Axel Legay
14. Featured Games
Jiaqi Yin, Huibiao Zhu, Yuan Fei and Qiwen Xu
15. Formal Modelling and Verification of the RTPS Behavior Module
Hanyue Zheng, Jincao Feng, Weikai Miao and Geguang Pu
16. Generating Test Cases from Requirements: A Case Study in Railway Control System Domain
Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li and Lintan Sun
17. Inferring Loop Invariants for Multi-Path Loops
Manisha Jain, Leandro Gomes, Alexandre Madeira and Luís Soares Barbosa
18. On a specification theory for fuzzy modal logic
Qianzhu Zhao, Jing Liu and Xiang Chen
19. Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems
Leifeng He and Guanjun Liu
20. Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order
Shiling Feng, Xiaohong Chen, Qin Li and Yongxin Zhao
21. RE2B: enhancing correctness of both requirements and design models by integrating EBRE and Event-B
Chenyang Zhu, Michael Butler, Corina Cirstea and Thai Son Hoang
22. Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions
Wenhui Zhang, Xue-Yang Zhu and Yulong Bao
23. VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques
Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho and Menghan Zhang
24. Verification of RoboSim Models Using UPPAAL