Programme

Downloadable version of the programme in .odt or .pdf format.

Thursday, 24 August 2017

09:00-09:30 Opening session

09:30-10:30 Invited Lecture 1

• Mourad Debbabi. Measuring and Enhancing Smart Grid Security

10:30-11:00 Coffee Break

11:00-12:30 Session 1: Stochastic Model Checking / Performance Analysis (session chair Ayoub Nouri)

• Muhammad Saad Ayub and Osman Hasan. Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot

• Sana Younes and Momtez Benmbarek. Performance Analysis of Multi-Services Call Admission Control in Cellular Network using Model Checking

• Sedda Hakmi, Ouiza Lekadir and Djamil Aissani. Application of Generalized stochastic Petri nets to Performance Modeling of the RF Communication in Sensor Networks

12:30-14:00 Lunch

14:00-15:00 Invited Lecture 2

• Michel Dagenais. Live Run-Time Verification of Parallel Heterogeneous Real-Time Systems

15:00-15:30 Coffee Break

15:30-17:00 Session 2: Worst Case Time Analysis / Performance Analysis (session chair Otmane Ait Mohamed)

• Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem and Panagiotis Katsaros. Regression-based Statistical Bounds on Software Execution Time

• Armel Mangean, Jean-Luc Béchennec, Mikaël Briday and Sébastien Faucou. WCET analysis by Model Checking for a processor with dynamic branch prediction

• Qi Yu, Libo Huang, Cheng Qian and Zhiying Wang. Factor-Based C-AMAT Analysis for Memory Optimization

Friday, 25 August 2017

09:30-10:30 Invited Lecture 3

• Zhiwu Li. Deadlock Analysis and Control of Resource Allocation Systems: Structural and Reachability Graph Approaches

10:30-11:00 Coffee Break

11:00-12:30 Session 3: Diagnosability Analysis / Modeling and analysis of mobile systems (session chair Belgacem Benhedia)

• Abderraouf Boussif and Mohamed Ghazel. An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study

• Hana Jouini, Mohamed Escheikh, Kamel Barkaoui and Tahar Ezzedine. Mobility load balancing over intra-frequency heterogeneous networks using handover adaptation

• Nicolas Riviere, Pierre Andre and Helene Waeselynck. A toolset for mobile systems testing

12:30-14:00 Lunch

14:00-16:00 Session 4: Reachability analysis / Model transformation / Model comparison (session chair Osmane Hassan)

• Ibtissem Seghaier and Sofiene Tahar. Intertwined Global Optimization based Reachability Analysis

• Bogdan Aman and Gabriel Ciobanu. Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude

• Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem and Briag Le Nabec. TT-BIP: Using Correct-by-Design BIP Approach for Modeling Real-Time System with Time-Triggered Paradigm

• Mojgan Kamali and Luigia Petre. Uppaal vs Event-B for Modelling Optimised Link State Routing

16:00-16:30 Closing Session

Conference Cruise Diner 19h – 23h