| Verifying composite service transactional behavior with event-b L Hamel, M Graiet, M Kmimech, MT Bhiri, W Gaaloul 2011 Seventh International Conference on Semantics, Knowledge and Grids, 99-106, 2011 | 21 | 2011 |
| Event-b based approach for verifying dynamic composite service transactional behavior M Graiet, I Abbassi, L Hamel, MT Bhiri, M Kmimech, W Gaaloul 2013 IEEE 20th International Conference on Web Services, 251-259, 2013 | 20 | 2013 |
| Formal verification for security and attacks in IoT physical layer ZH Toman, L Hamel, SH Toman, M Graiet, DCG Valadares Journal of Reliable Intelligent Environments 10 (1), 73-91, 2024 | 16 | 2024 |
| A verification and deployment approach for elastic component-based applications M Graiet, L Hamel, A Mammar, S Tata Formal Aspects of Computing 29, 987-1011, 2017 | 13 | 2017 |
| Event-b formalisation of web services for dynamic composition L Hamel, M Graiet, W Gaaloul 2012 Eighth International Conference on Semantics, Knowledge and Grids, 150-156, 2012 | 12 | 2012 |
| An Event-B based approach for cloud composite services verification A Lahouij, L Hamel, M Graiet, B el Ayeb Formal Aspects of Computing 32 (4), 361-393, 2020 | 9 | 2020 |
| A formal approach for cloud composite services verification A Lahouij, L Hamel, M Graiet, M El Malki 2018 IEEE 11th Conference on Service-Oriented Computing and Applications …, 2018 | 8 | 2018 |
| An event-B driven approach for ensuring reliable and flexible service composition I Abbassi, M Graiet, L Hamel, Z Jaoua International Journal of Services Computing 2 (1), 45-57, 2014 | 8 | 2014 |
| Formal verification of SCA assembly model with event-b A Lahouij, L Hamel, M Graiet 2013 Ninth International Conference on Semantics, Knowledge and Grids, 44-51, 2013 | 8 | 2013 |
| Deadlock-freeness verification of cloud composite services using event-b A Lahouij, L Hamel, M Graiet On the Move to Meaningful Internet Systems. OTM 2018 Conferences …, 2018 | 6 | 2018 |
| A global sla-aware approach for aggregating services in the cloud A Lahouij, L Hamel, M Graiet, A Elkhalfa, W Gaaloul On the Move to Meaningful Internet Systems: OTM 2016 Conferences …, 2016 | 6 | 2016 |
| Formal behavioral modeling for verifying SCA composition with Event-B M Graiet, A Lahouij, I Abbassi, L Hamel, M Kmimech 2015 IEEE International Conference on Web Services, 17-24, 2015 | 6 | 2015 |
| A Blockchain-based approach for secure IoT S Kotel, F Sbiaa, RM Kamoun, L Hamel Procedia Computer Science 225, 3876-3886, 2023 | 5 | 2023 |
| Formal modeling for verifying SCA dynamic composition with Event-B A Lahouij, L Hamel, M Graiet 2015 IEEE 24th International Conference on Enabling Technologies …, 2015 | 5 | 2015 |
| Formal reconfiguration model for cloud resources A Lahouij, L Hamel, M Graiet Software and Systems Modeling 22 (1), 225-245, 2023 | 4 | 2023 |
| Correct-by-construction approach for formal verification of iot architecture ZH Toman, L Hamel, SH Toman, M Graiet Procedia Computer Science 207, 2598-2609, 2022 | 4 | 2022 |
| A proof-based approach for verifying composite service transactional behavior L Hamel, M Graiet, M Kmimech, MT Bhiri, W Gaaloul ICSEA, 386-392, 2011 | 4 | 2011 |
| Formal modelling and verification of scalable service composition in IoT environment SH Toman, L Hamel, ZH Toman, M Graiet, S Ouchani Service Oriented Computing and Applications 17 (3), 213-231, 2023 | 3 | 2023 |
| Refinement and Verification for IoT Service Composition SH Toman, L Hamel, M Graiet 2023 IEEE Symposium on Computers and Communications (ISCC), 483-486, 2023 | 3 | 2023 |
| Dynamic reconfiguration of cloud composite services using event-b A Lahouij, L Hamel, M Graiet International Conference on Software and Software Reuse, 69-84, 2020 | 3 | 2020 |
mohamed GraietProfesseur, ISIM Monastir TunisieVerified email at isimm.u-monastir.tn