| Vol-1256 urn:nbn:de:0074-1256-4 Copyright © 2014 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 2014
Verification and Evaluation of Computer and Communication Systems

### Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems

### Bejaia, Algeria, September 29 - 30, 2014.

Edited by

### Hassane Alla *
Louiza Bouallouche-Medjkoune **

* University of Grenoble, GIPSA-Lab, France
** University of Bejaia, LAMOS, Algeria

## Table of Contents

- Preface

### Part I: Invited Talks

- Compositional Verification of Timed Systems 5-11
  Saddek Bensalem
- Fault Diagnosis of Discrete Event Systems Using Petri Nets 12-15
  Carla Seatzu
- Towards a Statistical System Analysis 16-17
  Bernd Heidergott

### Part II: Regular Papers

- Towards Formal Modeling and Verification of Context-Aware Systems 18-24
  Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui
- Model-Checking Cloud Systems Using BigMC 25-33
  Hamza Sahli, Faiza Belala, Chafia Bouanaka
- Diagnosis of Probabilistic Models using Causality and Regression 34-44
  Hichem Debbi
- A µ-Calculus Framework for the Diagnosability of Discrete Event Systems 45-56
  Mohamed Ghazel, Florent Peres
- Coping with Spoofed PS-Poll Based DoS Attack in IEEE 57-62
  Souilah Hocine, Baadache Abderrahmane, Louiza Bouallouche-Medjkoune
- Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm 63-68
  Rebouh Nadjette
- Analytical Modeling of the IEEE 802.11e EDCA Network 69-75
  Yazid Mohand, Sahki Nassim, Louiza Bouallouche-Medjkoune, Aissani Djamil
- A Derived Queueing Network Model for Structured P2P Architectures 76-84
  Zouweyna Mordji, Mourad Amad, Djamil Aissani
- Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis under Unsaturated Traffic 85-92
  Mouloud Atmani, Djamil Aissani, Yassine Hadjadj-Aoul
- Visual Specification Language and Automatic Checking of Business Process 93-101
  Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir
- Mapping OCL Constraints into CTL-like Logic and SML for UML Validation 102-112
  Miloud Bennama, Thouraya Bouabana-Tebibel

### Part III: Posters Abstracts

- Bayesian Networks for the Evaluation of Complex Systems Availability 113-119
  El Hassen Ait Mokhtar, Radouane Kara, Alaa Chateauneuf
- Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring 120-127
  Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau
- Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks 128-134
  Kahlessenane Fares, Louiza Bouallouche-Medjkoune, Aissani Djamil
- Comparison of Routing Protocols in Wireless Sensor Networks 135-142
  Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Aissani
- Fairness Improvement of MAC in Wireless Ad Hoc Networks 143-147
  Kamal Mehaoued, Larbi Sekhri, Malika Bourenane

2014-09-29: submitted by Louiza Bouallouche-Medjkoune
2014-09-29: published on CEUR-WS.org |valid HTML5|