| 2017 | Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover Adaptation. | Hana Jouini, Mohamed Escheikh, Kamel Barkaoui, Tahar Ezzedine |
| 2017 | Application of Generalized Stochastic Petri Nets to Performance Modeling of the RF Communication in Sensor Networks. | Sedda Hakmi, Ouiza Lekadir, Djamil Assani |
| 2017 | TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
| 2017 | An Experimental Comparison of Two Approaches for Diagnosability Analysis of Discrete Event Systems - A Railway Case-Study. | Abderraouf Boussif, Mohamed Ghazel |
| 2017 | Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot. | Muhammad Saad Ayub, Osman Hasan |
| 2017 | A Toolset for Mobile Systems Testing. | Pierre Andr, Nicolas Rivire, Hlne Waeselynck |
| 2017 | Analyzing Distributed Pi-Calculus Systems by Using the Rewriting Engine Maude. | Bogdan Aman, Gabriel Ciobanu |
| 2016 | Performance Study of Frame Aggregation Mechanisms in the New Generation WiFi. | Mohand Yazid, Louiza Bouallouche-Medjkoune, Djamil Assani |
| 2016 | Dynamic Feasibility Windows Reconfiguration For a Failure-Tolerant PFair Scheduling. | Yves Mouafo Tchinda, Annie Geniet-Choquet, Galle Largeteau-Skapin |
| 2016 | Specifying Weak Memory Consistency with Temporal Logic. | Maximilian Senftleben, Klaus Schneider |
| 2016 | ePassport Protocol on the Spi Calculus. | Safa Saoudi, Souheib Yousfi, Riadh Robbana |
| 2016 | On the Modeling and Performance Evaluation of Cloud Computing Centers Using M/G/c/c+r Queuing System. | Assia Outamazirt, Mohamed Escheikh, Djamil Assani, Kamel Barkaoui, Ouiza Lekadir |
| 2016 | Performance Evaluation of Complex Systems Using the SBIP Framework. | Ayoub Nouri, Marius Bozga, Axel Legay, Saddek Bensalem |
| 2016 | A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures. | Afef Jmal Malej, Moez Krichen |
| 2016 | Statistical Model Checking of CSMA/CA in WSNs. | Zohra Hmidi, Laid Kahloul, Saber Benharzallah, Cherifa Othmane |
| 2016 | Exact and Approximate Diagnosis of Probabilistic Systems. | Serge Haddad |
| 2016 | Relative Correctness: A Bridge Between Proving and Testing. | Wided Ghardallou, Ali Mili, Nafi Diallo |
| 2016 | Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application. | Maissa Elleuch, Osman Hasan, Sofine Tahar, Mohamed Abid |
| 2016 | Using Model-Checking Techniques for Diagnosability Analysis of Intermittent Faults - A Railway Case Study. | Abderraouf Boussif, Mohamed Ghazel |
| 2016 | Towards correct Evolution of Conversation Protocols. | Sarah Benyagoub, Meriem Ouederni, Yamine At Ameur |
| 2016 | Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. | Imene Ben Hafaiedh, Maroua Ben Slimane |
| 2016 | Petri Net Synthesis from Labelled Transition Systems and from Languages. | ric Badouel |
| 2015 | Model-Based Verification of the DMAMAC Protocol for Real-time Process Control. | Admar Ajith Kumar Somappa, Andreas Prinz, Lars Michael Kristensen |
| 2015 | On quantitative Analysis of Time Open Workflow Nets and Parametric Extension. | Zohra Sba, Kamel Barkaoui |
| 2015 | State Space Reduction Strategie for Model Checking Concurrent C Programs. | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |