Programme VECoS 2016



Day 1: Thursday, October 6th
8:30 Registration
9:15 Opening session Azgal Abichou, Kamel Barkaoui (General Co-chairs), Adel Benzina (OC chair), Mohamed Ghazel, Mohamed Jmaïel (PC Co-chairs)
9:30 Invited Talk 1 Serge Haddad:

Chair: M. Ghazel Exact and Approximate Diagnosis of Probabilistic Systems
10:30 Cofee Break
11:00 Session 1
Chair: D. Aïssani
Probabilistic Verification


Ayoub Nouri, Marius Bozga, Axel Legay and Saddek Bensalem:


Performance Evaluation of Complex Systems Using the SBIP Framework


Zohra Hmidi, Laid Kahloul, Saber Benharzallah and Cherifa Othmane:


Statistical Model Checking of CSMA/CA in WSNs


Maissa Elleuch, Osman Hasan, Sofiene Tahar and Mohamed Abid:


Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application
12:30 Lunch
14:00 Session 2
Chair: B. Monsuez
Fault Tolerance and Performance Evaluation


Yves Mouafo Tchinda, Annie Geniet-Choquet and Gaëlle Largeteau-Skapin:


Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling


Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui and Ouiza Lekadir:


On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System


Yazid Mohand, Bouallouche-Medjkoune Louiza and Aïssani Djamil:


Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi


Abderraouf Boussif and Mohamed Ghazel:


Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case-Study
16:30 Cofee break
17:00 Session 3
Chair: B. Ben Hedia
Model-Checking & Test


Maximilian Senftleben and Klaus Schneider:


Specifying Weak Memory Consistency with Temporal Logic


Afef Jmal Maâlej and Moez Krichen:


A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures


Wided Ghardallou, Nafi Diallo and Ali Mili:


Relative Correctness: A Bridge Between Proving and Testing



19:00 Dinner
Day 2: Friday, October 7 th
8:30 Registration
9:00 Invited Talk 2
Chair: K. Barkaoui
Eric Badouel
Petri net synthesis from labelled transition systems and from languages
10:00 Cofee Break
10:30 Session 4
Chair: M. Jmaïel
Protocols and Distrubuted Systems


Safa Saoudi, Souheib Yousfi and Riadh Robbana:


ePassport Protocol on the Spi Calculus


Imene Benhafaiedh and Maroua Ben Slimane:


Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture


Sarah Benyagoub, Meriem Ouederni and Yamine Ait Ameur:


Towards correct Evolution of Conversation Protocols
12:30 Lunch



15:00 Panel Session
«Réflexions, actions et opportunités pour la promotion
de la recherche et de l'innovation en Informatique au Maghreb." Lieu : Beit al-Hikma



17:30 Closing Session