default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDVECoS 2014: Bejaïa, Algeria
- Hassane Alla, Louiza Bouallouche-Medjkoune:
Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. CEUR Workshop Proceedings 1256, CEUR-WS.org 2014
Part I: Invited Talks
- Saddek Bensalem:
Compositional Verification of Timed Systems. 5-11 - Carla Seatzu:
Fault Diagnosis of Discrete Event Systems Using Petri Nets. 12-15 - Bernd Heidergott:
Towards a Statistical System Analysis. 16-17
Part II: Regular Papers
- Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui:
Towards Formal Modeling and Verification of Context-Aware Systems. 18-24 - Hamza Sahli, Faiza Belala, Chafia Bouanaka:
Model-Checking Cloud Systems Using BigMC. 25-33 - Hichem Debbi:
Diagnosis of Probabilistic Models using Causality and Regression. 34-44 - Mohamed Ghazel, Florent Peres:
A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. 45-56 - Hocine Souilah, Abderrahmane Baadache, Louiza Bouallouche-Medjkoune:
Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks. 57-62 - Nadjette Rebouh:
Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm. 63-68 - Mohand Yazid, Nassim Sahki, Louiza Bouallouche-Medjkoune, Djamil Aïssani:
Analytical Modeling of the IEEE 802.11e EDCA Network. 69-75 - Zouweyna Mordji, Mourad Amad, Djamil Aïssani:
A Derived Queueing Network Model for Structured P2P Architectures. 76-84 - Mouloud Atmani, Djamil Aïssani, Yassine Hadjadj Aoul:
Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis under Unsaturated Traffic. 85-92 - Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir:
Visual Specification Language and Automatic Checking of Business Process. 93-101 - Miloud Bennama, Thouraya Bouabana-Tebibel:
Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. 102-112
Part III: Posters Abstracts
- El Hassene Ait Mokhtar, Radouane Kara, Alaa Chateauneuf:
Bayesian Networks for the Evaluation of Complex Systems Availability. 113-119 - Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau:
Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring. 120-127 - Kahlessenane Fares, Louiza Bouallouche-Medjkoune, Djamil Aïssani:
Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks. 128-134 - Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Aïssani:
Comparison of Routing Protocols in Wireless Sensor Networks. 135-142 - Kamal Mehaoued, Larbi Sekhri, Malika Bourenane:
Fairness Improvement of MAC in Wireless Ad Hoc Networks. 143-147
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-09 19:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
