Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mohamed Graiet
2010 – today
- 2012
[j3]Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services of MDE type. IJWIS 8(1): 32-54 (2012)- [j2]Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet: Transformation exogène de Wright vers Ada. Technique et Science Informatiques 31(7): 839-868 (2012)
- [c13]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri: Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops 2012: 513-518
- [c12]Lazhar Hamel, Mohamed Graiet, Walid Gaaloul: Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156
- 2011
- [c11]Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté: UML/OCL and Refinement. ECBS 2011: 149-158
- [c10]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
- [c9]Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: MDE approach for the generation and verification of SCA model. iiWAS 2011: 317-320
- [c8]Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS 2011: 349-352
- [c7]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
- [c6]Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: ATL Transformation for the Generation of SCA Model. SKG 2011: 164-167
- [c5]Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou: Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG 2011: 187-190
- [c4]Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Profile UML2.0 for Specification of the SCA Architectures. SKG 2011: 191-194
- 2010
- [c3]Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services. iiWAS 2010: 75-82
2000 – 2009
- 2008
- [j1]Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou: Vérification formelle d'architectures logicielles à base d'UML. L'OBJET 14(1-2): 61-86 (2008)
- 2006
- [c2]Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin: Adaptation d'UML2.0 à l'ADL Wright. CAL 2006: 83-100
- [c1]Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir: Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID 2006: 927-942
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-01-30 21:00 CET by the dblp team