| 2014 | A Derived Queueing Network Model for Structured P2P Architectures. Zouweyna Mordji, Mourad Amad, Djamil Aïssani |
| 2014 | A µ-Calculus Framework for the Diagnosability of Discrete Event Systems. Mohamed Ghazel, Florent Peres |
| 2014 | Analytical Modeling of the IEEE 802.11e EDCA Network. Mohand Yazid, Nassim Sahki, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
| 2014 | Applying Data Fragmentation in IEEE 802.15.4: Modeling and Analysis under Unsaturated Traffic. Mouloud Atmani, Djamil Aïssani, Yassine Hadjadj-Aoul |
| 2014 | Bayesian Networks for the Evaluation of Complex Systems Availability. El Hassene Ait Mokhtar, Radouane Kara, Alaa Chateauneuf |
| 2014 | Comparison of Routing Protocols in Wireless Sensor Networks. Samira Yessad, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
| 2014 | Compositional Verification of Timed Systems. Saddek Bensalem |
| 2014 | Coping with Spoofed PS-Poll Based DoS Attack in IEEE 802.11 Networks. Hocine Souilah, Abderrahmane Baadache, Louiza Bouallouche-Medjkoune |
| 2014 | Cross-Layer Energy-Aware Protocol for Wireless Sensor Networks. Kahlessenane Fares, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
| 2014 | Diagnosis of Probabilistic Models using Causality and Regression. Hichem Debbi |
| 2014 | Failure Detector-Ring Paxos Based Atomic Broadcast Algorithm. Nadjette Rebouh |
| 2014 | Fairness Improvement of MAC in Wireless Ad Hoc Networks. Kamal Mehaoued, Larbi Sekhri, Malika Bourenane |
| 2014 | Fault Diagnosis of Discrete Event Systems Using Petri Nets. Carla Seatzu |
| 2014 | Mapping OCL Constraints into CTL-like Logic and SML for UML Validation. Miloud Bennama, Thouraya Bouabana-Tebibel |
| 2014 | Model-Checking Cloud Systems Using BigMC. Hamza Sahli, Faiza Belala, Chafia Bouanaka |
| 2014 | Observer Design and Feedback Controller Synthesis with Observer in Idempotent Semiring. Aldjia Nait Abdesselam, Radouane Kara, Jean Jacques Loiseau |
| 2014 | Proceedings of the 8th International Workshop on Verification and Evaluation of Computer and Communication Systems, VECoS 2014, Bejaïa, Algeria, September 29-30, 2014. Hassane Alla, Louiza Bouallouche-Medjkoune |
| 2014 | Towards Formal Modeling and Verification of Context-Aware Systems. Taha Abdelmoutaleb Cherfia, Faiza Belala, Kamel Barkaoui |
| 2014 | Towards a Statistical System Analysis. Bernd Heidergott |
| 2014 | Visual Specification Language and Automatic Checking of Business Process. Outman El Hichami, Mohammed Al Achhab, Ismail Berrada, Badr Eddine El Mohajir |