Riadh
Ben Halima
Ph.D., Habilitation (HDR, 2025) — Assistant Professor, Department of Computer Science & Applied Mathematics.
I work on distributed software that repairs itself: how an application watches its own behaviour, decides something is going wrong, and reconfigures at runtime — without ever going down. My contributions centre on MAPE-K patterns, their formal verification, and their implementation from web services to the cloud, from IoT to blockchain. They now build on AI and data analysis: learning from measurements to predict degradation before it happens, rather than reacting to it.
ENIS — Sfax, Tunisia
The through-line
How does software repair itself without human intervention? By closing a loop: measure, analyse, plan, execute — over a shared knowledge base. Each phase raises its own problems; my work addresses all four.
Research
My work addresses self-adaptation in distributed systems: giving software the means to observe its own state, diagnose degradation and reconfigure at runtime — while guaranteeing that the reconfiguration itself stays correct.
Self-adaptation patterns
Simple and compound MAPE patterns, formalised in Event-B and verified by refinement.
Verification by refinement
UML-to-Event-B translation, timed verification, correctness by construction.
Monitoring & self-healing
Multi-layer complex event processing (CEP4Cloud), reactive monitoring, runtime performance analysis.
Cyber-physical systems
Energy saving through prediction, ontology-driven analysis, MAPE-K for CPS.
Intelligent platforms
Traceability and water-quality prediction for smart aquaculture (PreSA), machine learning.
Software quality
Design patterns, SOLID, clean code, code-quality audits in industrial settings.
Publications
Supervision & Co-Supervision
- Marwa Hachicha — A refinement-based approach to model, specify and verify self-adaptive systems instantiating MAPE patterns. FSEG Sfax, December 2018.
- Ahmed Jemal — Dynamically adaptable middleware for monitoring and analysing sensor-network applications. ENIS, May 2017.
- Afef Mdhaffar — Cross-layer cloud performance monitoring, analysis and recovery. University of Marburg (Germany) & ENIS, December 2014.
Research masters supervised or co-supervised: Henda Ktait, Emna Dammak, Marwa Hachicha, Faten Khemakhem, Emna Mezghani, Salsabil Dhouib, Meriam Mahjoub, Asma Maalej, Emna Fki. 48 engineering final-year projects supervised between 2012 and 2025.
Teaching
At ENIS I teach the design and construction of distributed software, from design patterns to containerised deployment. Courses are built on real industrial cases drawn from my company collaborations.
Design Patterns
GoF, SOLID, guided refactoring, SonarQube.
Distributed Components (Spring Boot)
services, persistence, security, testing.
Distributed Components (Jakarta EE)
EJB, containers, transactions.
Distributed Application Platforms
project-based, integration.
Clean Code (DevOps, Docker, Kubernetes)
Part 2 prepared and presented by student groups (flipped classroom).
Object-Oriented Programming
Fundamentals, since 2002.
Professional training delivered
- Design Patterns — 35h, Oct. 2024 · FCIT New Generation → PLB (France)
- Spring — 35h, Oct. 2023 · FCIT New Generation → Orsys (France)
- Jakarta EE deployment / Apache Tomcat — 14h, Oct. 2023 · FCIT New Generation → DataScientest (France)
- Jakarta EE — 28h, May–June 2023 · FCIT New Generation → DataScientest (France)
Certifications
Positions
Education
Scientific community
Track co-chair (8 editions)
- FISA'2016 · 2018 · 2020 · 2022 — Future Internet Services and Applications, @ IEEE WETICE
- AICCSA'2017 — Cloud, Parallel, Distributed and High Performance Computing
- PROMASC'2010 · 2013 · 2014 — Provisioning and Management of SOA and Cloud Computing
Organising committees
- ICAISE'2025 — The 7th International Conference on Artificial Intelligence and Smart Environments
- ICSOC'2024 — The 22nd International Conference on Service-Oriented Computing
- CRISIS'2019 — The 4th International Conference on Risks and Security of Internet and Systems
- ICTAC'2019 — The 16th International Colloquium on Theoretical Aspects of Computing
- WETICE'2013 — The 22nd IEEE International conference on collaboration Technologies and Infrastructures
Special issue editor
- Concurrency and Computation: Practice and Experience — 2023, vol. 35 no. 11
- International Journal of Cloud Computing — 2015, vol. 4 no. 1
- International Journal of Web Portals — 2013, vol. 5 no. 1
Reviewing — journals
Journal of Systems and Software · Journal of Systems Architecture · Future Generation Computer Systems · Int. J. of Autonomous and Adaptive Communications Systems · Int. J. of Modeling, Simulation and Scientific Computing · Int. J. of Cloud Computing · Concurrency and Computation
Reviewing — conferences (selection)
ICSOC · ECSA · WETICE · AICCSA · WISE · ICAISE · ICICS · PDP · SERA · CAL · METHODICA · IPAC · SCA · OPODIS · NOTERE — 50+ editions since 2008
Projects
- AI2HEI — Erasmus+ CBHE, submitted January 2026. Embedding AI tools and knowledge into higher education (Morocco, Tunisia, France, Kosovo, Greece).
- SPEED — Erasmus+ CBHE, 2024–2027. Regional capacity building on hybrid electric vehicles. Member.
- PEM-MED — PEJC 20PEJC 03-11, 2021–2024. Preventive monitoring platform for the Mediterranean maritime environment. Coordinator.
- SPAAT4FOOD — Erasmus+ CBHE 585729, 2017–2021. Food sciences and technology. Member.
- DAAD — 2013–2015. Fostering the entrepreneurship spirit at Arab universities. Member.
- WS-DIAMOND — European IST project no. 516933, 2007–2009. Self-healing web services. Research engineer, LAAS-CNRS.
Industry collaborations
CHO Group
Migrating olive-oil traceability from IBM Blockchain to Tilkal: architecture analysis, component adaptation, functional continuity.
Spark-it
Software architecture and project management.
Softodo
Clean Code training and code-quality audit.
Sifast
Project management and building a JEE team.
ESPS
Retraining programme in distributed software engineering.
DK Soft
Agreements with ISBS and Sfax Military Hospital: nutrition and medical follow-up application for diabetic patients.
Contact
enis.tnDepartment of Computer Science & Applied Mathematics (DGIMA)
Route de Soukra km 4
3038 Sfax, Tunisia
