mohamed Graiet
mohamed Graiet
Maître de Conférence ISIM Monastir Tunisie
Verified email at ensai.fr
Title
Cited by
Cited by
Year
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
312016
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
232015
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
202011
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
182013
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
162016
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
142017
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
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
132016
Towards correct cloud resource allocation in FOSS applications
S Jlassi, A Mammar, I Abbassi, M Graiet
Future Generation Computer Systems 91, 392-406, 2019
122019
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, MT Bhiri, W Gaaloul
International Journal of Web Information Systems, 2012
102012
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
A verification and deployment approach for elastic component-based applications
M Graiet, L Hamel, A Mammar, S Tata
Formal Aspects of Computing 29 (6), 987-1011, 2017
82017
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
82016
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
Adaptation d'UML2. 0 à l'ADL Wright.
M Graiet, MT Bhiri, F Dammak, JP Giraudin
CAL, 83-100, 2006
82006
A formal guidance approach for correct process configuration
S Boubaker, A Mammar, M Graiet, W Gaaloul
International Conference on Service-Oriented Computing, 483-498, 2016
72016
UML/OCL and refinement
MT Bhiri, K Mourad, M Graiet, P Aniorté
2011 18th IEEE International Conference and Workshops on Engineering of …, 2011
72011
Contribution à une démarche de vérification formelle d'architectures logicielles
M Graiet
Université Joseph-Fourier-Grenoble I, 2007
72007
Deadlock-freeness verification of business process configuration using SOG
S Boubaker, K Klai, K Schmitz, M Graiet, W Gaaloul
International Conference on Service-Oriented Computing, 96-112, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20