Formal Verification of SCA Assembly Model with Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (SKG, 2013)

Formal Behavioral Modeling for Verifying SCA Composition with Event-B. - Mohamed Graiet; Aida Lahouij; Imed Abbassi; Lazhar Hamel; Mourad Kmimech (ICWS, 2015)

Formal Modeling for Verifying SCA Dynamic Composition with Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (WETICE, 2015)

A Global SLA-Aware Approach for Aggregating Services in the Cloud. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Abir Elkhalfa; Walid Gaaloul (OTM Conferences, 2016)

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (OTM Conferences (1), 2018)

A Formal Approach for Cloud Composite Services Verification. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Mohammed El Malki (SOCA, 2018)

Dynamic Reconfiguration of Cloud Composite Services Using Event-B. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (ICSR, 2020)

An Event-B based approach for cloud composite services verification. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Béchir el Ayeb (Formal Aspects Comput., 2020)

An Event-B model for dynamically managing cloud resources. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (Innov. Syst. Softw. Eng., 2022)

An optimization approach for cloud composite services. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (J. Supercomput., 2022)

A Correct by Construction Model for CBPS Systems Verification. - Sarah Hussein Toman; Aida Lahouij; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (ISCC, 2023)

Formal reconfiguration model for cloud resources. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet (Softw. Syst. Model., 2023)

A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain. - Arije Yahyaoui; Sonia Kotel; Fatma Sbiaa; Lazhar Hamel; Aida Lahouij; Raouda Maraoui Kamoun (WISE (3), 2024)

Service to service communication based on CBPS system: refinement and verification. - Sarah Hussein Toman; Aida Lahouij; Sonia Kotel; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet (Soft Comput., 2024)

Ensuring the Correctness and Reliability of CBPS System Using Event-B. - Sarah Hussein Toman; Lazhar Hamel; Aida Lahouij; Zinah Hussein Toman; Mohamed Graiet (Softw. Test. Verification Reliab., 2025)

Secure and scalable IoT healthcare with a permissioned blockchain and encryption techniques. - Arije Yahyaoui; Sonia Kotel; Lazhar Hamel; Aida Lahouij; Raouda Maraoui Kamoun (Computing, 2025)