Imene Ben Hafaiedh
Orcid: 0000-0001-7941-158X
According to our database1,
Imene Ben Hafaiedh
authored at least 23 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A formal model-based approach to design failure-aware Internet of Things architectures.
J. Reliab. Intell. Environ., December, 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.
Simul. Model. Pract. Theory, 2024
2023
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023
2022
A distributed formal-based model for self-healing behaviors in autonomous systems: from failure detection to self-recovery.
J. Supercomput., 2022
Formal models for the verification, performance evaluation, and comparison of IoT communication protocols.
Proceedings of the 21st IEEE International Symposium on Network Computing and Applications, 2022
2021
Modelling and verification of reconfigurable fault-tolerant and self-recovering systems in hybrid Clouds.
Simul. Model. Pract. Theory, 2021
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment.
Clust. Comput., 2021
2020
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems.
IEEE Access, 2020
2019
A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment.
J. Parallel Distributed Comput., 2019
2018
A formal model for the analysis and verification of a pre-emptive round-robin arbiter.
Int. J. Crit. Comput. Based Syst., 2018
Performance Evaluation of Dynamic Load Balancing Protocols Based on Formal Models in Cloud Environments.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018
2017
Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin.
IEEE Des. Test, 2017
Formal modeling and verification of a wireless body area network (WBAN) protocol: S-TDMA protocol.
Proceedings of the International Conference on Internet of Things, 2017
Formal Distributed Model for the Verification of Job-Scheduling in Cloud Environments.
Proceedings of the 14th IEEE/ACS International Conference on Computer Systems and Applications, 2017
2016
Model-based Design and Formal Analysis of Arbitration Protocols on Multiple-Bus Architecture.
Proceedings of the 10th Workshop on Verification and Evaluation of Computer and Communication System, 2016
A Distributed Formal Model for the Analysis and Verification of Arbitration Protocols on MPSoCs Architecture.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2016
2011
Component-based systems : from design to implementation. (Systèmes à base de composants : du design à l'implémentation).
PhD thesis, 2011
J. Log. Algebraic Methods Program., 2011
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011
Model-based design and distributed implementation of bus arbiter for multiprocessors.
Proceedings of the 18th IEEE International Conference on Electronics, Circuits and Systems, 2011
2010
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
2009
IEEE Des. Test Comput., 2009