| Vol-1689 urn:nbn:de:0074-1689-2 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# VECoS 2016
Verification and Evaluation of Computer and Communication Systems

### Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System

### Tunis, Tunisia, October 6-7, 2016.

Edited by

### Mohamed Ghazel *
Mohamed Jmaiel **

* IFSTTAR , Lille, France
** DRC, ReDCAD, ENIS-University of Sfax, Sfax, Tunisia

Complete proceedings in one ZIP file (~6 MB).

## Table of Contents

- Preface

### Session I: Probabilistic verification

- Exact and Approximate Diagnosis of Probabilistic Systems (invited talk) 9
  Serge Haddad
- Performance Evaluation of Complex Systems Using the SBIP Framework 11-26
  Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem
- Statistical Model Checking of CSMA/CA in WSNs 27-42
  Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane
- Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application 43-58
  Maissa Elleuch, Osman Hasan, Sofiene Tahar, Mohamed Abid

### Session II: Fault tolerance and performance evaluation

- Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling 61-76
  Yves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin
- On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System 77-84
  Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir
- Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi 85-92
  Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani
- Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study 93-104
  Abderraouf Boussif, Mohamed Ghazel

### Session III: Model-Checking and Test

- Specifying Weak Memory Consistency with Temporal Logic 107-122
  Maximilian Senftleben, Klaus Schneider
- A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures 123-140
  Afef Jmal Maâlej, Moez Krichen
- Relative Correctness: A Bridge Between Proving and Testing 141-156
  Wided Ghardallou, Ali Mili, Nafi Diallo

### Session IV: Protocols and distrubuted systems

- Petri Net Synthesis from Labelled Transition Systems and from Languages (invited talk) 159
  Eric Badouel
- ePassport Protocol on the Spi Calculus 161-176
  Safa Saoudi, Souheib Yousfi, Riadh Robbana
- Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture 177-192
  Imene Benhafaiedh, Maroua Ben Slimane
- Towards correct Evolution of Conversation Protocols 193-201
  Sarah Benyagoub, Meriem Ouederni, Yamine Ait Ameur

2016-09-26: submitted by Belgacem Ben Hedia, metadata incl. bibliographic data published under Creative Commons CC0
2016-09-26: published on CEUR-WS.org |valid HTML5|