---------------- FULL PAPERS (21) ---------------- 58 Xiaoyi Zhang, Paolo Arcaini and Fuyuki Ishikawa. Assessing the Relation Between Hazards and Variability in Automotive Systems 24 Tayssir Touili and Xin Ye. LTL Model Checking of Self Modifying Code 95 Xi Gong, Zhenchang Xing, Xiaohong Li, Zhiyong Feng and Zhuobing Han. Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning 20 Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu and Shang-Wei Lin. MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform 37 Ke Jiang, David Sanan, Yongwang Zhao, Shuanglong Kan and Yang Liu. A Formally Verified Buddy Memory Allocation Model 38 Jun Gao, Li Li, Tegawendé F. Bissyandé and Jacques Klein. On the Evolution of Mobile App Complexity 43 Xue-Yang Zhu. Efficient Retiming of Unfolded Synchronous Dataflow Graphs 56 Hai Nam Tran, Alexandre Honorat, Thierry Gautier, Loïc Besnard and Jean-Pierre Talpin. Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-bank Memory 29 MichaÅ‚ Knapik, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk. Squeezing State Spaces of (Attack-Defence) Trees 60 Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi and Yulei Sui. Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding 67 Maria Spichkova. Industry-Oriented Project-based Learning of Software Engineering 22 Kaixin Huang, Yan Yan and Linpeng Huang. EFLightPM: An Efficient and Lightweight Persistent Memory System 36 Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun and Yingquan Zhao. Adaptive Randomized Scheduling for Concurrency Bug Detection 50 Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You and Qimin Hu. Apla Generic Constraint Matching Detection and Verification 90 Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun and Xiaofei Xie. Safe Inputs Approximation for Black-Box Systems 40 Ciprian Paduraru and Miruna Paduraru. Automatic difficulty management and testing in games using a framework based on behavior trees and genetic algorithms 74 Mohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine and Salah Sadou. Recovering Software Architecture Product Lines 81 Étienne André, Didier Lime and Mathias Ramparison. On the Expressive Power of Invariants in Parametric Timed Automata 93 Michael Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer and Peter Tummeltshammer. Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3 14 Ran Chen and Wenhui Zhang. Checking Multi-Agent Systems against Temporal-Epistemic Specifications 65 Li Huang, Tian Liang and Eun-Young Kang. Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems ---------------- SHORT PAPERS (6) ---------------- 47 Sung-Shik Jongmans. Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs 12 Paulius Stankaitis, Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Alexei Iliasov and Alexander Romanovsky. Modelling Hybrid Train Speed Controller using Proof and Refinement 39 Christopher Curry, Quang Loc Le and Shengchao Qin. Bi-Abductive Inference for Shape and Ordering Properties 55 Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix and Mamoun Filali-Amine. A Formal Methods Approach to Security Requirements Specification and Verification 83 Amina Bourouis, Kais Klai and Nejib Ben Hadj-Alouane. Measuring Opacity for Non-Probabilistic DES: a SOG-based Approach 96 Faheem Ullah and Muhammad Ali Babar. QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics