Lazhar Hamel

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 18

Top Topics

Formal Verification

Composite Services

Top Venues

Formal Aspects Comput.

ICCCI (CCIS Volume)

Publications

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
Formal verification for security and attacks in IoT physical layer. J. Reliab. Intell. Environ. 10 (1) (2024)
Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
Refinement and Verification for IoT Service Composition. ISCC (2023)
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
A Correct by Construction Model for CBPS Systems Verification. ISCC (2023)
Sonia Kotel, Fatma Sbiaa, Raouda Maraoui Kamoun, Lazhar Hamel
A Blockchain-based approach for secure IoT. KES (2023)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal reconfiguration model for cloud resources. Softw. Syst. Model. 22 (1) (2023)
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. 17 (3) (2023)
Amel Mammar, Lazhar Hamel, Mohamed Graiet
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J. 65 (10) (2022)
Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel
UML Profile for IoT-Based Applications. ICCCI (CCIS Volume) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An Event-B model for dynamically managing cloud resources. Innov. Syst. Softw. Eng. 18 (1) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
An optimization approach for cloud composite services. J. Supercomput. 78 (3) (2022)
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES (2022)
Rihab Omri, Zinah Hussein Toman, Lazhar Hamel
A Formal Verification Model for IoT Based Applications Using Event-B. ICCCI (CCIS Volume) (2022)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
An Event-B based approach for cloud composite services verification. Formal Aspects Comput. 32 (4-6) (2020)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR (2020)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
A Formal Approach for Cloud Composite Services Verification. SOCA (2018)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. OTM Conferences (1) (2018)
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata
A verification and deployment approach for elastic component-based applications. Formal Aspects Comput. 29 (6) (2017)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences (2016)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE (2015)
Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC (2015)
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS (2015)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech
Formal modeling for verifying SCA composition. RCIS (2015)
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS (2013)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
Formal Verification of SCA Assembly Model with Event-B. SKG (2013)
Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
Event-B Formalisation of Web Services for Dynamic Composition. SKG (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops (2012)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA (2011)
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. SKG (2011)