| A survey on formal verification for solidity smart contracts I Garfatta, K Klai, W Gaaloul, M Graiet Proceedings of the 2021 Australasian Computer Science Week Multiconference, 1-10, 2021 | 56 | 2021 |
| Towards correct cloud resource allocation in business processes M Graiet, A Mammar, S Boubaker, W Gaaloul IEEE Transactions on Services Computing 10 (1), 23-36, 2016 | 37 | 2016 |
| Event-b based approach for verifying cloud resource allocation in business process S Boubaker, W Gaaloul, M Graiet, NB Hadj-Alouane 2015 IEEE International Conference on Services Computing, 538-545, 2015 | 22 | 2015 |
| 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 |
| Towards correct cloud resource allocation in FOSS applications S Jlassi, A Mammar, I Abbassi, M Graiet Future Generation Computer Systems 91, 392-406, 2019 | 17 | 2019 |
| Formal verification of cloud resource allocation in business processes using event-b S Boubaker, A Mammar, M Graiet, W Gaaloul 2016 IEEE 30th International Conference on Advanced Information Networking …, 2016 | 17 | 2016 |
| An automatic configuration algorithm for reliable and efficient composite services A Imed, M Graiet IEEE Transactions on Network and Service Management 15 (1), 416-429, 2017 | 15 | 2017 |
| An event-b based approach for ensuring correct configurable business processes S Boubaker, A Mammar, M Graiet, W Gaaloul 2016 IEEE International Conference on Web Services (ICWS), 460-467, 2016 | 14 | 2016 |
| Towards an approach of formal verification of mediation protocol based on web services M Graiet, R Maraoui, M Kmimech, MT Bhiri, W Gaaloul Proceedings of the 12th International Conference on Information Integration …, 2010 | 14 | 2010 |
| 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 |
| 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 | 11 | 2024 |
| Towards an approach of formal verification of mediation protocol based on web services of mde type M Graiet, R Maraoui, M Kmimech, M Tahar Bhiri, W Gaaloul International Journal of Web Information Systems 8 (1), 32-54, 2012 | 10 | 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 genetic-based adaptive approach for reliable and efficient service composition M Graiet, I Abbassi, M Kmimech, W Gaaloul IEEE Systems Journal 12 (2), 1644-1654, 2016 | 9 | 2016 |
| Genetic-based approach for ATS and SLA-aware web services composition I Abbassi, M Graiet, W Gaaloul, NB Hadj-Alouane Web Information Systems Engineering–WISE 2015: 16th International Conference …, 2015 | 9 | 2015 |
| A formal approach for enforcing transactional requirements in web service compositions I Abbassi, M Graiet, W Gaaloul, NBH Alouane 2014 IEEE International Conference on Services Computing, 637-644, 2014 | 9 | 2014 |
| Adaptation d'UML2. 0 à l'ADL Wright. M Graiet, MT Bhiri, F Dammak, JP Giraudin CAL, 83-100, 2006 | 9 | 2006 |
| 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 |
