Imene Ben Hafaiedh
According to our database1, Imene Ben Hafaiedh authored at least 14 papers between 2009 and 2019.
Legend:Book In proceedings Article PhD thesis Other
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.
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