Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol. - Raoua Ben Hamouda; Imene Ben Hafaiedh (IINTEC, 2017)

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. - Roua Ben Hamouda; Sabrine Boussema; Imene Ben Hafaiedh; Riadh Robbana (VECoS, 2018)

A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment. - Imene Ben Hafaiedh; Roua Ben Hamouda; Riadh Robbana (Clust. Comput., 2021)

Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds. - Roua Ben Hamouda; Imene Ben Hafaiedh; Riadh Robbana (Simul. Model. Pract. Theory, 2021)