Profil Google scholar              DBLP             Profil researchgate              ORCID 

Liste complète

Journaux internationaux 

1. Arije Yahyaoui, Sonia Kotel , Lazhar Hamel, Aida Lahouij , and Raouda Maraoui Kamoun : Secure and Scalable IoT Healthcare with a Permissioned Blockchain and Encryption Techniques. to appear in Computing (SJR : 0.97, Q1). https://doi.org/10.1007/s00607-025-01523-x 

2. Gara Hellal Yassmine, Lazhar Hamel and Mohamed Graiet : On Guaranteeing Trustwothiness and Better Outcomes in the Internet of things Envirenments. To appear in Concurrency and Computation : Practice and Experience (SJR :0.437, Q2). https://doi.org/10.1002/cpe.70286 

3. Sarah Hussein Toman, Lazhar Hamel, Aida Lahouij, Zinah Hussein Toman, Mohamed Graiet : Ensuring the Correctness and Reliability of CBPS System Using Event-B, in Software Testing, Verification and Reliability (SJR : 0.43, Q2). https://doi.org/10.1002/stvr.1904 

4. Gara Hellal Yassmine, Lazhar Hamel and Mohamed Graiet: A Formal Approach for Scalable Applications in Dynamic and Constrained IoT Systems. in Computing (SJR : 0.97, Q1) https://doi.org/10.1007/s00607-024-01358-y 

5. Sarah Hussein Toman, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet : Service to service communication based on CBPS system: refinement and verification. in Soft Computing (SJR : 0.81, Q2). https://doi.org/10.1007/s00500-024-09902-w 

6. Sarah Hussein Toman, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet : Formal Modeling and Verification of Scalable Service Composition in IoT environment. Service Oriented Computing and Applications  (SJR : 0.44, Q2). https://doi.org/10.1007/s11761-023-00363-x 

7. 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. Journal of Reliable Intelligent Environments, 2023; (SJR : 0.71, Q2). https://doi.org/10.1007/s40860-023-00202-y 

8. Aida Lahouij, Lazhar Hamel, Mohamed Graiet : Formal Reconfiguration Model for Cloud Resources. Software and Systems Modeling, 2022. (SJR : 0.83, Q1) https://doi.org/10.1007/s10270-022-00990-6 

9. Aida Lahouij, Lazhar Hamel, Mohamed Graiet : An Event-B model for dynamically managing cloud resources. Innovations in Systems and Software Engineering , 18(1): 85-104 (2022).(SJR : 0.38, Q3)https://doi.org/10.1007/s11334-021-00419-1 

10. Amel Mammar, Lazhar Hamel, Mohamed Graiet : An Event-B Based Approach to Model and Verify Behaviours for Component-Based Applications. The Computer journal. 2021; (SJR : 0.56, Q2) https://doi.org/10.1093/comjnl/bxab115 

11. Aida Lahouij, Lazhar Hamel, Mohamed Graiet : An optimization approach for cloud composite services. The Supercomputing journal, 78(3): 3621-3645 (2022). (SJR : 0.73, Q2)https://doi.org/10.1007/s11227-021-03995-y 

12. Aida Lahouij, Lazhar Hamel, Mohamed Graiet et Béchir Ayeb : An Event-B Based Approach for Cloud Composite Services Verification. Formal Asp. Comput. 2020 (SJR : 0.51, Q3)https://doi.org/10.1007/s00165-020-00517-0 

13. Mohamed Graiet, Lazhar Hamel, Amel Mammar et Samir Tata : A Verification and Deployment Approach for Elastic Component-based Applications. Formal Asp. Comput. 29(6) : 987-1011 (2017) (IF : 0.784, SJR : 0.43, Q2)https://doi.org/10.1007/s00165-017-0425-3 

14. Imed Abbassi, Mohamed Graiet, Lazhar Hamel et Zied Joua, "An Event-B Driven Approach for Ensuring Reliable and Flexible Services Composition", International Journal of Services Computing (IJSC), 2(1), 2014, pp. 45-57.

15. Mohamed Graiet, Lazhar Hamel, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, and Walid Gaaloul. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems (IJAIS), volume 4, numbers 3 and 4, pages 332-342 (2011).

Articles dans des conférences internationales

1. Riham Badra, Lazhar Hamel, Layth Sliman : Compliance Verification of 5G Service Level Agreements using Event-B. dans NCA 2025, (ERA CORE B)

2. Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet et Walid Gaaloul :  Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks. dans WiMob 2025, (ERA CORE B)

3. Gara Hellal Yassmine, Lazhar Hamel and Mohamed Graiet : An Event-B Based Approach for Scalable Applications in Constrained IoT Systems Accepté dans ICSOC 2024 (ERA-CORE A) . https://doi.org/10.1007/978-981-96-0805-8_8 

4. Arije Yahyaoui, Sonia Kotel,  Fatma Sbiaa , Lazhar Hamel, Aida Lahouij , and Raouda Maraoui Kamoun : A Scalable Approach for Improving IoT Healthcare Systems with Privacy and Permissioned Blockchain. Accepté dans WISE 2024 (ERA-CORE B). https://doi.org/10.1007/978-981-96-0570-5_25 

5. Ikbel Haouas, Mouna Attia, Lazhar Hamel and Mohamed Graiet : Efficient Deep Learning Method For Detection Of Malware Attacks In Internet Of Things Networks, Accepted in ACIIDS 2024 (ERA CORE B). https://doi.org/10.1007/978-981-97-5937-8_2 

6. Yassmine Gara Hellal, Lazhar Hamel and Mohamed Graiet : A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications, Accepted in CCGRID 2024 (ERA CORE B). https://doi.org/10.1109/CCGrid59990.2024.00047 

7. Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Mohamed Graiet : A Correct by Construction Model for CBPS Systems Verification. in IEEE ISCC 2023.(ERA CORE B)

8. Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet : Refinement and verification for IoT service composition. in IEEE ISCC 2023.(ERA CORE B)

9.  Rihab Omri, Zinah Hussein Toman and Lazhar Hamel. A formal verification model for IoT based applications using Event-B. ICCCI 2022 (ERA CORE B)

10. Malek Ltaief, Sarah Hussein Toman and Lazhar Hamel : UML profile for IoT-based applications. ICCCI 2022 (ERA CORE B)

11. Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet: Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES 2022: 2598-2609 (ERA CORE B)

12. Aida Lahouij , Lazhar Hamel, Mohamed Graiet : Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR 2020, pages 69-84. (ERA CORE B)

13. Aida Lahouij , Lazhar Hamel, Mohamed Graiet : Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. In On the Move to Meaningful Internet Systems. OTM 2018 Conferences - Confederated Inter- national Conferences : CoopIS, C&TC, and ODBASE 2018, Valletta, Malta, October 22-26, 2018, Proceedings, Part I, pages 604-622, 2018. (ERA CORE A)

14. Aida Lahouij , Lazhar Hamel, Mohamed Graiet, Mohammed El Malki  : A Formal Approach for Cloud Composite Services Verification. In 11th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2018, Paris, France, November 20-22, 2018, pages 161-168, 2018. (ERA CORE C)

15. Aida Lahouij , Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa,Walid Gaaloul : A Global SLA-Aware Approach for Aggregating Services in the Cloud. On the Move to Meaningful Internet Systems : OTM 2016 Conferences Volume 10033 of the series Lecture Notes in Computer Science pp 363-380 (ERA CORE A)

16. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech : Formal modeling for verifying SCA composition. RCIS 2015 : pages 193-204. (ERA CORE B) 

17. Aida Lahouij, Lazhar Hamel, Mohamed Graiet : Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE Workshops 2015 : pages 29-34 (ERA CORE B)

18. Mohamed Graiet, Aida Lahouij, Imed Abbassi, Lazhar Hamel, Mourad Kmimech : Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS 2015 : pages 17-24 (ERA CORE A)

19. Mohamed Graiet, Imed Abbassi, Raoudha Maraoui, Jlassi Sindyana, Lazhar Hamel : A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC 2015 : pages 411-418 (ERA CORE A)

20. Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, and Walid Gaaloul. Event-b based approach for verifying dynamic composite service transactional behavior. In ICWS, pages 251-259. IEEE, 2013. (ERA CORE A).

21. Aida Lahouij, Lazhar Hamel, Mohamed Graiet : Formal Veri cation of SCA Assembly Model with Event-B. In SKG, pages 44-51. IEEE Computer Society, 2013, Oct 3-4, Beijing, China. (ERA CORE C)

22. Lazhar Hamel, Mohamed Graiet and Walid Gaaloul : Event-B Formalisation of Web Services for Dynamic Composition. Conference on semantics, knowledge and grids (SKG). IEEE Computer Society, 2012, pp. 150-156. 22 au 24 Oct, Beijing (China) (ERA CORE C).

23. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, and Walid Gaaloul : A proof-based approach for verifying composite service transactional behavior, In The Sixth International Conference on Software Engineering Advances (ICSEA'11), pages 386-392, Barcelona, Spain, October 2011 (ERA CORE C).

24. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, and Walid Gaaloul. Verifying composite service transactional behavior with event-b. In Ivica Crnkovic, Volker Gruhn, and Matthias Book, editors, ECSA, volume 6903 of Lecture Notes in Computer Science, pages 67-74. Springer, 2011. (ERA CORE A)

25. Imed Abbassi, Graiet Mohamed, Lazhar Hamel, Eric Cariou et Mohamed Tahar Bhiri. "Vérification formelle des services Web composés, transactionnels ET dynamiques". Conférence francophone sur les Architectures Logicielles (CAL'2013), 30 au 31 mai 2013, Toulouse (France).

Articles dans des workshops internationaux

1. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, and Mohamed Tahar Bhiri. Event-b formalisation for dynamic composition : A logistics-based process as a use case. In Marcello La Rosa and Pnina So er, editors, Business Process Management Workshops, volume 132 of Lecture Notes in Business Information Processing, pages 513-518. Springer, 2012. (ERA CORE A)