VECoS

THURSDAY, JULY 1

8:00-9:30: Registration Desk

9:30AM: Opening Session   Chair : Kamel Barkaoui

A Brief Welcome and information about the workshop format and sessions

10:00-11:00: Keynote Session   Chair: Bruno Monsuez

Simulation + Uncertainty = Model-Checking
Laurent Fribourg , LSV ENS Cachan

11:00-11:30: Break

11:30-13:00 : Session 1   Chair: Denis Poitrenaud

Steady-state Property Verification: a Comparison Study

Diana Elrabih, Gael Gorgo, Nihal Pekergin and Jean-Marc Vincent
SBMC : Symmetric Bounded Model Checking

Brahim Nasraoui, Syrine Ayadi and Riadh Robbana
A Tile Logic based Semantics for Mobile Software Architectures

Chafia Bouanaka, Faïza Belala and Kamel Barkaoui

13:00-14:30: Lunch

14:30-15:30 - Keynote Session   Chair: Tayssir Touili

Deadlock Avoidance, Non-Linearity and Games

Raymond Devillers, Université Libre de Bruxelles

15:30-16:00: Break

16:00-17:30 – Session 2  Chair : Patrice Moreaux

Integrating PFairness within a Model based Scheduling Tool

Annie Geniet, Gaëlle Skapin-Largeteau and Abdoulaye Ouattara

Formalization of Cyclic Scheduling Problems with Assembly Tasks and Work-In-Process Minimization

Mohamed Amin Ben Amar, Hervé Camus and Ouajdi Korbaa

A Fair and Efficient Scheduling Scheme for Real and Non-Real-Time Traffic Flows in WiMAX

Sahar Ghazal, Lynda Mokdad and Jalel Ben Othman

18:00 : Visit of the CNAM museum

20:30 - open:  Workshop Dinner

FRIDAY, JULY 2

9:00-10:00: Registration Desk

10:00-11:00: Keynote Session   Chair: Kamel Barkaoui

Building Closed-loop Models for Discrete Controller Design

Hans-Michael Hanisch , Chair for Automation Technology Martin Luther University of Halle-Wittenberg

11:00-11:30: Break

11:30-13:30 Session 3  Chair: Guy Juanole

A Decentralized Supervisory Control Approach for Distributed Adaptive Systems Mohamed-Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenal Delaval, Eric Rutten and Moez Yeddes

Using Timed Coloured Petri nets and CPN-tool to Model and Verify TRBAC Security Policies

Laïd Kahloul, Karim Djouani and Walid Tfaili

AMLCC: Adaptive Multi-Layer Connected Chains Mechanism for Multicast Sender Authentication of Media-streaming

Hamdi Eltaief and Habib Youssef

Formal Verification of Authentication-Type Properties of an Electronic Voting Protocol using mCRL2

Hamid Reza Mahrooghi, Mohammad Hashem Haghighat and Rasool Jalili

13:30-15:00: Lunch

15:00-16:30 : Closing discussion  Co-chairs: Kamel Barkaoui and Bruno Monsuez

Towards an Euro-Mediterranean Center for Modeling,Verification and Simulation

16:30-17 :00: Break

Notes:

All presentations have 30 minutes timeframe. 20 minutes will be
dedicating to the presentation and 10 minutes to question and discussion.
Having some background slides ready is always helpful in case the
discussion requires referring to some results, diagrams, or facts.