mohamed Graiet
mohamed Graiet
Maître de Conférence ISIM Monastir Tunisie
Verified email at ensai.fr
Title
Cited by
Cited by
Year
A semantic big data platform for integrating heterogeneous wearable data in healthcare
E Mezghani, E Exposito, K Drira, M Da Silveira, C Pruski
Journal of medical systems 39 (12), 1-8, 2015
752015
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
302016
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
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
172013
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
132017
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 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
132010
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
Towards correct cloud resource allocation in FOSS applications
S Jlassi, A Mammar, I Abbassi, M Graiet
Future Generation Computer Systems 91, 392-406, 2019
92019
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
82006
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
72017
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
72016
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
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
72013
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
The system can't perform the operation now. Try again later.
Articles 1–20