Wednesday,  Octobre 9th,


8:45-9:00 Opening session

9:00-10:00: Invited talk 

"Verifying Robusteness of Concurrent Systems" by Ahmed Bouajjani

10:00-10:30 Coffee break


10:30-12:00 Session 1: Modeling and Verification


Title:  Modeling Concurrent Behaviors as Words  
Authors:  Jean-Michel Couvreur, Mouhamadou Sakho  


Title:  Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems
Authors: Ayman Aljarbouh and Benoit Caillaud


Title: Static Detection of Event-Driven Races in HTML5-Based Mobile Apps
Author :  Tuong Lau

12:00-14:00 Lunch


14:00 - 15:00 Invited Talk

"1968 to 2019: Half a Century of Correctness Enhancement" by Ali Mili


15:00 - 16:00 : Session 2: Security Analysis

Title:   Analysing Security Protocols Using Scenario Based Simulation  
Authors:  Farah Al-Shareefi, Alexei Lisitsa and Clare Dixon

Title: Running on Fumes -- Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
Authors: Elvira Albert, Pablo Gordillo, Albert Rubio and Ilya Sergey


16:00-16:30 Coffee break


16:30-17:30 Session 3: Timed systems


Title: Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules  
Authors: Philippe Glanon, Azaiez and Chokri Mraidha


Title:  Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems  
Authors: Yves Mouafo Tchinda, Choquet-Geniet and Gaëlle Largeteau-Skapin  



17: 30 Closing Session