Follow
Imene Ben Hafaiedh
Imene Ben Hafaiedh
University of Tunis El Manar
Verified email at isi.utm.tn - Homepage
Title
Cited by
Cited by
Year
Metamodels in Europe: Languages, tools, and applications
R Passerone, IB Hafaiedh, S Graf, A Benveniste, D Cancila, A Cuccuru, ...
IEEE Design & Test of Computers 26 (3), 38-53, 2009
482009
Building distributed controllers for systems with priorities
I Ben-Hafaiedh, S Graf, S Quinton
The Journal of Logic and Algebraic Programming 80 (3-5), 194-218, 2011
242011
Reasoning about safety and progress using contracts
I Ben-Hafaiedh, S Graf, S Quinton
Formal Methods and Software Engineering: 12th International Conference on …, 2010
212010
Formal-based design and verification of SoC arbitration protocols: A comparative analysis of TDMA and round-robin
MB Slimane, IB Hafaiedh, R Robbana
IEEE Design & Test 34 (5), 54-62, 2017
122017
From orchestration to choreography: Memoryless and distributed orchestrators
S Quinton, I Ben-Hafaiedh, S Graf
FLACOS’09 Third Workshop on Formal Languages and Analysis of Contract …, 2009
102009
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment
I Ben Hafaiedh, R Ben Hamouda, R Robbana
Cluster Computing 24 (4), 2977-2994, 2021
62021
A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment
IB Hafaiedh
Journal of Parallel and Distributed Computing 132, 331-343, 2019
52019
Performance evaluation of dynamic load balancing protocols based on formal models in cloud environments
R Ben Hamouda, S Boussema, I Ben Hafaiedh, R Robbana
Verification and Evaluation of Computer and Communication Systems: 12th …, 2018
42018
Model-based design and distributed implementation of bus arbiter for multiprocessors
I Ben-Hafaiedh, S Graf, M Jaber
2011 18th IEEE International Conference on Electronics, Circuits, and …, 2011
42011
A parameterized formal model for the analysis of preemption-threshold scheduling in real-time systems
IB Hafaiedh, MB Slimane
IEEE Access 8, 58180-58193, 2020
32020
Formal-based modeling and analysis of a network communication protocol for IoT: MQTT protocol
J Hcine, I Ben Hafaiedh
Proceedings of the 8th International Conference on Sciences of Electronics …, 2020
32020
Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol
RB Hamouda, IB Hafaiedh
2017 International Conference on Internet of Things, Embedded Systems and …, 2017
32017
Implementing distributed controllers for systems with priorities
I Ben-Hafaiedh, S Graf, H Khairallah
arXiv preprint arXiv:1007.5090, 2010
32010
A contract framework for reasoning about safety and progress
I Ben-Hafaiedh, S Graf, S Quinton
Technical Report TR-2010-11, Verimag, 2010
32010
A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery
IB Hafaiedh, MB Slimane
The Journal of Supercomputing 78 (17), 18725-18753, 2022
22022
Formal distributed model for the verification of job-scheduling in cloud environments
IB Hafaiedh, MB Slimane, S Haouala, R Robbana
2017 IEEE/ACS 14th International Conference on Computer Systems and …, 2017
22017
Distributed implementation of systems with multiparty interactions and priorities
I Ben-Hafaiedh, S Graf, N Mazouz
Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011
22011
Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds
RB Hamouda, IB Hafaiedh, R Robbana
Simulation Modelling Practice and Theory 111, 102331, 2021
12021
A formal model for the analysis and verification of a pre-emptive round-robin arbiter
IB Hafaiedh, MB Slimane, R Robbana
International Journal of Critical Computer-Based Systems 8 (2), 169-192, 2018
12018
Model-based design and formal analysis of arbitration protocols on multiple-bus architecture
I Ben-Hafaiedh, M BenSlimane
Workshop on Verification and Evaluation of Computer and Communication System …, 2016
12016
The system can't perform the operation now. Try again later.
Articles 1–20