| 2016 | A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. Afef Jmal Maâlej, Moez Krichen |
| 2016 | Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling. Yves Mouafo Tchinda, Annie Geniet-Choquet, Gaëlle Largeteau-Skapin |
| 2016 | Exact and Approximate Diagnosis of Probabilistic Systems. Serge Haddad |
| 2016 | Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid |
| 2016 | Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. Imene Ben Hafaiedh, Maroua Ben Slimane |
| 2016 | On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. Assia Outamazirt, Mohamed Escheikh, Djamil Aïssani, Kamel Barkaoui, Ouiza Lekadir |
| 2016 | Performance Evaluation of Complex Systems Using the SBIP Framework. Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2016 | Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi. Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Aïssani |
| 2016 | Petri Net Synthesis from Labelled Transition Systems and from Languages. Éric Badouel |
| 2016 | Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, VECoS 2016, Tunis, Tunisia, October 6-7, 2016. Mohamed Ghazel, Mohamed Jmaiel |
| 2016 | Relative Correctness: A Bridge Between Proving and Testing. Wided Ghardallou, Ali Mili, Nafi Diallo |
| 2016 | Specifying Weak Memory Consistency with Temporal Logic. Maximilian Senftleben, Klaus Schneider |
| 2016 | Statistical Model Checking of CSMA/CA in WSNs. Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane |
| 2016 | Towards correct Evolution of Conversation Protocols. Sarah Benyagoub, Meriem Ouederni, Yamine Aït Ameur |
| 2016 | Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. Abderraouf Boussif, Mohamed Ghazel |
| 2016 | ePassport Protocol on the Spi Calculus. Safa Saoudi, Souheib Yousfi, Riadh Robbana |