<!DOCTYPE html>
<!-- saved from url=(0080)http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-XXX/index.html -->
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

<link rel="stylesheet" type="text/css" href="./CEUR-WS.org Vol-XXX - Workshop on Publishing Papers with CEUR-WS YYYY_files/ceur-ws.css">
<title>CEUR-WS.org/Vol-XXX - Workshop on Publishing Papers with CEUR-WS 2014</title>
<style type="text/css"></style></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-XXX</span> <br>
<span class="CEURURN">urn:nbn:de:0074-XXX-C</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright © 
<span class="CEURPUBYEAR">2014</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>

</pre>

<br><br><br>

<h1><a href="http://vecos.ensta-paristech.fr/2014/"><span class="CEURVOLACRONYM">VECOS 2014</span></a><br>
<span class="CEURVOLTITLE">VECoS 2014</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">the 8th International Workshop on
Verification and Evaluation of Computer and Communication Systems
(<span class="CEURCOLOCATED">NONE</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Bejaia, Algeria, September 29 - 30, 2014</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <a href="http://www.gipsa-lab.grenoble-inp.fr"><span class="CEURVOLEDITOR">Hassane Alla</span></a> *<br>
   <span class="CEURVOLEDITOR">Louiza Bouallouche-Medjkoune</span> **<br>

</h3>
 
* <a href="http://www.gipsa-lab.grenoble-inp.fr">University of Grenoble</a>,
  GIPSA-Lab, France<br>
** <a href="http://lamos.org">University of Bejaïa</a>,
   LAMOS, Algeria <br>
  <br>

<hr>

<br><br><br>



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

 </pre>
<ul>
<li id="preface">
<a href="preface.pdf">Preface</a><br><br>
</li>
</ul>

</pre>
<h3><span class="CEURSESSION">Part I: Invited Talks</span></h3>

<ul>

<li id="invit1"><a href="inv1.pdf">
<span class="CEURTITLE">Compositional Verification of Timed Systems</span></a> 
<span class="CEURPAGES">5-11</span> <br>
<span class="CEURAUTHORS">Saddek Bensalem</span>
</li>

<li id="invit2"><a href="inv2.pdf">
<span class="CEURTITLE">Fault diagnosis of discrete event systems using Petri nets</span></a>
<span class="CEURPAGES">12-15</span> <br>
<span class="CEURAUTHORS">Carla Seatzu</span>
</li>

<li id="invit3"><a href="inv3.pdf">
<span class="CEURTITLE">Towards a Statistical System Analysis</span></a>
<span class="CEURPAGES">16-17</span> <br>
<span class="CEURAUTHORS">Bernd Heidergott</span>  
</li>



</ul>


<h3><span class="CEURSESSION">Part II: Regular Papers </span></h3>

<ul>
<li id="paper1"><a HREF="paper1.pdf">
<span class="CEURTITLE">Towards Formal Modeling and Verification of Context-Aware Systems</span></a>
<span class="CEURPAGES">18-24</span> <br>
<span class="CEURAUTHORS">Taha Abdelmoutaleb Cherfia, Faïza Belala, Kamel Barkaoui</span>  
</li>

<li id="paper2"><a HREF="paper2.pdf">
<span class="CEURTITLE">Model-Checking Cloud Systems Using BigMC</span></a>
<span class="CEURPAGES">25-33</span> <br>
<span class="CEURAUTHORS">Hamza Sahli, Faiza Belala, Chafia Bouanaka</span>  
</li>


<li id="paper3"><a href="paper3.pdf">
<span class="CEURTITLE">Diagnosis of Probabilistic Models using Causality and Regression</span></a>
<span class="CEURPAGES">34-44</span> <br>
<span class="CEURAUTHORS">Hichem Debbi</span>
</li>

<li id="paper4"><a href="paper4.pdf">
<span class="CEURTITLE">A µ-Calculus Framework for the Diagnosability of Discrete Event Systems</span></a>
<span class="CEURPAGES">45-56</span> <br>
<span class="CEURAUTHORS">Mohamed Ghazel, Florent Peres</span>
</li>

<li id="paper5"><a href="paper5.pdf">
<span class="CEURTITLE">Coping with Spoofed PS-Poll Based DoS Attack in IEEE</span></a>
<span class="CEURPAGES">57-62</span> <br>
<span class="CEURAUTHORS">Souilah Hocine, Baadache Abderrahmane, Bouallouche-Medjkoune Louiza</span>
</li>

<li id="paper6"><a href="paper6.pdf">
<span class="CEURTITLE">Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm </span></a>
<span class="CEURPAGES">63-68</span> <br>
<span class="CEURAUTHORS">Rebouh Nadjette</span>
</li>

<li id="paper7"><a href="paper7.pdf">
<span class="CEURTITLE">Analytical Modeling of the IEEE 802.11e EDCA Network </span></a>
<span class="CEURPAGES">69-75</span> <br>
<span class="CEURAUTHORS">Yazid Mohand, Sahki Nassim, Bouallouche-Medjkoune Louiza Louiza, Aïssani Djamil</span>
</li>

<li id="paper8"><a href="paper8.pdf">
<span class="CEURTITLE">A Derived Queueing Network Model for Structured P2P Architectures </span></a>
<span class="CEURPAGES">76-84</span> <br>
<span class="CEURAUTHORS">Zouweyna Mordji, Mourad Amad, Djamil AÏssani</span>
</li>

<li id="paper9"><a href="paper9.pdf">
<span class="CEURTITLE">Applying data fragmentation in IEEE 802.15.4: modeling and analysis under unsaturated traffic </span></a>
<span class="CEURPAGES">85-92</span> <br>
<span class="CEURAUTHORS">Mouloud Atmani, Djamil Aïssani, Yassine Hadjadj-Aoul </span>
</li>

<li id="paper10"><a href="paper10.pdf">
<span class="CEURTITLE">Visual specification language and automatic checking of business process  </span></a>
<span class="CEURPAGES">93-101</span> <br>
<span class="CEURAUTHORS">Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir </span>
</li>

<li id="paper11"><a href="paper11.pdf">
<span class="CEURTITLE"> Mapping OCL constraints into CTL-like logic and SML for UML validation </span></a>
<span class="CEURPAGES">102-112</span> <br>
<span class="CEURAUTHORS">Miloud Bennama, Thouraya Bouabana-Tebibel  </span>
</li>

</ul>

<h3><span class="CEURSESSION">Part III: Posters Abstracts </span></h3>

<ul>

<li id="poster1"><a href="poster1.pdf">
<span class="CEURTITLE"> Bayesian networks for the evaluation of complex systems' availability </span></a>
<span class="CEURPAGES">113-119</span> <br>
<span class="CEURAUTHORS">El Hassen Ait Mokhtar, Radouane Kara, Alaa Chateauneuf   </span>
</li>

<li id="poster2"><a href="poster2.pdf">
<span class="CEURTITLE"> Observer design and feedback controller synthesis with observer in idempotent semiring </span></a>
<span class="CEURPAGES">120-127</span> <br>
<span class="CEURAUTHORS">Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau  </span>
</li>

<li id="poster3"><a href="poster3.pdf">
<span class="CEURTITLE"> Cross-layer energy-aware protocol for wireless sensor networks </span></a>
<span class="CEURPAGES">128-134</span> <br>
<span class="CEURAUTHORS">Kahlessenane Fares, Bouallouche-Medjkoune Louiza, AÏssani Djamil   </span>
</li>

<li id="poster4"><a href="poster4.pdf">
<span class="CEURTITLE"> Comparison of Routing Protocols in Wireless Sensor Networks </span></a>
<span class="CEURPAGES">135-142</span> <br>
<span class="CEURAUTHORS">Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Aissani  </span>
</li>

<li id="poster5"><a href="poster5.pdf">
<span class="CEURTITLE"> Fairness Improvement of MAC in Wireless Ad Hoc Networks </span></a>
<span class="CEURPAGES">143-147</span> <br>
<span class="CEURAUTHORS">-	Kamal Mehaoued, Larbi Sekhri, Malika Bourenane  </span>
</li>


</ul>



<hr>
<span class="unobtrusive">
2014-09-29: submitted by Louiza Bouallouche-Medjkoune<br>
<span class="CEURPUBDATE">yyyy-mm-dd</span>: published on CEUR-WS.org 
|<a href="http://validator.w3.org/check?uri=http%3A%2F%2Fceur-ws.org%2FVol-XXX%2F">valid HTML5</a>|
</span>

</body></html>
