Programme

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