Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud.

I. Abbassi, M. Graiet, S. Jlassi, A. Elkhalfa, and L. Sliman. OTM Conferences (1), volume 10573 of Lecture Notes in Computer Science, page 732-750. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohamed Hassan University of Stuttgart

Tarek Mohamed University of Stuttgart

Abdelrahman Hesham Mohamed University of Stuttgart

Sherif Abdulatif Mohamed University of Stuttgart

Mohamed Osama Helal Ahmed University of Stuttgart

Other publications of authors with the same name

Vérification formelle d'architectures logicielles à base d'UML.M. Bhiri, M. Graiet, J. Giraudin, and A. Hamadou. L'OBJET, 14 (1-2): 61-86 (2008)Patrons transactionnels dynamiques pour des services composés fiables et flexibles.I. Abbassi, M. Graiet, E. Cariou, and Z. Jaoua. CAL, volume L-7 of RNTI, page 37-50. Hermann-Éditions, (2012)Formal Behavioral Modeling for Verifying SCA Composition with Event-B.M. Graiet, A. Lahouij, I. Abbassi, L. Hamel, and M. Kmimech. ICWS, page 17-24. IEEE Computer Society, (2015)Adaptation d'exécution de modèles par contrats.E. Cariou, O. Goaer, F. Barbier, S. Pierre, and M. Graiet. Technique et Science Informatiques, 34 (6): 703-730 (2015)Genetic-Based Approach for ATS and SLA-aware Web Services Composition.I. Abbassi, M. Graiet, W. Gaaloul, and N. Hadj-Alouane. WISE (1), volume 9418 of Lecture Notes in Computer Science, page 369-383. Springer, (2015)A Formal Guidance Approach for Correct Process Configuration.S. Boubaker, A. Mammar, M. Graiet, and W. Gaaloul. ICSOC, volume 9936 of Lecture Notes in Computer Science, page 483-498. Springer, (2016)Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.M. Graiet, I. Abbassi, L. Hamel, M. Bhiri, M. Kmimech, and W. Gaaloul. ICWS, page 251-259. IEEE Computer Society, (2013)Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.A. Lahouij, L. Hamel, and M. Graiet. OTM Conferences (1), volume 11229 of Lecture Notes in Computer Science, page 604-622. Springer, (2018)Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.M. Kmimech, M. Bhiri, M. Graiet, and P. Aniorté. CAL, volume L-6 of Revue des Nouvelles Technologies de l'Information, page 93-117. Hermann, (2011)Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures).M. Graiet. Joseph Fourier University, Grenoble, France, (2007)