Roua Ben Hamouda

According to our database, Roua Ben Hamouda authored at least 4 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

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

2018

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments.

Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

2017

Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol.

Raoua Ben Hamouda, Imene Ben Hafaiedh

Proceedings of the International Conference on Internet of Things, 2017