Metamodels in Europe: Languages, Tools, and Applications. - 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; et al. (IEEE Des. Test Comput., 2009)

Reasoning about Safety and Progress Using Contracts. - Imene Ben Hafaiedh; Susanne Graf; Sophie Quinton (ICFEM, 2010)

Implementing Distributed Controllers for Systems with Priorities - Imene Ben Hafaiedh; Susanne Graf; Hammadi Khairallah (FOCLASA, 2010)

Model-based design and distributed implementation of bus arbiter for multiprocessors. - Imene Ben Hafaiedh; Susanne Graf; Mohamad Jaber 001 (ICECS, 2011)

Distributed Implementation of Systems with Multiparty Interactions and Priorities. - Imene Ben Hafaiedh; Susanne Graf; Nejla Mazouz (SEFM, 2011)

Building Distributed Controllers for Systems with Priorities. - Imene Ben Hafaiedh; Susanne Graf; Sophie Quinton (J. Log. Algebraic Methods Program., 2011)

Component-based systems : from design to implementation. (Systèmes à base de composants : du design à l'implémentation). - Imene Ben Hafaiedh (2011)

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 modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol. - Raoua Ben Hamouda; Imene Ben Hafaiedh (IINTEC, 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)

Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. - Roua Ben Hamouda; Sabrine Boussema; Imene Ben Hafaiedh; Riadh Robbana (VECoS, 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)

A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment. - Imene Ben Hafaiedh (J. Parallel Distributed Comput., 2019)

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 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)

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)

Formal models for the verification, performance evaluation, and comparison of IoT communication protocols. - Imene Ben Hafaiedh (NCA, 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)

On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. - Salwa Habbachi; Imene Ben Hafaiedh; Zhiwu Li 001; Moez Krichen (VECoS, 2023)

Model-Based SVM Parameter Selection Approach for Multi-View Fall Detection. - Syrine Ben Ahmed; Amani Elaoud; Imene Ben Hafaiedh; Rabah Attia (AICCSA, 2024)

A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. - Imene Ben Hafaiedh; Amira Chouchane; Amani Elaoud; Linda Lamouchi; Mohamed Ghazel (VECoS, 2024)

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. - Imene Ben Hafaiedh; Afef Gafsi; Mohamed Yassine Yahyaoui; Yasmine Aouinette (Simul. Model. Pract. Theory, 2024)

A formal model-based approach to design failure-aware Internet of Things architectures. - Imene Ben Hafaiedh; Amani Elaoud; Asma Maddouri (J. Reliab. Intell. Environ., 2024)