****************************** ICECCS 2019 Conference Program ****************************** ----------------- November 10th, 2019 ----------------- 08:30-17:30 Registration 09:00-11:00 Tutorial 1: Re-engineering Software Variability into Software Product Lines (Tewfik Ziadi) 11:00-11:30 Coffee break 11:30-12:30 Tutorial 2 (part 1): Microsoft Azure Cloud Services for Machine Learning-based Model Repair (Jing Sun) 12:30- 14:00 Lunch break 14:00-15:00 Tutorial 2 (part 2): Microsoft Azure Cloud Services for Machine Learning-based Model Repair (Cheng-Hao Cai) 15:00-15:30 Coffee break 15:30-17:30 Tutorial 3: Silas: Dependable and High Performance Machine Learning (Hadrien Bride and Zhe Hou) ----------------- November 11th, 2019 ----------------- 08:00-08:40 Registration 08:50-09:00 Conference opening (Chair: Jing Sun) 09:00-10:00 Keynote talk (Chair: Yang Liu) Title: Data-Driven Software Automation: Toward a Decades-Long Dream (Tao Xie, Peking University) 10:00-10:30 Coffee break Session 1: Formal Methods (Chair: Jin Song Dong) 10:30-11:00 Title: LTL Model Checking of Self Modifying Code (Tayssir Touili and Xin Ye) 11:00-11:30 Title: Formal Verification of Dynamic and Stochastic Behaviors for Automotive Systems (Li Huang, Tian Liang and Eun-Young Kang) 11:30-12:00 Title: Checking Multi-Agent Systems against Temporal-Epistemic Specifications (Ran Chen and Wenhui Zhang) 12:00-13:30 Lunch break Session 2: Program analysis (Chair: Sung-Shik Jongmans) 13:30-14:00 Title: Joint Prediction of Multiple Vulnerability Characteristics Through Multi-Task Learning (Xi Gong, Zhenchang Xing, Xiaohong Li, Zhiyong Feng and Zhuobing Han) 14:00-14:30 Title: Static Detection of Control-Flow-Related Vulnerabilities Using Graph Embedding (Xiao Cheng, Haoyu Wang, Jiayi Hua, Miao Zhang, Guoai Xu, Li Yi and Yulei Sui) 14:30-15:00 Title: Industry-Oriented Project-based Learning of Software Engineering (Maria Spichkova) 15:00-15:30 Coffee break Session 3: Security (Chair: Maria Spichkova) 15:30-16:00 Title: MobiDroid: A Performance-Sensitive Malware Detection System on Mobile Platform (Ruitao Feng, Sen Chen, Xiaofei Xie, Lei Ma, Guozhu Meng, Yang Liu and Shang-Wei Lin) 16:00-16:30 Title: Squeezing State Spaces of (Attack-Defence) Trees (Michał Knapik, Wojciech Penczek, Laure Petrucci and Teofil Sidoruk) 16:30-16:50 Title: QuickAdapt: Scalable Adaptation for Big Data Cyber Security Analytics (short paper) (Faheem Ullah and Muhammad Ali Babar) 18:30-21:00 Conference reception ----------------- November 12th, 2019 ----------------- 08:30-09:00 Registration 09:00-10:00 Keynote talk (Chair: Shengchao Qin) Title: Formal Verification based on Interpolations (Shang-Wei Lin, Nanyang Technological University) 10:00-10:30 Coffee break Session 4: Formal Methods (Chair: Wenhui Zhang) 10:30-11:00 Title: On the Expressive Power of Invariants in Parametric Timed Automata (Étienne André, Didier Lime and Mathias Ramparison) 11:00-11:30 Title: Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3 (Michael Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer and Peter Tummeltshammer) 11:30-11:50 Title: Modelling Hybrid Train Speed Controller using Proof and Refinement (short paper) (Paulius Stankaitis, Guillaume Dupont, Yamine Ait-Ameur, Neeraj Kumar Singh, Alexei Iliasov and Alexander Romanovsky) 12:00-13:30 Lunch break Session 5: Scheduling (Chair: Tewfik Ziadi) 13:30-14:00 Title: Efficient Contention-Aware Scheduling of SDF Graphs on Shared Multi-bank Memory (Hai Nam Tran, Alexandre Honorat, Thierry Gautier, Loïc Besnard and Jean-Pierre Talpin) 14:00-14:30 Title: Adaptive Randomized Scheduling for Concurrency Bug Detection (Zan Wang, Dongdi Zhang, Shuang Liu, Jun Sun and Yingquan Zhao) 14:30-15:00 Title: Efficient Retiming of Unfolded Synchronous Dataflow Graphs (Xue-Yang Zhu) 15:00-15:30 Coffee break Session 6: Memory Management (Chair: Zhe Hou) 15:30-16:00 Title: A Formally Verified Buddy Memory Allocation Model (Ke Jiang, David Sanan, Yongwang Zhao, Shuanglong Kan and Yang Liu) 16:00-16:30 Title: EFLightPM: An Efficient and Lightweight Persistent Memory System (Kaixin Huang, Yan Yan and Linpeng Huang) 16:30-16:50 Title: Toward New Unit-Testing Techniques for Shared-Memory Concurrent Programs (short paper) (Sung-Shik Jongmans) 18:30-21:00 Conference dinner ----------------- November 13th, 2019 ----------------- 08:30-09:00 Registration 09:00-10:00 Keynote talk (Chair: Jun Pang) Title: Formal Verification for Side-channel Resistance of Cryptographic Programs (Fu Song, ShanghaiTech University) 10:00-10:30 Coffee break Session 7: Testing (Chair: Xueyang Zhu) 10:30-11:00 Title: Automatic Difficulty Management and Testing in Games using a Framework based on Behavior Trees and Genetic Algorithms (Ciprian Paduraru and Miruna Paduraru) 11:00-11:30 Title: Safe Inputs Approximation for Black-Box Systems (Bai Xue, Yang Liu, Lei Ma, Xiyue Zhang, Meng Sun and Xiaofei Xie) 11:30-12:00 Title: Assessing the Relation Between Hazards and Variability in Automotive Systems (Xiaoyi Zhang, Paolo Arcaini and Fuyuki Ishikawa) 12:00-13:30 Lunch Session 8: Program Analysis (Chair: Laure Petrucci) 13:30-14:00 Title: On the Evolution of Mobile App Complexity (Jun Gao, Li Li, Tegawendé F. Bissyandé and Jacques Klein) 14:00-14:30 Title: Apla Generic Constraint Matching Detection and Verification (Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You and Qimin Hu) 14:30-14:50 Title: Bi-Abductive Inference for Shape and Ordering Properties (short paper) (Christopher Curry, Quang Loc Le and Shengchao Qin) 14:50-15:30 Coffee break Session 9: Security (Chair: Chengchao Huang) 15:30-16:00 Title: Recovering Software Architecture Product Lines (Mohamed Lamine Kerdoudi, Tewfik Ziadi, Chouki Tibermacine and Salah Sadou) 16:00-16:20 Title: A Formal Methods Approach to Security Requirements Specification and Verification (short paper) (Quentin Rouland, Brahim Hamid, Jean-Paul Bodeveix and Mamoun Filali-Amine) 16:20-16:40 Title: Measuring Opacity for Non-Probabilistic DES: a SOG-based Approach (short paper) (Amina Bourouis, Kais Klai and Nejib Ben Hadj-Alouane)