Imene Ben Hafaiedh

According to our database1, Imene Ben Hafaiedh authored at least 14 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment.
J. Parallel Distrib. Comput., 2019

A formal model for the analysis and verification of a pre-emptive round-robin arbiter.
IJCCBS, 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

Formal-Based Design and Verification of SoC Arbitration Protocols: A Comparative Analysis of TDMA and Round-Robin.
IEEE Design & Test, 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

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

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

Building Distributed Controllers for Systems with Priorities.
J. Log. Algebr. Program., 2011

Distributed Implementation of Systems with Multiparty Interactions and Priorities.
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

Implementing Distributed Controllers for Systems with Priorities
Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

Reasoning about Safety and Progress Using Contracts.
Proceedings of the Formal Methods and Software Engineering, 2010

Metamodels in Europe: Languages, Tools, and Applications.
IEEE Design & Test of Computers, 2009