Follow
mohamed Graiet
mohamed Graiet
Professeur, ISIM Monastir Tunisie
Verified email at isimm.u-monastir.tn
Title
Cited by
Cited by
Year
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
432021
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
362016
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
222015
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
212011
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
192013
Towards correct cloud resource allocation in FOSS applications
S Jlassi, A Mammar, I Abbassi, M Graiet
Future Generation Computer Systems 91, 392-406, 2019
172019
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
172016
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
152017
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
142016
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
142010
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
132017
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
112012
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
102012
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
92020
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
92016
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
92015
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
92014
Adaptation d'UML2. 0 à l'ADL Wright.
M Graiet, MT Bhiri, F Dammak, JP Giraudin
CAL, 83-100, 2006
92006
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
82014
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
82013
The system can't perform the operation now. Try again later.
Articles 1–20