ACCEPTED PAPERS
Yangxi Zhou, Yan Zhu and Liangyu Chen. Software Defect-proneness Prediction Based on Package Cohesion and Coupling Metrics
Andrej Kiviriga, Kim G. Larsen and Ulrik Nyman. Randomized Refinement Checking of Timed I/O Automata
Bai Xue and Naijun Zhan. Probably Approximately Correct Interpolants Generation
Xie Li, Taolue Chen, Zhilin Wu and Mingji Xia. Computing Linear Arithmetic Representation for Reachability Relation of One-counter Automata
Weizhi Feng, Cheng-Chao Huang, Andrea Turrini and Yong Li. Modelling and Implementation of Unmanned Aircraft Collision Avoidance
Lieuwe Vinkhuijzen and Alfons Laarman. Symbolic Model Checking with Sentential Decision Diagrams
Qinxiang Cao and Zhongye Wang. Reentrancy? Yes. Reentrancy bug? No.
Wanwei Liu, Liangze Yin and Tun Li. Compiling FL^{res} on Finite Words
Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu and Jim Woodcock. Learning Safe Neural Network Controllers with Barrier Certificates (short paper)
Lorenzo Capra. Graph Transformation Systems: a Semantics Based on (Stochastic) Symmetric Nets
Hengbiao Yu, Zhenbang Chen, Chun Huang and Ji Wang. Symbolic Verification of MPI Programs with Non-deterministic Synchronizations