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 10^th 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|