Imene Ben Hafaiedh

30 papers B 2C 8Journal 14Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A model-based approach for guided parameter exploration in machine learning classifiers. Knowl. Inf. Syst. Syrine Ben Ahmed, Amani Elaoud, Imene Ben Hafaiedh
2026	—	`conf`	Don't Compose Blindly: Adaptive GNNs for Opacity Verification in Modular Discrete-Event Systems. ICAART (5) Salwa Habbachi, Imene Ben Hafaiedh, ZhiWu Li
2026	—	`conf`	How Can We Effectively Identify Optimal Hyperparameters to Improve Model Reliability in Medical Applications? ICAART (2) Syrine Ben Ahmed, Amani Elaoud, Imene Ben Hafaiedh
2026	J	`jnl`	Language-based opacity in modular discrete event systems: Compositional secret-based verification using labeled petri nets. Inf. Sci. Salwa Habbachi, Imene Ben Hafaiedh, Zhi-Wu Li
2025	J	`jnl`	A model-checking based approach to verify data and energy integrated networks (DEINs): toward the formal verification of 6G networks. J. Reliab. Intell. Environ. Ilyes Rezgui, Afef Gafsi, Imene Ben Hafaiedh, Yassine Gana
2024	C	`conf`	A High Parallelization Method for Automated Formal Verification of Deep Neural Networks. VECoS Imene Ben Hafaiedh, Amira Chouchane, Amani Elaoud, Linda Lamouchi, Mohamed Ghazel
2024	J	`jnl`	A formal model-based approach to design failure-aware Internet of Things architectures. J. Reliab. Intell. Environ. Imene Ben Hafaiedh, Amani Elaoud, Asma Maddouri
2024	J	`jnl`	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 Imene Ben Hafaiedh, Afef Gafsi, Mohamed Yassine Yahyaoui, Yasmine Aouinette
2024	C	`conf`	Model-Based SVM Parameter Selection Approach for Multi-View Fall Detection. AICCSA Syrine Ben Ahmed, Amani Elaoud, Imene Ben Hafaiedh, Rabah Attia
2023	C	`conf`	On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation. VECoS Salwa Habbachi, Imene Ben Hafaiedh, ZhiWu Li, Moez Krichen
2022	J	`jnl`	A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery. J. Supercomput. Imene Ben Hafaiedh, Maroua Ben Slimane
2022	B	`conf`	Formal models for the verification, performance evaluation, and comparison of IoT communication protocols. NCA Imene Ben Hafaiedh
2021	J	`jnl`	A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment. Clust. Comput. Imene Ben Hafaiedh, Roua Ben Hamouda, Riadh Robbana
2021	J	`jnl`	Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds. Simul. Model. Pract. Theory Roua Ben Hamouda, Imene Ben Hafaiedh, Riadh Robbana
2020	J	`jnl`	A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems. IEEE Access Imene Ben Hafaiedh, Maroua Ben Slimane
2019	J	`jnl`	A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment. J. Parallel Distributed Comput. Imene Ben Hafaiedh
2018	J	`jnl`	A formal model for the analysis and verification of a pre-emptive round-robin arbiter. Int. J. Crit. Comput. Based Syst. Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
2018	C	`conf`	Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments. VECoS Roua Ben Hamouda, Sabrine Boussema, Imene Ben Hafaiedh, Riadh Robbana
2017	C	`conf`	Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments. AICCSA Imene Ben Hafaiedh, Maroua Ben Slimane, Sourour Haouala, Riadh Robbana
2017	—	`conf`	Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol. IINTEC Raoua Ben Hamouda, Imene Ben Hafaiedh
2017	J	`jnl`	Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin. IEEE Des. Test Maroua Ben Slimane, Imene Ben Hafaiedh, Riadh Robbana
2016	C	`conf`	A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture. ICA3PP Imene Ben Hafaiedh, Maroua Ben Slimane, Riadh Robbana
2016	C	`conf`	Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture. VECoS Imene Ben Hafaiedh, Maroua Ben Slimane
2011	J	`jnl`	Building Distributed Controllers for Systems with Priorities. J. Log. Algebraic Methods Program. Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2011	—	`—`	Component-based systems : from design to implementation. (Systèmes à base de composants : du design à l'implémentation). Imene Ben Hafaiedh
2011	B	`conf`	Distributed Implementation of Systems with Multiparty Interactions and Priorities. SEFM Imene Ben Hafaiedh, Susanne Graf, Nejla Mazouz
2011	—	`conf`	Model-based design and distributed implementation of bus arbiter for multiprocessors. ICECS Imene Ben Hafaiedh, Susanne Graf, Mohamad Jaber
2010	—	`conf`	Implementing Distributed Controllers for Systems with Priorities FOCLASA Imene Ben Hafaiedh, Susanne Graf, Hammadi Khairallah
2010	C	`conf`	Reasoning about Safety and Progress Using Contracts. ICFEM Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton
2009	J	`jnl`	Metamodels in Europe: Languages, Tools, and Applications. IEEE Des. Test Comput. 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