Mohamed Graiet

	2012
13		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)
	2011
12		Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté: UML/OCL and Refinement. ECBS 2011: 149-158
11		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
10		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
9		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
8		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
7		Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
6		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
5		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
	2010
4		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
	2008
3		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
2		Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin: Adaptation d'UML2.0 à l'ADL Wright. CAL 2006: 83-100
1		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

1	Wided Ben Abid	[8]
2	Philippe Aniorté	[12]
3	Noureddine Belkhatir	[1]
4	Mohamed Tahar Bhiri	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5	Eric Cariou	[5] [6] [8] [9] [10]
6	Faïza Dammak	[2]
7	Walid Gaaloul	[4] [5] [6] [7] [8] [10] [11] [13]
8	Jean-Pierre Giraudin	[1] [2] [3]
9	Abdelmajid Ben Hamadou	[3]
10	Lazhar Hamel	[7] [11]
11	Mourad Kmimech	[4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
12	Soumaya Louhichi	[6] [10]
13	Raoudha Maraoui	[4] [5] [9] [13]
14	Amel Mhamdi	[5] [9]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page