<!DOCTYPE html>
<!-- CEURVERSION=2015-12-02 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-1689 - Verification and Evaluation of Computer and Communication Systems 2016</title>
</head>
<!--CEURLANG=eng -->
<body>



<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">

<span class="CEURVOLNR">Vol-1689</span> <br>
<span class="CEURURN">urn:nbn:de:0074-1689-C</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 
<span class="CEURPUBYEAR">2016</span> for the individual papers
by the papers' authors. Copying permitted for private and academic purposes.
This volume is published and copyrighted by its editors.</p>
</td>
</tr>
</tbody></table>

<hr>


<br><br><br>

<h1><a href="http://vecos.ensta-paristech.fr/2016/"><span class="CEURVOLACRONYM">VECoS-2016</span></a><br>
<span class="CEURVOLTITLE">Verification and Evaluation of Computer and Communication Systems</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the 10<sup>th</sup> Workshop on Verification and Evaluation of Computer and Communication System</span><br>
</h3>
<h3><span class="CEURLOCTIME">Tunis, Tunisia, October 6-7, 2016</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="http://www.ifsttar.fr/menu-haut/annuaire/fiche-personnelle/personne/ghazel-mohamed/"><span class="CEURVOLEDITOR">Mohamed Ghazel</span></a> *<br>
    <a href="http://www.redcad.org/members/jmaiel/"><span class="CEURVOLEDITOR">Mohamed Jmaiel</span></a> **<br>

</h3>

* <a href="http://www.ifsttar.fr">IFSTTAR </a>, Lille, France<br>
** <a href="http://www.cetic.rnrt.tn/index1.php"> DRC</a>,<a href="http://www.redcad.org"> ReDCAD</a>,<a href="http://www.enis.rnu.tn/"> ENIS-University of Sfax</a>, Sfax, Tunisia <br>
  <br>

<hr>

<br><br><br>

<a href="ftp://SunSITE.Informatik.RWTH-Aachen.DE/pub/publications/CEUR-WS/Vol-1689.zip">Complete proceedings in one ZIP file</a> (~6 MB).<br>

<div class="CEURTOC">
<h2> Table of Contents </h2>


<ul>
<li id="preface">
<A href="preface.pdf">Preface</A><BR><BR>
</li>
</ul>


<h3><span class="CEURSESSION">Session I: Probabilistic verification </span></h3>

<ul>

<li id="paper1"><a href="paper1.pdf">
<span class="CEURTITLE">Exact and Approximate Diagnosis of Probabilistic Systems</span></a> (invited talk)
<span class="CEURPAGES">9</span> <br>
<span class="CEURAUTHOR">Serge Haddad</span>
</li>

<li id="paper2"><a href="paper2.pdf">
<span class="CEURTITLE">Performance Evaluation of Complex Systems Using the SBIP Framework </span></a>
<span class="CEURPAGES">11-26</span> <br>
<span class="CEURAUTHOR">Ayoub Nouri</span>, 
<span class="CEURAUTHOR">Marius Bozga</span>, 
<span class="CEURAUTHOR">Axel Legay</span>, 
<span class="CEURAUTHOR">Saddek Bensalem</span>
</li>

<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">Statistical Model Checking of CSMA/CA in WSNs</span></a>
<span class="CEURPAGES">27-42</span> <br>
<span class="CEURAUTHOR">Zohra Hmidi</span>, 
<span class="CEURAUTHOR">Laid Kahloul</span>, 
<span class="CEURAUTHOR">Saber Benharzallah</span>, 
<span class="CEURAUTHOR">Cherifa Othmane</span>
</li>

<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application</span></a>
<span class="CEURPAGES">43-58</span> <br>
<span class="CEURAUTHOR">Maissa Elleuch</span>, 
<span class="CEURAUTHOR">Osman Hasan</span>, 
<span class="CEURAUTHOR">Sofiene Tahar</span>, 
<span class="CEURAUTHOR">Mohamed Abid</span>
</li>

</ul>


<h3><span class="CEURSESSION">Session II: Fault tolerance and performance evaluation </span></h3>

<ul>

<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling </span></a>
<span class="CEURPAGES">61-76</span> <br>
<span class="CEURAUTHOR">Yves Mouafo Tchinda</span>, 
<span class="CEURAUTHOR">Annie Geniet-Choquet</span>, 
<span class="CEURAUTHOR">Gaëlle Largeteau-Skapin</span>
</li>

<li id="paper6"><a href="paper6.pdf">
<span class="CEURTITLE">On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System </span></a>
<span class="CEURPAGES">77-84</span> <br>
<span class="CEURAUTHOR">Assia Outamazirt</span>, 
<span class="CEURAUTHOR">Mohamed Escheikh</span>, 
<span class="CEURAUTHOR">Djamil A&iuml;ssani</span>, 
<span class="CEURAUTHOR">Kamel Barkaoui</span>, 
<span class="CEURAUTHOR">Ouiza Lekadir</span>
</li>

<li id="paper7"><a href="paper7.pdf">
<span class="CEURTITLE">Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi </span></a>
<span class="CEURPAGES">85-92</span> <br>
<span class="CEURAUTHOR">Mohand Yazid</span>, 
<span class="CEURAUTHOR">Louiza Bouallouche-Medjkoune</span>, 
<span class="CEURAUTHOR">Djamil Aïssani</span>
</li>

<li id="paper8"><a href="paper8.pdf">
<span class="CEURTITLE">Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study </span></a>
<span class="CEURPAGES">93-104</span> <br>
<span class="CEURAUTHOR">Abderraouf Boussif</span>, 
<span class="CEURAUTHOR">Mohamed Ghazel</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session III: Model-Checking and Test</span></h3>

<ul>


<li id="paper9"><a href="paper9.pdf">
<span class="CEURTITLE">Specifying Weak Memory Consistency with Temporal Logic</span></a>
<span class="CEURPAGES">107-122</span> <br>
<span class="CEURAUTHOR">Maximilian Senftleben</span>, 
<span class="CEURAUTHOR">Klaus Schneider</span>
</li>

<li id="paper10"><a href="paper10.pdf">
<span class="CEURTITLE">A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures </span></a>
<span class="CEURPAGES">123-140</span> <br>
<span class="CEURAUTHOR">Afef Jmal Ma&acirc;lej</span>, 
<span class="CEURAUTHOR">Moez Krichen</span>
</li>

<li id="paper11"><a href="paper11.pdf">
<span class="CEURTITLE">Relative Correctness: A Bridge Between Proving and Testing</span></a>
<span class="CEURPAGES">141-156</span> <br>
<span class="CEURAUTHOR">Wided Ghardallou</span>, 
<span class="CEURAUTHOR">Ali Mili</span>, 
<span class="CEURAUTHOR">Nafi Diallo</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session IV: Protocols and distrubuted systems </span></h3>

<ul>

<li id="paper12"><a href="paper12.pdf">
<span class="CEURTITLE">Petri Net Synthesis from Labelled Transition Systems and from Languages</span></a> (invited talk)
<span class="CEURPAGES">159</span> <br>
<span class="CEURAUTHOR">Eric Badouel</span>
</li>

<li id="paper14"><a href="paper14.pdf">
<span class="CEURTITLE">ePassport Protocol on the Spi Calculus</span></a>
<span class="CEURPAGES">161-176</span> <br>
<span class="CEURAUTHOR">Safa Saoudi</span>, 
<span class="CEURAUTHOR">Souheib Yousfi</span>, 
<span class="CEURAUTHOR">Riadh Robbana</span>
</li>

<li id="paper15"><a href="paper15.pdf">
<span class="CEURTITLE">Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture</span></a>
<span class="CEURPAGES">177-192</span> <br>
<span class="CEURAUTHOR">Imene Benhafaiedh</span>, 
<span class="CEURAUTHOR">Maroua Ben Slimane</span>
</li>

<li id="paper16"><a href="paper16.pdf">
<span class="CEURTITLE">Towards correct Evolution of Conversation Protocols</span></a>
<span class="CEURPAGES">193-201</span> <br>
<span class="CEURAUTHOR">Sarah Benyagoub</span>, 
<span class="CEURAUTHOR">Meriem Ouederni</span>, 
<span class="CEURAUTHOR">Yamine Ait Ameur</span>
</li>

</ul>


</div>


<hr>
<span class="unobtrusive">
2016-09-14: submitted by Belgacem BEN HEDIA, 
            metadata incl. bibliographic data published under <A HREF="http://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2016-09-14</span>: published on CEUR-WS.org 
	|<A HREF="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-1689%2F">valid HTML5</A>|
</span>
</body></html>
