Verifying Composite Service Transactional Behavior with EVENT-B. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (ECSA, 2011)

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri (Business Process Management Workshops, 2012)

Event-B Formalisation of Web Services for Dynamic Composition. - Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (SKG, 2012)

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. - Mohamed Graiet; Imed Abbassi; Lazhar Hamel; Mohamed Tahar Bhiri; Mourad Kmimech; Walid Gaaloul (ICWS, 2013)

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

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. - Mohamed Graiet; Imed Abbassi; Raoudha Maraoui; Sindyana Jlassi; Lazhar Hamel (SCC, 2015)

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 composition. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech (RCIS, 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)

A verification and deployment approach for elastic component-based applications. - Mohamed Graiet; Lazhar Hamel; Amel Mammar; Samir Tata (Formal Aspects Comput., 2017)

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)

UML Profile for IoT-Based Applications. - Malek Ltaief; Sarah Hussein Toman; Lazhar Hamel (ICCCI (CCIS Volume), 2022)

A Formal Verification Model for IoT Based Applications Using Event-B. - Rihab Omri; Zinah Hussein Toman; Lazhar Hamel (ICCCI (CCIS Volume), 2022)

Correct-by-Construction Approach for Formal Verification of IoT Architecture. - Zinah Hussein Toman; Lazhar Hamel; Sarah Hussein Toman; Mohamed Graiet (KES, 2022)

An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. - Amel Mammar; Lazhar Hamel; Mohamed Graiet (Comput. J., 2022)

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)

Refinement and Verification for IoT Service Composition. - Sarah Hussein Toman; Lazhar Hamel; Mohamed Graiet (ISCC, 2023)

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

A Blockchain-based approach for secure IoT. - Sonia Kotel; Fatma Sbiaa; Raouda Maraoui Kamoun; Lazhar Hamel (KES, 2023)

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

Formal modelling and verification of scalable service composition in IoT environment. - Sarah Hussein Toman; Lazhar Hamel; Zinah Hussein Toman; Mohamed Graiet; Samir Ouchani (Serv. Oriented Comput. Appl., 2023)

Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. - Ikbel Haouas; Mouna Attia; Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (ACIIDS (Companion 1), 2024)

A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet; Daniel Balouek (CCGrid, 2024)

An Event-B Based Approach for Horizontally Scalable IoT Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (ICSOC (1), 2024)

Towards a Model for Energy-Efficient and Flexible IoT Systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (VECoS, 2024)

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)

Formal verification for security and attacks in IoT physical layer. - Zinah Hussein Toman; Lazhar Hamel; Sarah Hussein Toman; Mohamed Graiet; Dalton Cézane Gomes Valadares (J. Reliab. Intell. Environ., 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)

A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (Computing, 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)