| 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 | 48 | 2009 |
| 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 | 24 | 2011 |
| Reasoning about safety and progress using contracts I Ben-Hafaiedh, S Graf, S Quinton Formal Methods and Software Engineering: 12th International Conference on …, 2010 | 21 | 2010 |
| 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 | 12 | 2017 |
| 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 | 10 | 2009 |
| 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 | 6 | 2021 |
| 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 | 5 | 2019 |
| 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 | 4 | 2018 |
| 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 | 4 | 2011 |
| 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 | 3 | 2020 |
| 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 | 3 | 2020 |
| 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 | 3 | 2017 |
| Implementing distributed controllers for systems with priorities I Ben-Hafaiedh, S Graf, H Khairallah arXiv preprint arXiv:1007.5090, 2010 | 3 | 2010 |
| A contract framework for reasoning about safety and progress I Ben-Hafaiedh, S Graf, S Quinton Technical Report TR-2010-11, Verimag, 2010 | 3 | 2010 |
| 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 | 2 | 2022 |
| 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 | 2 | 2017 |
| 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 | 2 | 2011 |
| 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 | 1 | 2021 |
| 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 | 1 | 2018 |
| 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 | 1 | 2016 |
