| Energy saving in WSN using monitoring values prediction A JEMAL, M HACHICHA, RBEN HALIMA, A HADJ The 5th International Conference on Ambient Systems, Networks and …, 2014 | 15 | 2014 |
| Formal verification approaches of self-adaptive systems: a survey M Hachicha, RB Halima, AH Kacem Procedia Computer Science 159, 1853-1862, 2019 | 13 | 2019 |
| A correct by construction approach for modeling and formalizing self-adaptive systems M Hachicha, E Dammak, RB Halima, AH Kacem 2016 17th IEEE/ACIS International Conference on Software Engineering …, 2016 | 11 | 2016 |
| Modelling, specifying and verifying self-adaptive systems instantiating MAPE patterns M Hachicha, RB Halima, AH Kacem International Journal of Computer Applications in Technology 57 (1), 28-44, 2018 | 10 | 2018 |
| Modeling and verifying self-adaptive systems: A refinement approach M Hachicha, RB Halima, AH Kacem 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2016 | 8 | 2016 |
| Designing compound MAPE patterns for self-adaptive systems M Hachicha, R Ben Halima, A Hadj Kacem Intelligent Systems Design and Applications: 17th International Conference …, 2018 | 5 | 2018 |
| Translation of UML models for self-adaptive systems into event-B specifications M Hachicha, R Ben Halima, A Hadj Kacem Intelligent Systems Design and Applications: 18th International Conference …, 2020 | 4 | 2020 |
| Formalizing compound MAPE patterns for decentralized control in self-adaptive systems M Hachicha, RB Halima, AH Kacem 2018 12th International Conference on Research Challenges in Information …, 2018 | 4 | 2018 |
| Design and timed verification of self-adaptive systems M Hachicha, RB Halima, AH Kacem 2017 IEEE/ACIS 16th International Conference on Computer and Information …, 2017 | 4 | 2017 |
| Modeling and specifying formally compound MAPE pattern for self-adaptive IoT systems M Hachicha, R Ben Halima, A Hadj Kacem Innovations in Systems and Software Engineering, 1-17, 2022 | 3 | 2022 |
| An Estimation Approach to Optimize Energy Consumption in Wireless Sensor Network: A Health-Care Application M Hachicha, RB Halima, A Jemal Vietnam Journal of Computer Science 9 (04), 369-393, 2022 | 1 | 2022 |
| MAPE-K patterns for self-adaptation in cyber-physical systems R Ben Halima, M Hachicha, A Jemal, A Hadj Kacem The Journal of Supercomputing 79 (5), 4917-4943, 2023 | | 2023 |
| Modeling Autonomic Systems: Review, Classification, and Research Challenges M Hachicha, RB Halima, AH Kacem International Journal of Software Innovation (IJSI) 10 (1), 1-22, 2022 | | 2022 |
| Formal Verification approaches of Self-adaptive Systems: A Survey H Marwa, BH Riadh, HK Ahmed 23rd International Conference on Knowledge-Based and Intelligent Information …, 2019 | | 2019 |
| Vietnam Journal of Computer Science NT Nguyen | | |
Riadh BEN HALIMARedcad, ENIS, University of Sfax, TunisiaVerified email at enis.tn
