default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th VECoS 2016: Tunis, Tunisia
- Mohamed Ghazel, Mohamed Jmaiel:
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. CEUR Workshop Proceedings 1689, CEUR-WS.org 2016
Session I: Probabilistic verification
- Serge Haddad:
Exact and Approximate Diagnosis of Probabilistic Systems. 9 - Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem:
Performance Evaluation of Complex Systems Using the SBIP Framework. 11-26 - Zohra Hmidi, Laïd Kahloul, Saber Benharzallah, Cherifa Othmane:
Statistical Model Checking of CSMA/CA in WSNs. 27-42 - Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid:
Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. 43-58
Session II: Fault tolerance and performance evaluation
- Yves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin:
Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling. 61-76 - Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir:
On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. 77-84 - Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani:
Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi. 85-92 - Abderraouf Boussif, Mohamed Ghazel:
Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. 93-104
Session III: Model-Checking and Test
- Maximilian Senftleben, Klaus Schneider:
Specifying Weak Memory Consistency with Temporal Logic. 107-122 - Afef Jmal Maâlej, Moez Krichen:
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. 123-140 - Wided Ghardallou, Ali Mili, Nafi Diallo:
Relative Correctness: A Bridge Between Proving and Testing. 141-156
Session IV: Protocols and distrubuted systems
- Éric Badouel:
Petri Net Synthesis from Labelled Transition Systems and from Languages. 159 - Safa Saoudi, Souheib Yousfi, Riadh Robbana:
ePassport Protocol on the Spi Calculus. 161-176 - Imene Ben Hafaiedh, Maroua Ben Slimane:
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. 177-192 - Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur:
Towards correct Evolution of Conversation Protocols. 193-201
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 2024-10-31 20:01 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:
