| 2026 | ICAART | How Can We Effectively Identify Optimal Hyperparameters to Improve Model Reliability in Medical Applications? | Syrine Ben Ahmed, Amani Elaoud, Imene Ben Hafaiedh |
| 2026 | ICAART | Don't Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event Systems. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li |
| 2024 | AICCSA | Model-Based SVM Parameter Selection Approach for Multi-View Fall Detection. | Syrine Ben Ahmed, Amani Elaoud, Imene Ben Hafaiedh, Rabah Attia |
| 2024 | VECoS | A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. | Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel |
| 2023 | VECoS | On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. | Salwa Habbachi, Imene Ben Hafaiedh, Zhiwu Li, Moez Krichen |
| 2022 | NCA | Formal models for the verification, performance evaluation, and comparison of IoT communication protocols. | Imene Ben Hafaiedh |
| 2018 | VECoS | Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. | Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana |
| 2017 | AICCSA | Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. | Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana |
| 2016 | ICA3PP | A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. | Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana |
| 2016 | VECoS | Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. | Imene Ben Hafaiedh, Maroua Ben Slimane |
| 2011 | SEFM | Distributed Implementation of Systems with Multiparty Interactions and Priorities. | Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz |
| 2010 | ICFEM | Reasoning about Safety and Progress Using Contracts. | Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton |