Lazhar Hamel

According to our database, Lazhar Hamel authored at least 27 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., March, 2024

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., September, 2023

Formal reconfiguration model for cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Softw. Syst. Model., February, 2023

A Blockchain-based approach for secure IoT.

Sonia Kotel, Fatma Sbiaa, Raouda Maraoui Kamoun, Lazhar Hamel

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

A Correct by Construction Model for CBPS Systems Verification.

Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

Refinement and Verification for IoT Service Composition.

Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

An optimization approach for cloud composite services.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

J. Supercomput., 2022

An Event-B model for dynamically managing cloud resources.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Innov. Syst. Softw. Eng., 2022

An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications.

Amel Mammar, Lazhar Hamel, Mohamed Graiet

Comput. J., 2022

Correct-by-Construction Approach for Formal Verification of IoT Architecture.

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 26th International Conference KES-2022, 2022

A Formal Verification Model for IoT Based Applications Using Event-B.

Rihab Omri, Zinah Hussein Toman, Lazhar Hamel

Proceedings of the Advances in Computational Collective Intelligence, 2022

UML Profile for IoT-Based Applications.

Malek Ltaief, Sarah Hussein Toman, Lazhar Hamel

Proceedings of the Advances in Computational Collective Intelligence, 2022

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

Dynamic Reconfiguration of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Reuse in Emerging Software Engineering Practices, 2020

2018

A Formal Approach for Cloud Composite Services Verification.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Mohammed El Malki

Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017

A verification and deployment approach for elastic component-based applications.

Mohamed Graiet, Lazhar Hamel, Amel Mammar, Samir Tata

Formal Aspects Comput., 2017

2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

2015

Formal Modeling for Verifying SCA Dynamic Composition with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal modeling for verifying SCA composition.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech

Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.

Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.

Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Sindyana Jlassi, Lazhar Hamel

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2013

Formal Verification of SCA Assembly Model with Event-B.

Aida Lahouij, Lazhar Hamel, Mohamed Graiet

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.

Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

Event-B Formalisation of Web Services for Dynamic Composition.

Lazhar Hamel, Mohamed Graiet, Walid Gaaloul

Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri

Proceedings of the Business Process Management Workshops, 2012

2011

Verifying Composite Service Transactional Behavior with EVENT-B.

Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011