Imene Ben Hafaiedh

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 15

Top Venues

VECoS

Simul. Model. Pract. Theory

AICCSA

Int. J. Crit. Comput. Based Syst.

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Imene Ben Hafaiedh, Afef Gafsi, Mohamed Yassine Yahyaoui, Yasmine Aouinette
A model-based approach for formal verification and performance evaluation of energy harvesting architectures in IoT systems: A case study of a long-term healthcare application. Simul. Model. Pract. Theory 136 (2024)
Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS (2023)
Imene Ben Hafaiedh
Formal models for the verification, performance evaluation, and comparison of IoT communication protocols. NCA (2022)
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)
Roua Ben Hamouda, Imene Ben Hafaiedh, Riadh Robbana
Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds. Simul. Model. Pract. Theory 111 (2021)
Imene Ben Hafaiedh, Roua Ben Hamouda, Riadh Robbana
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment. Clust. Comput. 24 (4) (2021)
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
A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment. J. Parallel Distributed Comput. 132 (2019)
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)
Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. VECoS (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)
Raoua Ben Hamouda, Imene Ben Hafaiedh
Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol. IINTEC (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)
Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz
Distributed Implementation of Systems with Multiparty Interactions and Priorities. SEFM (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. 80 (3-5) (2011)
Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber
Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS (2011)
Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
Reasoning about Safety and Progress Using Contracts. ICFEM (2010)
Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah
Implementing Distributed Controllers for Systems with Priorities FOCLASA (2010)
Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli
Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 26 (3) (2009)

Imene Ben Hafaiedh.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Imene Ben Hafaiedh