Maroua Ben Slimane

According to our database, Maroua Ben Slimane authored at least 7 papers between 2016 and 2022.

Collaborative distances:

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

2022

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

2020

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems.

Imene Ben Hafaiedh, Maroua Ben Slimane

IEEE Access, 2020

2018

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

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

Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.

Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana

Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017

2016

Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture.

Imene Ben Hafaiedh, Maroua Ben Slimane

Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016

A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.

Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana

Proceedings of the Algorithms and Architectures for Parallel Processing, 2016