Lazhar Hamel

40 papers A 2B 8C 4Journal 13Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems.
Computing
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2025 B conf
Compliance Verification of 5G Service Level Agreements using Event-B.
NCA
Riham Badra, Lazhar Hamel, Layth Sliman, Ralp Bou Nader
2025 B conf
Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks.
WiMob
Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2025 J jnl
Ensuring the Correctness and Reliability of CBPS System Using Event-B.
Softw. Test. Verification Reliab.
Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet
2025 J jnl
On Guaranteeing Trustworthiness and Better Outcomes in Internet of Things Environments.
Concurr. Comput. Pract. Exp.
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2025 J jnl
Secure and scalable IoT healthcare with a permissioned blockchain and encryption techniques.
Computing
Arije Yahyaoui, Sonia Kotel, Lazhar Hamel, Aida Lahouij, Raouda Maraoui Kamoun
2024 B conf
A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications.
CCGrid
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek
2024 — conf
A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain.
WISE (3)
Arije Yahyaoui, Sonia Kotel, Fatma Sbiaa, Lazhar Hamel, Aida Lahouij, Raouda Maraoui Kamoun
2024 — conf
An Event-B Based Approach for Horizontally Scalable IoT Applications.
ICSOC (1)
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2024 — conf
Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks.
ACIIDS (Companion 1)
Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2024 J jnl
Formal verification for security and attacks in IoT physical layer.
J. Reliab. Intell. Environ.
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares
2024 J jnl
Service to service communication based on CBPS system: refinement and verification.
Soft Comput.
Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2024 C conf
Towards a Model for Energy-Efficient and Flexible IoT Systems.
VECoS
Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet
2023 B conf
A Blockchain-based approach for secure IoT.
KES
Sonia Kotel, Fatma Sbiaa, Raouda Maraoui Kamoun, Lazhar Hamel
2023 C conf
A Correct by Construction Model for CBPS Systems Verification.
ISCC
Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet
2023 J jnl
Formal modelling and verification of scalable service composition in IoT environment.
Serv. Oriented Comput. Appl.
Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet, Samir Ouchani
2023 J jnl
Formal reconfiguration model for cloud resources.
Softw. Syst. Model.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2023 C conf
Refinement and Verification for IoT Service Composition.
ISCC
Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet
2022 — conf
A Formal Verification Model for IoT Based Applications Using Event-B.
ICCCI (CCIS Volume)
Rihab Omri, Zinah Hussein Toman, Lazhar Hamel
2022 J jnl
An Event-B model for dynamically managing cloud resources.
Innov. Syst. Softw. Eng.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022 J jnl
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications.
Comput. J.
Amel Mammar, Lazhar Hamel, Mohamed Graiet
2022 J jnl
An optimization approach for cloud composite services.
J. Supercomput.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2022 B conf
Correct-by-Construction Approach for Formal Verification of IoT Architecture.
KES
Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet
2022 — conf
UML Profile for IoT-Based Applications.
ICCCI (CCIS Volume)
Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel
2020 J jnl
An Event-B based approach for cloud composite services verification.
Formal Aspects Comput.
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Béchir el Ayeb
2020 B conf
Dynamic Reconfiguration of Cloud Composite Services Using Event-B.
ICSR
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2018 — conf
A Formal Approach for Cloud Composite Services Verification.
SOCA
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki
2018 — conf
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.
OTM Conferences (1)
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2017 J jnl
A verification and deployment approach for elastic component-based applications.
Formal Aspects Comput.
Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata
2016 — conf
A Global SLA-Aware Approach for Aggregating Services in the Cloud.
OTM Conferences
Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
2015 — conf
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.
SCC
Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel
2015 A conf
Formal Behavioral Modeling for Verifying SCA Composition with Event-B.
ICWS
Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech
2015 C conf
Formal Modeling for Verifying SCA Dynamic Composition with Event-B.
WETICE
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2015 B conf
Formal modeling for verifying SCA composition.
RCIS
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech
2013 A conf
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.
ICWS
Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
2013 — conf
Formal Verification of SCA Assembly Model with Event-B.
SKG
Aida Lahouij, Lazhar Hamel, Mohamed Graiet
2012 — conf
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.
Business Process Management Workshops
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri
2012 — conf
Event-B Formalisation of Web Services for Dynamic Composition.
SKG
Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2011 B conf
Verifying Composite Service Transactional Behavior with EVENT-B.
ECSA
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011 — conf
Verifying Composite Service Transactional Behavior with EVENT-B.
SKG
Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul