VECOS 2014
Verification and Evaluation of Computer and Communication Systems

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