Abstract is missing.
- Exact and Approximate Diagnosis of Probabilistic SystemsSerge Haddad. 9 [doi]
- Performance Evaluation of Complex Systems Using the SBIP FrameworkAyoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem. 11-26 [doi]
- Statistical Model Checking of CSMA/CA in WSNsZohra Hmidi, Laïd Kahloul, Benharzallah Saber, Cherifa Othmane. 27-42 [doi]
- Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring ApplicationMaissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid. 43-58 [doi]
- Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair SchedulingYves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin. 61-76 [doi]
- On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing SystemAssia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir. 77-84 [doi]
- Performance Study of Frame Aggregation Mechanisms in the New Generation WiFiMohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani. 85-92 [doi]
- Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case StudyAbderraouf Boussif, Mohamed Ghazel. 93-104 [doi]
- Specifying Weak Memory Consistency with Temporal LogicMaximilian Senftleben, Klaus Schneider 0001. 107-122 [doi]
- A Model Based Approach to Combine Load and Functional Tests for Service Oriented ArchitecturesAfef Jmal Maâlej, Moez Krichen. 123-140 [doi]
- Relative Correctness: A Bridge Between Proving and TestingWided Ghardallou, Ali Mili, Nafi Diallo. 141-156 [doi]
- Petri Net Synthesis from Labelled Transition Systems and from LanguagesEric Badouel. 159 [doi]
- ePassport Protocol on the Spi CalculusSafa Saoudi, Souheib Yousfi, Riadh Robbana. 161-176 [doi]
- Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus ArchitectureImene Benhafaiedh, Maroua Ben Slimane. 177-192 [doi]
- Towards correct Evolution of Conversation ProtocolsSarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur. 193-201 [doi]