| 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 | 19 | 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 |
| 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 |
| 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 |
| 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 |
| Modeling and verifying clustering properties in a vehicular ad hoc network protocol with Event-B P Sondi, I Abbassi, E Ramat, E Chebbi, M Graiet Scientific Reports 11 (1), 17620, 2021 | 6 | 2021 |
| 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 |
| Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B I Abbassi, M Kmimech, NB Hadj-Alouane, W Gaaloul 2014 IEEE 23rd International WETICE Conference, 313-318, 2014 | 6 | 2014 |
| A formal approach for verifying qos variability in web services composition using event-b I Abbassi, M Graiet, S Boubaker, M Kmimech, NB Hadj-Alouane 2015 IEEE International Conference on Web Services, 519-526, 2015 | 5 | 2015 |
| Combining dynamic workflow and transactional semantics using a pattern-based approach I Abbassi, M Graiet, NB Hadj-Alouane 2014 IEEE 23rd International WETICE Conference, 68-73, 2014 | 4 | 2014 |
| Adaptive configuration of IoT applications in the fog infrastructure H Chouat, I Abbassi, M Graiet, M Südholt Computing 105 (12), 2747-2772, 2023 | 3 | 2023 |
| On the verification of data encryption requirements in internet of things using event-B I Abbassi, L Sliman, M Graiet, W Gaaloul Digital Economy. Emerging Technologies and Business Innovation: 4th …, 2019 | 3 | 2019 |
| A formal approach for correct elastic package-based free and open source software composition in cloud I Abbassi, M Graiet, S Jlassi, A Elkhalfa, L Sliman On the Move to Meaningful Internet Systems. OTM 2017 Conferences …, 2017 | 2 | 2017 |
| A genetic-based requirements-aware approach for reliable IoT applications in the Fog H Chouat, I Abbassi, M Graiet 2021 IEEE 30th International Conference on Enabling Technologies …, 2021 | 1 | 2021 |
| A correct-by-construction model for verifying transactional composite services configuration I Abbassi, A Mammar, M Graiet IEEE Transactions on Services Computing 15 (5), 2511-2525, 2021 | 1 | 2021 |
| A formal approach for ensuring a correct reconfigurable composite service M Graiet, I Abbassi, R Maroui, J Sindyana, L Hamel 2015 IEEE International Conference on Services Computing, 411-418, 2015 | 1 | 2015 |
| ITS Traffic Violation Regulation Based on Blockchain Smart Contracts N Yousfi, M Kmimech, I Abbassi, H Hamdi, M Graiet International Conference on Computational Collective Intelligence, 459-471, 2022 | | 2022 |
| ITS Traffic Violation Regulation Based on Blockchain Smart Contracts M Kmimech, I Abbassi, H Hamdi, M Graiet Advances in Computational Collective Intelligence: 14th International …, 2022 | | 2022 |
mohamed GraietProfesseur, ISIM Monastir Tunisie在 isimm.u-monastir.tn 的电子邮件经过验证
