Maroua Ben Slimane

Publication Activity (10 Years)

Years Active: 2016-2022
Publications (10 Years): 7

Top Topics

Autonomous Systems

Failure Detection

Top Venues

Int. J. Crit. Comput. Based Syst.

Publications

Imene Ben Hafaiedh, Maroua Ben Slimane
A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery. J. Supercomput. 78 (17) (2022)
Imene Ben Hafaiedh, Maroua Ben Slimane
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems. IEEE Access 8 (2020)
Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
A formal model for the analysis and verification of a pre-emptive round-robin arbiter. Int. J. Crit. Comput. Based Syst. 8 (2) (2018)
Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana
Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. IEEE Des. Test 34 (5) (2017)
Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana
Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. AICCSA (2017)
Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. ICA3PP (2016)
Imene Ben Hafaiedh, Maroua Ben Slimane
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. VECoS (2016)