A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. - Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana (ICA3PP, 2016)

Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. - Imene Ben Hafaiedh; Maroua Ben Slimane (VECoS, 2016)

Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. - Imene Ben Hafaiedh; Maroua Ben Slimane; Sourour Haouala; Riadh Robbana (AICCSA, 2017)

Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. - Maroua Ben Slimane; Imene Ben Hafaiedh; Riadh Robbana (IEEE Des. Test, 2017)

A formal model for the analysis and verification of a pre-emptive round-robin arbiter. - Imene Ben Hafaiedh; Maroua Ben Slimane; Riadh Robbana (Int. J. Crit. Comput. Based Syst., 2018)

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems. - Imene Ben Hafaiedh; Maroua Ben Slimane (IEEE Access, 2020)

A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery. - Imene Ben Hafaiedh; Maroua Ben Slimane (J. Supercomput., 2022)